Struct AnyOwned 

pub struct AnyOwned { /* private fields */ }

Owned executable open-type value.

This is the representation used by the recursive BER ANY parser: an indefinite-length constructed value has no single borrowed content slice once its terminating EOC is removed.

Implementations

impl AnyOwned

pub exec fn new(tag: Tag, content: Vec<u8>) -> value : Self

ensures

value.deep_view()
    == (AnySpec {
        tag,
        content: content.deep_view(),
    }),

pub exec fn tag(&self) -> tag : Tag

ensures

tag == self.deep_view().tag,

pub exec fn content(&self) -> content : &[u8]

ensures

content.deep_view() == self.deep_view().content,

pub exec fn into_content(self) -> content : Vec<u8>

ensures

content.deep_view() == self.deep_view().content,

Trait Implementations

impl<const DER: bool> ByteLen<AnyOwned> for AnyFmt<DER>

Available on crate feature alloc only.

exec fn length(&self, v: &AnyOwned) -> usize

fn exec_inv(&self) -> bool

impl<const LIMIT: usize> ByteLen<AnyOwned> for BerAnyFmt<LIMIT>

Available on crate feature alloc only.

exec fn length(&self, value: &AnyOwned) -> usize

fn exec_inv(&self) -> bool

impl DeepView for AnyOwned

Available on crate feature alloc only.

closed spec fn deep_view(&self) -> Self::V

type V = AnySpec

impl<const DER: bool> Prepare<AnyOwned> for AnyFmt<DER>

Available on crate feature alloc only.

exec fn prepare(&self, v: &AnyOwned) -> Result<usize, PreSerializeError>

fn exec_inv(&self) -> bool

impl<const LIMIT: usize> Prepare<AnyOwned> for BerAnyFmt<LIMIT>

Available on crate feature alloc only.

exec fn prepare(&self, value: &AnyOwned) -> Result<usize, PreSerializeError>

fn exec_inv(&self) -> bool

impl<Output: OutputBuf, const DER: bool> Serializer<Output, AnyOwned> for AnyFmt<DER>

Available on crate feature alloc only.

exec fn serialize_into(&self, v: &AnyOwned, obuf: &mut Output)

fn exec_inv(&self) -> bool

impl<Output: OutputBuf, const LIMIT: usize> Serializer<Output, AnyOwned> for BerAnyFmt<LIMIT>

Available on crate feature alloc only.

exec fn serialize_into(&self, value: &AnyOwned, obuf: &mut Output)

fn exec_inv(&self) -> bool