Struct QisTrigger 

pub struct QisTrigger<'a> {
    pub captures: Vec<&'a str>,
}

A parsed and analyzed query.

Create with new, optionally configure fuel limits, then call exec to run analysis.

For compilation, call build_graph after exec.

Check is_valid or diagnostics to determine if the query has syntax/semantic issues. Quantifier-Induced Scope trigger info.

When a quantified expression has ≥2 propagating captures, QIS creates an implicit object scope so captures stay coupled per-iteration.

Fields

captures: Vec<&'a str>

Capture names that propagate from this quantified expression.

Trait Implementations

impl<'a> Clone for QisTrigger<'a>

fn clone(&self) -> QisTrigger<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for QisTrigger<'a>

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

Formats the value using the given formatter.