Struct IntegerRange 

pub struct IntegerRange<const HAS_MIN: bool, const MIN: i64, const HAS_MAX: bool, const MAX: i64>;

An inclusive ASN.1 INTEGER value interval with independently optional bounds.

Bounds use i64 because generated Rust values use the compact Small variant in that range. Arbitrary-size Big values are also handled exactly: their canonical representation proves that they lie strictly outside the i64 interval, so only their sign is needed at runtime.

Trait Implementations

impl<const HAS_MIN: bool, const MIN: i64, const HAS_MAX: bool, const MAX: i64> Clone for IntegerRange<HAS_MIN, MIN, HAS_MAX, MAX>

fn clone(&self) -> IntegerRange<HAS_MIN, MIN, HAS_MAX, MAX>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a, const HAS_MIN: bool, const MIN: i64, const HAS_MAX: bool, const MAX: i64> Pred<Integer<'a>> for IntegerRange<HAS_MIN, MIN, HAS_MAX, MAX>

exec fn test(&self, value: &Integer<'a>) -> ok : bool

impl<const HAS_MIN: bool, const MIN: i64, const HAS_MAX: bool, const MAX: i64> Pred<i16> for IntegerRange<HAS_MIN, MIN, HAS_MAX, MAX>

exec fn test(&self, value: &i16) -> ok : bool

impl<const HAS_MIN: bool, const MIN: i64, const HAS_MAX: bool, const MAX: i64> Pred<i8> for IntegerRange<HAS_MIN, MIN, HAS_MAX, MAX>

exec fn test(&self, value: &i8) -> ok : bool

impl<const HAS_MIN: bool, const MIN: i64, const HAS_MAX: bool, const MAX: i64> SpecPred<i16> for IntegerRange<HAS_MIN, MIN, HAS_MAX, MAX>

open spec fn apply(&self, value: i16) -> bool

{ integer_in_range::<HAS_MIN, MIN, HAS_MAX, MAX>(value as int) }

impl<const HAS_MIN: bool, const MIN: i64, const HAS_MAX: bool, const MAX: i64> SpecPred<i8> for IntegerRange<HAS_MIN, MIN, HAS_MAX, MAX>

open spec fn apply(&self, value: i8) -> bool

{ integer_in_range::<HAS_MIN, MIN, HAS_MAX, MAX>(value as int) }

impl<const HAS_MIN: bool, const MIN: i64, const HAS_MAX: bool, const MAX: i64> SpecPred<int> for IntegerRange<HAS_MIN, MIN, HAS_MAX, MAX>

open spec fn apply(&self, value: int) -> bool

{ integer_in_range::<HAS_MIN, MIN, HAS_MAX, MAX>(value) }

impl<const HAS_MIN: bool, const MIN: i64, const HAS_MAX: bool, const MAX: i64> Copy for IntegerRange<HAS_MIN, MIN, HAS_MAX, MAX>