pub struct VerifyEvidence<V = Vec<SignatureEvidence>> { /* private fields */ }Expand description
Bounded outcomes for all signatures in one document generation.
Implementations§
Source§impl<V: Deref<Target = [SignatureEvidence]>> VerifyEvidence<V>
impl<V: Deref<Target = [SignatureEvidence]>> VerifyEvidence<V>
Sourcepub fn accepted(&self, document: &XmlDocument) -> Result<bool, DsigError>
pub fn accepted(&self, document: &XmlDocument) -> Result<bool, DsigError>
Whether the explicit request requirements hold for this document. Foreign documents or any mutation after verification invalidate acceptance.
Sourcepub const fn correlation(&self) -> Option<[u8; 16]>
pub const fn correlation(&self) -> Option<[u8; 16]>
Uninterpreted correlation value supplied by the caller.
Sourcepub fn covers_element(
&self,
document: &XmlDocument,
target: NodeIdentity,
) -> Result<bool, DsigError>
pub fn covers_element( &self, document: &XmlDocument, target: NodeIdentity, ) -> Result<bool, DsigError>
Prove complete expanded element content under an authorized signature.
This does not claim source-byte equality, comment coverage or protection of the owning enveloped Signature. Arbitrary XPath/binary transforms remain indeterminate rather than falsely covering their original input. The exact document generation must still exist; wrapping an unsigned sibling with a matching name cannot satisfy an identity-based assertion.
Sourcepub fn signatures(&self) -> &[SignatureEvidence]
pub fn signatures(&self) -> &[SignatureEvidence]
Outcomes in document order, including malformed signatures.
Trait Implementations§
Auto Trait Implementations§
impl<V> Freeze for VerifyEvidence<V>where
V: Freeze,
impl<V> RefUnwindSafe for VerifyEvidence<V>where
V: RefUnwindSafe,
impl<V> Send for VerifyEvidence<V>where
V: Send,
impl<V> Sync for VerifyEvidence<V>where
V: Sync,
impl<V> Unpin for VerifyEvidence<V>where
V: Unpin,
impl<V> UnsafeUnpin for VerifyEvidence<V>where
V: UnsafeUnpin,
impl<V> UnwindSafe for VerifyEvidence<V>where
V: UnwindSafe,
Blanket Implementations§
Source§impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
Source§impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
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