Struct Size 

pub struct Size<const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize>;

An ASN.1 SIZE interval.

Disabled bounds ignore their corresponding numeric const parameter. Keeping both flags explicit mirrors ASN.1’s MIN and MAX endpoints and avoids approximating an unbounded specification with a machine maximum.

Trait Implementations

impl<const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Clone for Size<HAS_MIN, MIN, HAS_MAX, MAX>

fn clone(&self) -> Size<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, T: DeepView, const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<&'a [T]> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

exec fn test(&self, value: &&'a [T]) -> ok : bool

impl<'a, const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<&'a str> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

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

impl<const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<BmpString> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

Available on crate feature alloc only.

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

impl<'a, const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<Ia5String<'a>> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

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

impl<const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<Ia5StringOwned> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

Available on crate feature alloc only.

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

impl<'a, const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<PrintableString<'a>> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

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

impl<const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<PrintableStringOwned> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

Available on crate feature alloc only.

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

impl<const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<String> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

Available on crate feature alloc only.

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

impl<'a, const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<TeletexString<'a>> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

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

impl<const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<TeletexStringOwned> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

Available on crate feature alloc only.

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

impl<T: DeepView, const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Pred<Vec<T>> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

Available on crate feature alloc only.

exec fn test(&self, value: &Vec<T>) -> ok : bool

impl<const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> SpecPred<BmpStringSpec> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

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

{ size_in_range::<HAS_MIN, MIN, HAS_MAX, MAX>(value.inner.len()) }

impl<const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> SpecPred<Ia5StringSpec> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

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

{ size_in_range::<HAS_MIN, MIN, HAS_MAX, MAX>(value.inner.len()) }

impl<const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> SpecPred<PrintableStringSpec> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

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

{ size_in_range::<HAS_MIN, MIN, HAS_MAX, MAX>(value.inner.len()) }

impl<T, const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> SpecPred<Seq<T>> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

open spec fn apply(&self, value: Seq<T>) -> bool

{ size_in_range::<HAS_MIN, MIN, HAS_MAX, MAX>(value.len()) }

impl<const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> SpecPred<TeletexStringSpec> for Size<HAS_MIN, MIN, HAS_MAX, MAX>

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

{ size_in_range::<HAS_MIN, MIN, HAS_MAX, MAX>(value.inner.len()) }

impl<const HAS_MIN: bool, const MIN: usize, const HAS_MAX: bool, const MAX: usize> Copy for Size<HAS_MIN, MIN, HAS_MAX, MAX>