Struct Constant 

pub struct Constant { /* private fields */ }

A checker that always returns the same verdict.

For tests, for cassette replay (US-1008), and for a flow being wired up before its real checker exists. It declares no grants and reads neither of its arguments, so it is trivially model-free and trivially deterministic.

Named for what it is. A checker that always passes is exactly the thing Law III exists to prevent, so it should be obvious in a flow definition that this is what is there.

Example

use boundgraph_check::{Checker, Constant, LocalKey};
let key = LocalKey::from_seed("host-key-1", [7u8; 32]);

let evidence = tokio::runtime::Builder::new_current_thread()
    .build()?
    .block_on(Constant::failing("not implemented yet").check(&order, &condensate, &key))?;

assert!(!evidence.permits_commit());

Implementations

impl Constant

pub fn passing() -> Self

A checker that always passes.

Use it knowingly. Nothing it vouches for has been checked.

pub fn failing(reason: impl Into<String>) -> Self

A checker that always fails, with a reason.

pub fn undecided(reason: impl Into<String>) -> Self

A checker that never decides.

pub fn named(self, name: impl Into<String>, version: u32) -> Self

Name it something else, so a ledger says which stand-in this was.

Trait Implementations

impl Checker for Constant

fn id(&self) -> CheckerId

Which checker this is, and at what version.

fn judge<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, _order: &'life1 WorkOrder, _condensate: &'life2 Condensate, ) -> Pin<Box<dyn Future<Output = Judgement> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Decide. The part an implementation writes.

fn grants(&self) -> GrantSet

The authority this checker needs.

fn check<'life0, 'life1, 'life2, 'life3, 'async_trait>( &'life0 self, order: &'life1 WorkOrder, condensate: &'life2 Condensate, signer: &'life3 dyn Sign, ) -> Pin<Box<dyn Future<Output = Result<Evidence, CheckError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait,

Check the authority, decide, bind the verdict to its inputs, and sign.

impl Clone for Constant

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 Constant

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

Formats the value using the given formatter.

impl Eq for Constant

impl PartialEq for Constant

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Constant