Enum CompositionError 

pub enum CompositionError {
    SubjectMismatch,
    TemporalDisjoint,
    ScopeOverflow,
    DelegationCycle,
    IssuerDuplicate,
    AggregationTooFew,
    MaskNonMonotonic,
    MaskDisjointnessViolation,
    UnauthorisedRevoker,
    AlreadyRevoked,
    Invariant(&'static str),
}

Errors arising during composition (operator application or validity check).

Variants

SubjectMismatch

Conjunction §6.1 C-1: subjects differ and no linkage_proof was provided.

TemporalDisjoint

Conjunction §6.1 C-3: temporal windows do not intersect.

ScopeOverflow

Delegation §6.2 D-3: delegated scope exceeds parent scope.

DelegationCycle

Delegation §6.2: cycle detected in the delegation chain.

IssuerDuplicate

Aggregation §6.3 G-1: two operands share an issuer key.

AggregationTooFew

Aggregation §6.3: fewer than two operands.

MaskNonMonotonic

Restriction §6.4 R-1: new mask discloses fields not in the source mask.

MaskDisjointnessViolation

Restriction §6.4 M-1: disclosed and committed overlap in the new mask.

UnauthorisedRevoker

Revocation §6.5 V-1: revoker is neither the original issuer nor a delegated authority.

AlreadyRevoked

Revocation §6.5: temporal frame already marks the source revoked.

Invariant(&'static str)

Generic structural validity violation (catch-all for invariant checks).

Trait Implementations

impl Debug for CompositionError

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

Formats the value using the given formatter.

impl Display for CompositionError

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

Formats the value using the given formatter.

impl Error for CompositionError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl PartialEq for CompositionError

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for CompositionError

impl StructuralPartialEq for CompositionError