Trait SpecParser 

pub trait SpecParser {
    type PVal;

    // Required method
    spec fn spec_parse(&self, ibuf: Seq<u8>) -> Option<(int, Self::PVal)>;
}

Parser specification.

Required Associated Types

type PVal

The type of parsed values.

Required Methods

spec fn spec_parse(&self, ibuf: Seq<u8>) -> Option<(int, Self::PVal)>

Attempts to parse a value from ibuf.

Returns Some((n, v)) on success, where n bytes were consumed and v is the parsed value, or None on failure.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<P: SpecParser> SpecParser for &P

open spec fn spec_parse(&self, ibuf: Seq<u8>) -> Option<(int, Self::PVal)>

{ (*self).spec_parse(ibuf) }

type PVal = <P as SpecParser>::PVal

impl<Spec, Exec> SpecParser for (Spec, Exec)

where Spec: SpecParser,

open spec fn spec_parse(&self, ibuf: Seq<u8>) -> Option<(int, Self::PVal)>

{ self.0.spec_parse(ibuf) }

type PVal = <Spec as SpecParser>::PVal

Implementors

impl SpecParser for BerEndFmt

type PVal = ()

impl SpecParser for BerLengthFmt

type PVal = BerLength

impl SpecParser for BmpStringFmt

type PVal = BmpStringSpec

impl SpecParser for CborInitialFmt

type PVal = CborInitial

impl SpecParser for Empty

type PVal = ()

impl SpecParser for EnumeratedFmt

type PVal = int

impl SpecParser for Eof

type PVal = ()

impl SpecParser for I8

type PVal = i8

impl SpecParser for I16Be

type PVal = i16

impl SpecParser for I16Le

type PVal = i16

impl SpecParser for I32Be

type PVal = i32

impl SpecParser for I32Le

type PVal = i32

impl SpecParser for I64Be

type PVal = i64

impl SpecParser for I64Le

type PVal = i64

impl SpecParser for Ia5StringFmt

type PVal = Ia5StringSpec

impl SpecParser for Integer8Fmt

type PVal = i8

impl SpecParser for Integer16Fmt

type PVal = i16

impl SpecParser for IntegerFmt

type PVal = int

impl SpecParser for ObjectIdentifierFmt

type PVal = ObjectIdentifierSpec

impl SpecParser for PrintableStringFmt

type PVal = PrintableStringSpec

impl SpecParser for TagFmt

type PVal = Tag

impl SpecParser for Tail

type PVal = Seq<u8>

impl SpecParser for TeletexStringFmt

type PVal = TeletexStringSpec

impl SpecParser for U8

type PVal = u8

impl SpecParser for U16Be

type PVal = u16

impl SpecParser for U16Le

type PVal = u16

impl SpecParser for U24Be

type PVal = u32

impl SpecParser for U24Le

type PVal = u32

impl SpecParser for U32Be

type PVal = u32

impl SpecParser for U32Le

type PVal = u32

impl SpecParser for U64Be

type PVal = u64

impl SpecParser for U64Le

type PVal = u64

impl SpecParser for UniversalStringFmt

type PVal = Seq<char>

impl SpecParser for Utf8StringFmt

type PVal = Seq<char>

impl SpecParser for Void

type PVal = ExecNever

impl<A, B, C, D, E> SpecParser for Permute5<A, B, C, D, E>

where A: SpecParser, B: SpecParser, C: SpecParser, D: SpecParser, E: SpecParser,

type PVal = (<A as SpecParser>::PVal, (<B as SpecParser>::PVal, (<C as SpecParser>::PVal, (<D as SpecParser>::PVal, <E as SpecParser>::PVal))))

impl<A, B, C, D> SpecParser for Permute4<A, B, C, D>

where A: SpecParser, B: SpecParser, C: SpecParser, D: SpecParser,

type PVal = (<A as SpecParser>::PVal, (<B as SpecParser>::PVal, (<C as SpecParser>::PVal, <D as SpecParser>::PVal)))

impl<A, B, C> SpecParser for Permute3<A, B, C>

where A: SpecParser, B: SpecParser, C: SpecParser,

type PVal = (<A as SpecParser>::PVal, (<B as SpecParser>::PVal, <C as SpecParser>::PVal))

impl<A, B, const CHECK: bool> SpecParser for Preceded<A, A::PVal, B, CHECK>

where A: SpecParser, B: SpecParser,

type PVal = <B as SpecParser>::PVal

impl<A, B, const CHECK: bool> SpecParser for Terminated<A, B, B::PVal, CHECK>

where A: SpecParser, B: SpecParser,

type PVal = <A as SpecParser>::PVal

impl<A, B> SpecParser for Bind<A, B>

where A: SpecParser, B: SpecMap<Input = A::PVal>, B::Output: SpecParser,

type PVal = (<A as SpecParser>::PVal, <<B as SpecMap>::Output as SpecParser>::PVal)

