Struct PredicateDefinition

pub struct PredicateDefinition<Q: QueryContext> {
    pub name: String,
    pub scope: usize,
    pub params: Vec<(String, Variable)>,
    pub local_vars: Vec<usize>,
    pub predicate: Predicate<Q>,
}

Fields

name: String

scope: usize

params: Vec<(String, Variable)>

local_vars: Vec<usize>

predicate: Predicate<Q>

Implementations

impl<Q: QueryContext> PredicateDefinition<Q>

pub fn new( name: String, scope: usize, params: Vec<(String, Variable)>, local_vars: Vec<usize>, predicate: Predicate<Q>, ) -> Self

pub fn call<'a>( &'a self, state: &mut State<'a, Q>, context: &'a Q::ExecContext<'a>, args: &'a [Option<Pattern<Q>>], logs: &mut AnalysisLogs, ) -> GritResult<bool>

Trait Implementations

impl<Q: Clone + QueryContext> Clone for PredicateDefinition<Q>

fn clone(&self) -> PredicateDefinition<Q>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Q: Debug + QueryContext> Debug for PredicateDefinition<Q>

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

Formats the value using the given formatter.