PatternVariablesQueryable

cairo_lang_semantic::expr::pattern

Trait PatternVariablesQueryable

pub trait PatternVariablesQueryable<'a> {
    // Required method
    fn query(&self, id: PatternId) -> Vec<PatternVariable<'a>>;
}

Expand description

Polymorphic container of Pattern objects used for querying pattern variables.

Required Methods§

fn query(&self, id: PatternId) -> Vec<PatternVariable<'a>>

Lookup the pattern in this container and then get Pattern::variables from it.

Implementors§

impl<'a> PatternVariablesQueryable<'a> for QueryPatternVariablesFromDb<'a>

impl<'a> PatternVariablesQueryable<'a> for PatternArena<'a>