Enum ContractResult 

pub enum ContractResult {
    Ok,
    Warn(String),
    Error(String),
    Tier1Compatible(Vec<String>),
    Tier2Compatible(Vec<String>),
}

The outcome of a single middleware contract check.

Variants

Ok

The middleware exports the interface and the type fingerprints match.

Warn(String)

The middleware could not be validated — either no path was provided or the middleware does not export the contracted interface. Injection can still proceed, but type safety is unconfirmed.

Error(String)

The middleware exports the interface but with an incompatible type fingerprint. Injection should be blocked.

Tier1Compatible(Vec<String>)

The middleware does not export the target interface but does export at least one tier-1 type-erased interface (splicer:tier1/{before,after,blocking}). The inner list names the matched interfaces so the adapter generator knows exactly which hooks to wire up.

Tier2Compatible(Vec<String>)

The middleware exports at least one tier-2 interface (splicer:tier2/{before,after,trap}). The inner list names the matched interfaces so the adapter generator knows exactly which hooks to wire up.

Trait Implementations

impl Clone for ContractResult

fn clone(&self) -> ContractResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContractResult

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

Formats the value using the given formatter.

impl PartialEq for ContractResult

fn eq(&self, other: &ContractResult) -> 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 StructuralPartialEq for ContractResult