Trait cairo_lang_semantic::expr::pattern::PatternVariablesQueryable

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

Polymorphic container of Pattern objects used for querying pattern variables.

Required Methods

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

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

Implementations on Foreign Types

impl PatternVariablesQueryable for Arena<Pattern>

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

Implementors

impl PatternVariablesQueryable for QueryPatternVariablesFromDb<'_>