impl<A, B> SpecParser for Pair<A, B>

where A: SpecParser, B: SpecParser,

type PVal = (<A as SpecParser>::PVal, <B as SpecParser>::PVal)

impl<A, B> SpecParser for PairRev<A, B>

where A: SpecParser, B: StaticByteLen + SpecParser<PVal = B::T>,

type PVal = (<A as SpecParser>::PVal, <B as SpecParser>::PVal)

impl<A, Pred> SpecParser for Refined<A, Pred>

where A: SpecParser, Pred: SpecPred<A::PVal>,

type PVal = <A as SpecParser>::PVal

impl<A, Then> SpecParser for AndThen<A, Then>

where A: SpecParser<PVal = Seq<u8>>, Then: SpecParser,

type PVal = <Then as SpecParser>::PVal

impl<A: SpecParser, B: SpecParser> SpecParser for Choice<A, B>

type PVal = Sum<<A as SpecParser>::PVal, <B as SpecParser>::PVal>

impl<A: SpecParser, B: SpecParser> SpecParser for Optional<A, B>

type PVal = (Option<<A as SpecParser>::PVal>, <B as SpecParser>::PVal)

impl<A: SpecParser, B: SpecParser> SpecParser for Repeat<A, B>

type PVal = (Seq<<A as SpecParser>::PVal>, <B as SpecParser>::PVal)

impl<A: SpecParser, B: SpecParser> SpecParser for Sum<A, B>

type PVal = Sum<<A as SpecParser>::PVal, <B as SpecParser>::PVal>

impl<A: SpecParser> SpecParser for Star<A>

type PVal = Seq<<A as SpecParser>::PVal>

impl<A> SpecParser for Opt<A>

where A: SpecParser,

type PVal = Option<<A as SpecParser>::PVal>

impl<C: SpecCombinator, const LIMIT: usize> SpecParser for BerCharStringFmt<C, LIMIT>

type PVal = <C as SpecByteLen>::T

impl<C: SpecCombinator> SpecParser for BerSequenceFmt<C>

type PVal = <C as SpecByteLen>::T

impl<C: SpecCombinator> SpecParser for BerSequenceOfFmt<C>

type PVal = Seq<<C as SpecByteLen>::T>

impl<C: SpecParser, N: AsLen> SpecParser for RepeatN<C, N>

type PVal = Seq<<C as SpecParser>::PVal>

impl<C: SpecParser> SpecParser for OptionalEnd<C>

type PVal = Option<<C as SpecParser>::PVal>

impl<C: SpecParser> SpecParser for RepeatTillEnd<C>

type PVal = Seq<<C as SpecParser>::PVal>

impl<C: SpecParser> SpecParser for SetOfFmt<C>

type PVal = Seq<<C as SpecParser>::PVal>

impl<Content: SpecCombinator, const DER: bool> SpecParser for ASN1Fmt<Content, DER>

type PVal = <Content as SpecParser>::PVal

impl<F> SpecParser for ImplicitlyTaggedFmt<F>

where F: Retaggable + SpecParser,

type PVal = <F as SpecParser>::PVal

impl<Field, Rest, const DER: bool> SpecParser for DefaultedFmt<Field, Field::PVal, Rest, DER>

where Field: SpecByteLen + SpecParser<PVal = Field::T>, Rest: SpecByteLen + SpecParser<PVal = Rest::T>,

type PVal = (<Field as SpecParser>::PVal, <Rest as SpecParser>::PVal)

impl<Head, Tail> SpecParser for Implicit<Head, Tail>

where Head: SpecParser, Tail: DepCombinator<Key = Head::PVal>, Tail::Body: SpecParser<PVal = Tail::Val>,

type PVal = <Tail as DepCombinator>::Val

impl<I, O, Spec, Exec> SpecParser for FnParser<I, O, Spec, Exec>

where I: View<V = Seq<u8>>, O: DeepView, Spec: SpecParser<PVal = O::V>, Exec: Fn(&I) -> PResult<O>,

type PVal = <O as DeepView>::V

impl<Inner, M, MRev> SpecParser for Mapped<Inner, BiMap<M, MRev>>

where Inner: SpecParser, M: SpecMap<Input = Inner::PVal>, MRev: SpecMap<Input = M::Output, Output = M::Input>,

type PVal = <M as SpecMap>::Output

impl<Inner, M> SpecParser for Mapped<Inner, M>

where Inner: SpecParser, M: SpecMapper<In = Inner::PVal>,

type PVal = <M as SpecMapper>::Out

impl<Inner, M> SpecParser for TryMap<Inner, M>

where Inner: SpecParser, M: SpecMapper<In = Inner::PVal>,

type PVal = <M as SpecMapper>::Out

impl<Inner: SpecParser, Len: AsLen> SpecParser for ExactLen<Inner, Len>

type PVal = <Inner as SpecParser>::PVal

