pub struct VerifyEvidence { /* private fields */ }Expand description
Bounded outcomes for all signatures in one document generation.
Implementations§
Source§impl VerifyEvidence
impl VerifyEvidence
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 !RefUnwindSafe for VerifyEvidence
impl !UnwindSafe for VerifyEvidence
impl Freeze for VerifyEvidence
impl Send for VerifyEvidence
impl Sync for VerifyEvidence
impl Unpin for VerifyEvidence
impl UnsafeUnpin for VerifyEvidence
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