Struct BlockBuilder

pub struct BlockBuilder {
    pub facts: Vec<Fact>,
    pub rules: Vec<Rule>,
    pub checks: Vec<Check>,
    pub scopes: Vec<Scope>,
    pub context: Option<String>,
}

creates a Block content to append to an existing token

Fields

facts: Vec<Fact>

rules: Vec<Rule>

checks: Vec<Check>

scopes: Vec<Scope>

context: Option<String>

Implementations

impl BlockBuilder

pub fn new() -> BlockBuilder

pub fn merge(&mut self, other: BlockBuilder)

pub fn add_fact<F: TryInto<Fact>>(&mut self, fact: F) -> Result<(), Token>

where Token: From<<F as TryInto<Fact>>::Error>,

pub fn add_rule<R: TryInto<Rule>>(&mut self, rule: R) -> Result<(), Token>

where Token: From<<R as TryInto<Rule>>::Error>,

pub fn add_check<C: TryInto<Check>>(&mut self, check: C) -> Result<(), Token>

where Token: From<<C as TryInto<Check>>::Error>,

pub fn add_code<T: AsRef<str>>(&mut self, source: T) -> Result<(), Token>

pub fn add_code_with_params<T: AsRef<str>>( &mut self, source: T, params: HashMap<String, Term>, scope_params: HashMap<String, PublicKey>, ) -> Result<(), Token>

Add datalog code to the builder, performing parameter subsitution as required Unknown parameters are ignored

pub fn add_scope(&mut self, scope: Scope)

pub fn set_context(&mut self, context: String)

Trait Implementations

impl BuilderExt for BlockBuilder

fn add_resource(&mut self, name: &str)

fn check_resource(&mut self, name: &str)

fn add_operation(&mut self, name: &str)

fn check_operation(&mut self, name: &str)

fn check_resource_prefix(&mut self, prefix: &str)

fn check_resource_suffix(&mut self, suffix: &str)

fn check_expiration_date(&mut self, exp: SystemTime)

impl Clone for BlockBuilder

fn clone(&self) -> BlockBuilder

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BlockBuilder

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

Formats the value using the given formatter.

impl Default for BlockBuilder

fn default() -> BlockBuilder

Returns the “default value” for a type.

impl Display for BlockBuilder

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

Formats the value using the given formatter.