Type Alias ApplicationImplicit

pub type ApplicationImplicit<T, E, const TAG: u32> = TaggedValue<T, E, Implicit, { Class::APPLICATION }, TAG>;

A helper object to parse [APPLICATION n] IMPLICIT T

A helper object implementing FromBer and FromDer, to parse explicit application-tagged values.

Examples

To parse a [APPLICATION 0] IMPLICIT INTEGER object:

use asn1_rs::{ApplicationImplicit, Error, FromBer, Integer, TaggedValue};

let bytes = &[0x60, 0x1, 0x2];

let (_, tagged) = ApplicationImplicit::<Integer, Error, 0>::from_ber(bytes).unwrap();
assert_eq!(tagged, TaggedValue::implicit(Integer::from(2_u8)));

Aliased Type

struct ApplicationImplicit<T, E, const TAG: u32> { /* private fields */ }

Implementations

impl<T, E, const CLASS: u8, const TAG: u32> TaggedValue<T, E, Implicit, CLASS, TAG>

pub const fn implicit(inner: T) -> Self

Constructs a new IMPLICIT TaggedParser with the provided value

impl<T, E, TagKind, const CLASS: u8, const TAG: u32> TaggedValue<T, E, TagKind, CLASS, TAG>

pub fn into_inner(self) -> T

Consumes the TaggedParser, returning the wrapped value.

pub const fn tag(&self) -> Tag

Return the (outer) tag of this object

pub const fn class(&self) -> u8

Return the (outer) class of this object

Trait Implementations

impl<T, E, TagKind, const CLASS: u8, const TAG: u32> AsRef<T> for TaggedValue<T, E, TagKind, CLASS, TAG>

fn as_ref(&self) -> &T

Converts this type into a shared reference of the (usually inferred) input type.

impl<T, E, const CLASS: u8, const TAG: u32> CheckDerConstraints for TaggedValue<T, E, Implicit, CLASS, TAG>

where T: CheckDerConstraints + Tagged,

fn check_constraints(any: &Any<'_>) -> Result<()>

impl<T: Debug, E: Debug, TagKind: Debug, const CLASS: u8, const TAG: u32> Debug for TaggedValue<T, E, TagKind, CLASS, TAG>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a, T, E, const CLASS: u8, const TAG: u32> FromDer<'a, E> for TaggedValue<T, E, Implicit, CLASS, TAG>

where T: TryFrom<Any<'a>, Error = E> + Tagged, E: From<Error>,

fn from_der(bytes: &'a [u8]) -> ParseResult<'a, Self, E>

Attempt to parse input bytes into a DER object (enforcing constraints)

impl<T: PartialEq, E: PartialEq, TagKind: PartialEq, const CLASS: u8, const TAG: u32> PartialEq for TaggedValue<T, E, TagKind, CLASS, TAG>

fn eq(&self, other: &TaggedValue<T, E, TagKind, CLASS, TAG>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T, E, TagKind, const CLASS: u8, const TAG: u32> Tagged for TaggedValue<T, E, TagKind, CLASS, TAG>

const TAG: Tag

impl<T, E, const CLASS: u8, const TAG: u32> ToDer for TaggedValue<T, E, Implicit, CLASS, TAG>

where T: ToDer,

fn to_der_len(&self) -> Result<usize>

Get the length of the object (including the header), when encoded

fn write_der(&self, writer: &mut dyn Write) -> SerializeResult<usize>

Attempt to write the DER encoded representation (header and content) into this writer.

fn write_der_header(&self, writer: &mut dyn Write) -> SerializeResult<usize>

Attempt to write the DER header to this writer.

fn write_der_content(&self, writer: &mut dyn Write) -> SerializeResult<usize>

Attempt to write the DER content (all except header) to this writer.

fn to_der_vec(&self) -> SerializeResult<Vec<u8>>

Write the DER encoded representation to a newly allocated Vec<u8>.

fn to_der_vec_raw(&self) -> SerializeResult<Vec<u8>>

Similar to using to_vec, but uses provided values without changes. This can generate an invalid encoding for a DER object.

fn write_der_raw(&self, writer: &mut dyn Write) -> SerializeResult<usize>

Similar to using to_der, but uses provided values without changes. This can generate an invalid encoding for a DER object.

impl<'a, 'b, E, T, const CLASS: u8, const TAG: u32> TryFrom<&'b Any<'a>> for TaggedValue<T, E, Implicit, CLASS, TAG>

where T: TryFrom<Any<'a>, Error = E> + Tagged, E: From<Error>,

type Error = E

The type returned in the event of a conversion error.

fn try_from(any: &'b Any<'a>) -> Result<Self, E>

Performs the conversion.

impl<'a, T, E, const CLASS: u8, const TAG: u32> TryFrom<Any<'a>> for TaggedValue<T, E, Implicit, CLASS, TAG>

where T: TryFrom<Any<'a>, Error = E> + Tagged, E: From<Error>,

type Error = E

The type returned in the event of a conversion error.

fn try_from(any: Any<'a>) -> Result<Self, E>

Performs the conversion.

impl<T: Eq, E: Eq, TagKind: Eq, const CLASS: u8, const TAG: u32> Eq for TaggedValue<T, E, TagKind, CLASS, TAG>

impl<T, E, TagKind, const CLASS: u8, const TAG: u32> StructuralPartialEq for TaggedValue<T, E, TagKind, CLASS, TAG>