impl<Inner: SpecParser, Out> SpecParser for Mapped<Inner, FnSpec<(Inner::PVal,), Out>>

type PVal = Out

impl<Inner: SpecParser> SpecParser for Cond<Inner>

type PVal = <Inner as SpecParser>::PVal

impl<Inner: SpecParser> SpecParser for Named<Inner>

type PVal = <Inner as SpecParser>::PVal

impl<Inner: SpecParser> SpecParser for Ref<Inner>

type PVal = <Inner as SpecParser>::PVal

impl<Inner> SpecParser for Const<Inner, Inner::PVal>

where Inner: SpecParser,

type PVal = <Inner as SpecParser>::PVal

impl<Len: AsLen> SpecParser for Varied<Len>

type PVal = Seq<u8>

impl<Of, Tg> SpecParser for SuffixTagged<Of, Tg, Tg::T>

where Tg: SpecByteLen + SpecParser<PVal = Tg::T>, Of: SpecParser,

type PVal = <Of as SpecParser>::PVal

impl<P1, P2> SpecParser for Permute2<P1, P2>

where P1: SpecParser, P2: SpecParser,

type PVal = (<P1 as SpecParser>::PVal, <P2 as SpecParser>::PVal)

impl<Repr, Tuple, Nominal> SpecParser for Bits<Repr, Tuple, Nominal>

where Repr: SpecByteLen + SpecParser<PVal = Repr::T>,

type PVal = Nominal

impl<SpecP, Cnstcy, Blen> SpecParser for ParserSpecs<SpecP, Cnstcy, Blen>

where Blen: SpecByteLen, SpecP: SpecParser<PVal = Blen::T>, Cnstcy: Consistency<Val = Blen::T>,

type PVal = <Blen as SpecByteLen>::T

impl<T, C: SpecParser, const N: usize> SpecParser for Dispatch<T, C, N>

type PVal = <C as SpecParser>::PVal

impl<T> SpecParser for BundledSpecs<T>

type PVal = T

impl<T> SpecParser for ParserFnSpec<T>

type PVal = T

impl<Tg, Of> SpecParser for PrefixTagged<Tg, Tg::T, Of>

where Tg: SpecByteLen + SpecParser<PVal = Tg::T>, Of: SpecParser,

type PVal = <Of as SpecParser>::PVal

impl<const DER: bool> SpecParser for AnyFmt<DER>

type PVal = AnySpec

impl<const DER: bool> SpecParser for BitStringFmt<DER>

type PVal = BitStringSpec

impl<const DER: bool> SpecParser for BoolFmt<DER>

type PVal = bool

impl<const DER: bool> SpecParser for GeneralizedTimeFmt<DER>

type PVal = GeneralizedTimeSpec

impl<const DER: bool> SpecParser for LengthFmt<DER>

type PVal = usize

impl<const DER: bool> SpecParser for NatLengthFmt<DER>

type PVal = nat

impl<const DER: bool> SpecParser for RealFmt<DER>

type PVal = Seq<u8>

impl<const DER: bool> SpecParser for UtcTimeFmt<DER>

type PVal = UtcTime

impl<const DET: bool, const LIMIT: usize> SpecParser for CborFmt<DET, LIMIT>

type PVal = CborValueSpec

impl<const DET: bool> SpecParser for CborHeadFmt<DET>

type PVal = CborHead

impl<const LIMIT: usize, Body, Param> SpecParser for FixWith<LIMIT, Body, Param>

where Body: SpecRecBody, Param: DeepView<V = Body::Param>,

type PVal = <Body as SpecRecBody>::T

impl<const LIMIT: usize> SpecParser for BerAnyFmt<LIMIT>

type PVal = AnySpec

impl<const LIMIT: usize> SpecParser for BerBitStringFmt<LIMIT>

type PVal = BitStringSpec

impl<const LIMIT: usize> SpecParser for BerOctetStringFmt<LIMIT>

type PVal = Seq<u8>

impl<const MINIMAL: bool, const N: usize> SpecParser for ULeb128<MINIMAL, N>

type PVal = nat

impl<const MINIMAL: bool> SpecParser for Base128Fmt<MINIMAL>

type PVal = u64

impl<const MINIMAL: bool> SpecParser for VarInt<MINIMAL>

type PVal = u64

impl<const N: usize, C: SpecParser> SpecParser for Array<N, C>

type PVal = Seq<<C as SpecParser>::PVal>

impl<const N: usize> SpecParser for Const<Fixed<N>, [u8; N]>

type PVal = Seq<u8>

impl<const N: usize> SpecParser for Fixed<N>

type PVal = Seq<u8>

impl<const NONDETERMINISTIC: bool, A: SpecParser, B: SpecParser<PVal = A::PVal>> SpecParser for Alt<A, B, NONDETERMINISTIC>

type PVal = <A as SpecParser>::PVal