Skip to main content

VeritasBridge

Trait VeritasBridge 

Source
pub trait VeritasBridge: Send + Sync {
    // Provided methods
    fn verify_blueprint(&self, _blueprint_json: &str) -> Result<bool, String> { ... }
    fn check_consistency(
        &self,
        _blueprint_id: &str,
    ) -> Result<Vec<String>, String> { ... }
    fn validate_contracts(&self, _contracts: &str) -> Result<bool, String> { ... }
}

Provided Methods§

Source

fn verify_blueprint(&self, _blueprint_json: &str) -> Result<bool, String>

Source

fn check_consistency(&self, _blueprint_id: &str) -> Result<Vec<String>, String>

Source

fn validate_contracts(&self, _contracts: &str) -> Result<bool, String>

Implementors§