Struct Cond

pub struct Cond<Inner> {
    pub cond: bool,
    pub inner: Inner,
}

Combinator that checks if cond is true and then delegates to the inner combinator.

Fields

cond: bool

The condition to check before parsing or serializing.

inner: Inner

The combinator to delegate to if cond is true.

Trait Implementations

impl<Inner> Combinator for Cond<Inner>

where Inner: Combinator, <Inner as View>::V: SecureSpecCombinator<SpecResult = <<Inner as Combinator>::Owned as View>::V>,

type Result<'a> = <Inner as Combinator>::Result<'a>

The result type of parsing and the input type of serialization.

type Owned = <Inner as Combinator>::Owned

The owned parsed type. This is currently a hack to avoid lifetime bindings in SpecCombinator::SpecResult , but it can be useful if we want to have functions that return owned values (e.g. Vec<T>).

fn length(&self) -> Option<usize>

The length of the output buffer, if known. This can be used to optimize serialization by pre-allocating the buffer.

fn parse<'a>( &self, s: &'a [u8], ) -> Result<(usize, <Cond<Inner> as Combinator>::Result<'a>), ParseError>

The parsing function.

fn serialize( &self, v: <Cond<Inner> as Combinator>::Result<'_>, data: &mut Vec<u8>, pos: usize, ) -> Result<usize, SerializeError>

The serialization function.

impl<Inner> SpecCombinator for Cond<Inner>

where Inner: SpecCombinator,

type SpecResult = <Inner as SpecCombinator>::SpecResult

The view of Combinator::Result.

impl<Inner> View for Cond<Inner>

where Inner: View,

type V = Cond<<Inner as View>::V>

impl<T1, T2> DisjointFrom<ASN1<T1>> for Cond<ASN1<T2>>

where T1: ASN1Tagged + SpecCombinator, T2: ASN1Tagged + SpecCombinator,

impl<Inner1, Inner2> DisjointFrom<Cond<Inner2>> for Cond<Inner1>

where Inner1: SpecCombinator, Inner2: SpecCombinator,

impl<Inner> SecureSpecCombinator for Cond<Inner>

where Inner: SecureSpecCombinator,