Skip to main content

VerifiedRecord

Struct VerifiedRecord 

Source
pub struct VerifiedRecord<'check, 'prepared, 'm, 'd, 'path>(/* private fields */);
Expand description

Private-constructor source/recipe/history receipt; public facts cannot make it.

Implementations§

Source§

impl<'prepared, 'm, 'd, 'path> Verified<'_, 'prepared, 'm, 'd, 'path>

Source

pub fn archive<'view, W: Work>( &'view self, ordinal: usize, index: &Index<'_, 'm, 'd, W>, operation: &Reader<'d>, ) -> Result<Archive<'view, 'prepared, 'm, 'd, 'path>, CoverageError>

Bind one actual global timestamp ordinal to its executed recipe. The provided index is this preparation’s existing whole material index; no material/certificate/status grammar is parsed again.

Source§

impl<'prepared, 'm, 'd, 'path> Verified<'_, 'prepared, 'm, 'd, 'path>

Source

pub fn required(&self) -> Required<'d>

Exact original CAdES attribute/value/placement, not a genTime selector.

Source

pub fn prepared(&self) -> &'prepared Preparation<'m, 'd>

Same complete source preparation and its timestamp/material catalogue.

Source

pub fn timestamps(&self) -> Range<usize> ⓘ

Original global TSA ordinals covered by this complete receipt.

Auto Trait Implementations§

§

impl<'check, 'prepared, 'm, 'd, 'path> !RefUnwindSafe for Verified<'check, 'prepared, 'm, 'd, 'path>

§

impl<'check, 'prepared, 'm, 'd, 'path> !Send for Verified<'check, 'prepared, 'm, 'd, 'path>

§

impl<'check, 'prepared, 'm, 'd, 'path> !Sync for Verified<'check, 'prepared, 'm, 'd, 'path>

§

impl<'check, 'prepared, 'm, 'd, 'path> !UnwindSafe for Verified<'check, 'prepared, 'm, 'd, 'path>

§

impl<'check, 'prepared, 'm, 'd, 'path> Forget for Verified<'check, 'prepared, 'm, 'd, 'path>

§

impl<'check, 'prepared, 'm, 'd, 'path> Freeze for Verified<'check, 'prepared, 'm, 'd, 'path>

§

impl<'check, 'prepared, 'm, 'd, 'path> Unpin for Verified<'check, 'prepared, 'm, 'd, 'path>

§

impl<'check, 'prepared, 'm, 'd, 'path> UnsafeUnpin for Verified<'check, 'prepared, 'm, 'd, 'path>

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.