Struct Assertion 

pub struct Assertion { /* private fields */ }

One authored assertion and its optional complete source override.

Implementations

impl Assertion

pub fn new(key: AssertionKey) -> Self

Create an assertion with ordinary document provenance only.

pub fn key(&self) -> &AssertionKey

Its document, carrier and expanded fact identity.

pub fn detail(&self) -> Vec<&AssertionSource>

Persisted claims other than the document source.

pub fn source_override(&self) -> Option<&[AssertionSource]>

The explicit source override, if one was recorded in the document.

pub fn add_detail( &mut self, source: AssertionSource, ) -> Result<(), MetadataError>

Add a compiler or author claim once. Document provenance is derived solely from the assertion owner and cannot be supplied as extra detail.

pub fn sources(&self) -> Vec<AssertionSource>

Sources visible to a query. The document is implicit only without an override.

Trait Implementations

impl Clone for Assertion

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Assertion

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Assertion

impl PartialEq for Assertion

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Assertion