pub struct ActorCheck<'c, 'd, 'v, 's, S: RangeSource> { /* private fields */ }Expand description
Actual common check, with its independently retained evidence moved exactly once into the selected TSA actor. It performs no second signature or copy.
Implementations§
Source§impl<'c, 'd, 'v, 's, S: RangeSource> ActorCheck<'c, 'd, 'v, 's, S>
impl<'c, 'd, 'v, 's, S: RangeSource> ActorCheck<'c, 'd, 'v, 's, S>
Sourcepub fn token(&self) -> MemberId<S::Document, S::Generation>
pub fn token(&self) -> MemberId<S::Document, S::Generation>
Actual original time-assertion member.
Sourcepub fn input(&self) -> MemberId<S::Document, S::Generation>
pub fn input(&self) -> MemberId<S::Document, S::Generation>
Actual original complete manifest input, not its name or a rebuilt XML.
Sourcepub fn facts(&self) -> &CheckedTimestamp<'d>
pub fn facts(&self) -> &CheckedTimestamp<'d>
All original check facts; mathematical evidence has moved into actor().
Sourcepub fn actor(
&self,
) -> Option<&CheckedActor<'c, 'd, SourceNode, DocumentId<'v, 's, S>, (), Asic>>
pub fn actor( &self, ) -> Option<&CheckedActor<'c, 'd, SourceNode, DocumentId<'v, 's, S>, (), Asic>>
Same actual certificate/key used by complete checking. None preserves a negative original check and cannot create a TSA path or material proof.
Auto Trait Implementations§
impl<'c, 'd, 'v, 's, S> !Freeze for ActorCheck<'c, 'd, 'v, 's, S>
impl<'c, 'd, 'v, 's, S> !RefUnwindSafe for ActorCheck<'c, 'd, 'v, 's, S>
impl<'c, 'd, 'v, 's, S> !Send for ActorCheck<'c, 'd, 'v, 's, S>
impl<'c, 'd, 'v, 's, S> !Sync for ActorCheck<'c, 'd, 'v, 's, S>
impl<'c, 'd, 'v, 's, S> !UnwindSafe for ActorCheck<'c, 'd, 'v, 's, S>
impl<'c, 'd, 'v, 's, S> Unpin for ActorCheck<'c, 'd, 'v, 's, S>where
MemberId<<S as RangeSource>::Document, <S as RangeSource>::Generation>: Unpin,
Option<CheckedActor<'c, 'd, Node, DocumentId<'v, 's, S>, (), Asic>>: Unpin,
impl<'c, 'd, 'v, 's, S> UnsafeUnpin for ActorCheck<'c, 'd, 'v, 's, S>where
MemberId<<S as RangeSource>::Document, <S as RangeSource>::Generation>: UnsafeUnpin,
Option<CheckedActor<'c, 'd, Node, DocumentId<'v, 's, S>, (), Asic>>: UnsafeUnpin,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more