Struct pattern_compiler::simple_pattern::SimplePatternProvider

pub struct SimplePatternProvider { /* fields omitted */ }

Methods

impl SimplePatternProvider

pub fn new() -> Self

pub fn add_child(&mut self, node: NodeIndex, kind: NodeKind) -> NodeIndex

pub fn add_clause(&mut self, kind: NodeKind) -> NodeIndex

Trait Implementations

impl PatternProvider for SimplePatternProvider

type PatternNodeKey = NodeIndex

A reference to a unique node in the pattern graph. Every PatternNodeKey should belong to ONE and ONLY one PatternNodeKind.

type PatternNodeKind = NodeKind

The type of pattern node.

type CfgVariable = CfgVar

A variable in the output CFG. The provider is responsible for creating these as specializations are performed by expand_clause_nodes.

const WILDCARD: NodeKind

fn get_root(
    &self
) -> ExpandedClauseNodes<Self::CfgVariable, Self::PatternNodeKey>

fn kind_includes(
    &self,
    kind: Self::PatternNodeKind,
    key: Self::PatternNodeKey
) -> bool

Used to determine if the given key should be included in the specialization on kind.

fn expand_clause_nodes(
    &mut self,
    clause_nodes: Vec<Self::PatternNodeKey>
) -> ExpandedClauseNodes<Self::CfgVariable, Self::PatternNodeKey>

After clauses have been selected for specialization, this will be called with the set of all nodes that should be specialized on.

fn get_kind(&self, key: Self::PatternNodeKey) -> Self::PatternNodeKind

Every PatternNodeKey should belong to one and only one PatternNodeKind.

fn is_wildcard(&self, kind: Self::PatternNodeKind) -> bool

fn get_wildcard(&self) -> Self::PatternNodeKind

impl Clone for SimplePatternProvider

fn clone(&self) -> SimplePatternProvider

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SimplePatternProvider

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

Formats the value using the given formatter.