Skip to main content

Validation

Struct Validation 

Source
pub struct Validation<'s, D, G> { /* private fields */ }
Expand description

Complete material occurrence census in one explicitly selected revision. Absence is represented independently of an empty but present dictionary.

Implementations§

Source§

impl<'s, D: Copy + Eq, G: Copy + Eq> Validation<'s, D, G>

Source

pub fn parse<'v, W: Work + 'v>( &'v self, operation: &'v W, ) -> Result<Parsed<'v, 's, D, G>, MaterialFailure>

Parses every value once under the actual current/original execution. Protocol OCSP failures and unknown response syntaxes remain distinct retained values and never become a fabricated basic response.

Source§

impl<D: Copy + Eq, G: Copy + Eq> Validation<'_, D, G>

Source

pub fn stamp(&self) -> Stamp<D, G>

Immutable source identity of all retained material occurrences.

Source

pub fn revision(&self) -> usize

Historical ordinal, never an implicit latest-revision selection.

Source

pub fn is_present(&self) -> bool

Distinguishes an absent DSS from an explicitly present empty one.

Source

pub fn items(&self) -> &[Item<'_>]

All original DSS and VRI material occurrences, without copying.

Source

pub fn vri(&self) -> &[Vri]

Every original VRI, independently of whether its name matches a signature.

Source

pub fn all_vri_material_in_dss(&self) -> bool

All original VRI validation values also occur in their corresponding DSS arrays in this revision, independently of DER readability/trust.

Auto Trait Implementations§

§

impl<'s, D, G> !Freeze for Validation<'s, D, G>

§

impl<'s, D, G> !RefUnwindSafe for Validation<'s, D, G>

§

impl<'s, D, G> !Send for Validation<'s, D, G>

§

impl<'s, D, G> !Sync for Validation<'s, D, G>

§

impl<'s, D, G> !UnwindSafe for Validation<'s, D, G>

§

impl<'s, D, G> Unpin for Validation<'s, D, G>
where Stamp<D, G>: Unpin,

§

impl<'s, D, G> UnsafeUnpin for Validation<'s, D, G>
where Stamp<D, G>: UnsafeUnpin,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.