Struct rocket::mtls::oid::asn1_rs::Set

pub struct Set<'a> {
    pub content: Cow<'a, [u8]>,
}

Available on crate feature mtls only.

The SET object is an unordered list of heteregeneous types.

Sets can usually be of 2 types:

• a list of different objects (SET, usually parsed as a struct)
• a list of similar objects (SET OF, usually parsed as a BTreeSet<T> or HashSet<T>)

The current object covers the former. For the latter, see the SetOf documentation.

The Set object contains the (unparsed) encoded representation of its content. It provides methods to parse and iterate contained objects, or convert the sequence to other types.

Building a Set

To build a DER set:

• if the set is composed of objects of the same type, the Set::from_iter_to_der method can be used
• otherwise, the ToDer trait can be used to create content incrementally

use asn1_rs::{Integer, Set, SerializeResult, ToDer};

fn build_set<'a>() -> SerializeResult<Set<'a>> {
    let mut v = Vec::new();
    // add an Integer object (construct type):
    let i = Integer::from_u32(4);
    let _ = i.write_der(&mut v)?;
    // some primitive objects also implement `ToDer`. A string will be mapped as `Utf8String`:
    let _ = "abcd".write_der(&mut v)?;
    // return the set built from the DER content
    Ok(Set::new(v.into()))
}

let seq = build_set().unwrap();

Examples

use asn1_rs::Set;

// build set
let it = [2, 3, 4].iter();
let set = Set::from_iter_to_der(it).unwrap();

// `set` now contains the serialized DER representation of the array

// iterate objects
let mut sum = 0;
for item in set.der_iter::<u32>() {
    // item has type `Result<u32>`, since parsing the serialized bytes could fail
    sum += item.expect("parsing list item failed");
}
assert_eq!(sum, 9);

Note: the above example encodes a SET OF INTEGER object, the SetOf object could be used to provide a simpler API.

Fields

content: Cow<'a, [u8]>

Serialized DER representation of the set content

Implementations

impl<'a> Set<'a>

