Trait BerDecoderOwned

Source

pub trait BerDecoderOwned: SpecCombinator {
    type Owned: DeepView<V = Self::T>;

    // Required method
    exec fn decode_owned(&self, bytes: Vec<u8>) -> r : Result<Self::Owned, ParseError>;
}

Expand description

Executable bridge from owned BER contents octets to owned values.

Required Associated Types§

Source

type Owned: DeepView<V = Self::T>

Required Methods§

Source

exec fn decode_owned(&self, bytes: Vec<u8>) -> r : Result<Self::Owned, ParseError>

ensures

({
    let expected = match self.spec_parse(bytes.deep_view()) {
        Some((_, value)) => Some(value),
        None => None,
    };
    &&& r is Ok <==> expected is Some
    &&& r is Err <==> expected is None
    &&& r matches Ok(value) ==> expected == Some(value.deep_view())

}),