Struct SchemaChecker 

pub struct SchemaChecker { /* private fields */ }

Rejects a condensate payload that does not match a declared schema.

Example

use boundgraph_check::{Schema, SchemaChecker};
use serde_json::json;

let schema = Schema::compile(&json!({
    "type": "object",
    "properties": { "severity": { "enum": ["low", "high"] } },
    "required": ["severity"],
}))?;

assert!(schema.validate(&json!({ "severity": "high" })).is_valid());

let bad = schema.validate(&json!({ "severity": "catastrophic" }));
assert!(!bad.is_valid());

let checker = SchemaChecker::new(schema);

Implementations

impl SchemaChecker

pub fn new(schema: Schema) -> Self

A checker enforcing schema, with the default step budget.

pub fn within(self, budget: usize) -> Self

Give up after budget comparisons rather than DEFAULT_BUDGET.

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

Name it something more specific than json-schema, so a ledger says which contract was enforced.

pub const fn schema(&self) -> &Schema

The schema being enforced.

Trait Implementations

impl Checker for SchemaChecker

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 SchemaChecker

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 SchemaChecker

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

Formats the value using the given formatter.