pub const fn new(content: Cow<'a, [u8]>) -> Set<'a>

Build a set, given the provided content

pub fn into_content(self) -> Cow<'a, [u8]>

Consume the set and return the content

pub fn and_then<U, F>(self, op: F) -> Result<(&'a [u8], U), Err<Error>>where F: FnOnce(Cow<'a, [u8]>) -> Result<(&'a [u8], U), Err<Error>>,

Apply the parsing function to the set content, consuming the set

Note: this function expects the caller to take ownership of content. In some cases, handling the lifetime of objects is not easy (when keeping only references on data). Other methods are provided (depending on the use case):

• Set::parse takes a reference on the set data, but does not consume it,
• Set::from_der_and_then does the parsing of the set and applying the function in one step, ensuring there are only references (and dropping the temporary set).

pub fn from_ber_and_then<U, F>( bytes: &'a [u8], op: F ) -> Result<(&'a [u8], U), Err<Error>>where F: FnOnce(&'a [u8]) -> Result<(&'a [u8], U), Err<Error>>,

Same as Set::from_der_and_then, but using BER encoding (no constraints).

pub fn from_der_and_then<U, F>( bytes: &'a [u8], op: F ) -> Result<(&'a [u8], U), Err<Error>>where F: FnOnce(&'a [u8]) -> Result<(&'a [u8], U), Err<Error>>,

Parse a DER set and apply the provided parsing function to content

After parsing, the set object and header are discarded.

use asn1_rs::{FromDer, ParseResult, Set};

// Parse a SET {
//      a INTEGER (0..255),
//      b INTEGER (0..4294967296)
// }
// and return only `(a,b)
fn parser(i: &[u8]) -> ParseResult<(u8, u32)> {
    Set::from_der_and_then(i, |i| {
            let (i, a) = u8::from_der(i)?;
            let (i, b) = u32::from_der(i)?;
            Ok((i, (a, b)))
        }
    )
}

pub fn parse<F, T>(&'a self, f: F) -> Result<(&'a [u8], T), Err<Error>>where F: FnMut(&'a [u8]) -> Result<(&'a [u8], T), Err<Error>>,

Apply the parsing function to the set content (non-consuming version)

pub fn parse_into<F, T>(self, f: F) -> Result<(&'a [u8], T), Err<Error>>where F: FnMut(&'a [u8]) -> Result<(&'a [u8], T), Err<Error>>,

Apply the parsing function to the set content (consuming version)

Note: to parse and apply a parsing function in one step, use the Set::from_der_and_then method.

Limitations

This function fails if the set contains Owned data, because the parsing function takes a reference on data (which is dropped).

pub fn ber_iter<T>(&'a self) -> SequenceIterator<'a, T, BerParser>where T: FromBer<'a>,

Return an iterator over the set content, attempting to decode objects as BER

This method can be used when all objects from the set have the same type.

pub fn der_iter<T>(&'a self) -> SequenceIterator<'a, T, DerParser>where T: FromDer<'a>,

Return an iterator over the set content, attempting to decode objects as DER

This method can be used when all objects from the set have the same type.

pub fn ber_set_of<T>(&'a self) -> Result<Vec<T>, Error>where T: FromBer<'a>,

Attempt to parse the set as a SET OF items (BER), and return the parsed items as a Vec.

pub fn der_set_of<T>(&'a self) -> Result<Vec<T>, Error>where T: FromDer<'a>,

Attempt to parse the set as a SET OF items (DER), and return the parsed items as a Vec.

pub fn into_ber_set_of<T>(self) -> Result<Vec<T>, Error>where T: for<'b> FromBer<'b> + ToStatic<Owned = T>,

Attempt to parse the set as a SET OF items (BER) (consuming input), and return the parsed items as a Vec.

Note: if Self is an Owned object, the data will be duplicated (causing allocations) into separate objects.

pub fn into_der_set_of<T>(self) -> Result<Vec<T>, Error>where T: for<'b> FromDer<'b> + ToStatic<Owned = T>,

Attempt to parse the set as a SET OF items (DER) (consuming input), and return the parsed items as a Vec.

Note: if Self is an Owned object, the data will be duplicated (causing allocations) into separate objects.

pub fn into_der_set_of_ref<T>(self) -> Result<Vec<T>, Error>where T: FromDer<'a>,

impl<'a> Set<'a>

pub fn from_iter_to_der<T, IT>(it: IT) -> Result<Set<'a>, SerializeError>where IT: Iterator<Item = T>, T: ToDer + Tagged,

Attempt to create a Set from an iterator over serializable objects (to DER)

Examples

use asn1_rs::Set;

// build set
let it = [2, 3, 4].iter();
let seq = Set::from_iter_to_der(it).unwrap();

Trait Implementations

impl<'a> AsRef<[u8]> for Set<'a>

fn as_ref(&self) -> &[u8]

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

impl<'a> CheckDerConstraints for Set<'a>

fn check_constraints(_any: &Any<'_>) -> Result<(), Error>

impl<'a> Clone for Set<'a>

fn clone(&self) -> Set<'a>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Debug for Set<'a>

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

Formats the value using the given formatter.

impl<'a> Tagged for Set<'a>

const TAG: Tag = Tag::Set

impl ToDer for Set<'_>

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

Get the length of the object, when encoded

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

Attempt to write the DER header to this writer.

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

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

fn to_der_vec(&self) -> Result<Vec<u8>, SerializeError>

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

fn to_der_vec_raw(&self) -> Result<Vec<u8>, SerializeError>

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

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

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

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

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

impl<'a> ToStatic for Set<'a>

type Owned = Set<'static>

fn to_static(&self) -> <Set<'a> as ToStatic>::Owned

impl<'a> TryFrom<Any<'a>> for Set<'a>

type Error = Error

The type returned in the event of a conversion error.

fn try_from(any: Any<'a>) -> Result<Set<'a>, Error>

Performs the conversion.