Struct RuleCore

pub struct RuleCore<L: Language> {
    pub fixer: Option<Fixer<L>>,
    /* private fields */
}

Fields

fixer: Option<Fixer<L>>

Implementations

impl<L: Language> RuleCore<L>

pub fn new(rule: Rule<L>) -> Self

pub fn with_matchers(self, constraints: HashMap<String, Rule<L>>) -> Self

pub fn with_utils(self, utils: RuleRegistration<L>) -> Self

pub fn with_transform(self, transform: Option<Transform>) -> Self

pub fn with_fixer(self, fixer: Option<Fixer<L>>) -> Self

pub fn get_env(&self, lang: L) -> DeserializeEnv<L>

pub fn defined_vars(&self) -> HashSet<&str>

Methods from Deref<Target = Rule<L>>

pub fn is_atomic(&self) -> bool

pub fn is_relational(&self) -> bool

pub fn is_composite(&self) -> bool

pub fn defined_vars(&self) -> HashSet<&str>

pub fn verify_util(&self) -> Result<(), RuleSerializeError>

check if util rules used are defined

Trait Implementations

impl<L: Language> Default for RuleCore<L>

fn default() -> Self

Returns the “default value” for a type.

impl<L: Language> Deref for RuleCore<L>

type Target = Rule<L>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<L: Language> Matcher<L> for RuleCore<L>

fn match_node_with_env<'tree, D: Doc<Lang = L>>( &self, node: Node<'tree, D>, env: &mut Cow<'_, MetaVarEnv<'tree, D>>, ) -> Option<Node<'tree, D>>

Returns the node why the input is matched or None if not matched. The return value is usually input node itself, but it can be different node. For example Has matcher can return the child or descendant node.

fn potential_kinds(&self) -> Option<BitSet>

Returns a bitset for all possible target node kind ids. Returns None if the matcher needs to try against all node kind.

fn get_match_len<D>(&self, _node: Node<'_, D>) -> Option<usize>

where D: Doc<Lang = L>,

get_match_len will skip trailing anonymous child node to exclude punctuation.

fn match_node<'tree, D>( &self, node: Node<'tree, D>, ) -> Option<NodeMatch<'tree, D>>

where D: Doc<Lang = L>,

fn find_node<'tree, D>( &self, node: Node<'tree, D>, ) -> Option<NodeMatch<'tree, D>>

where D: Doc<Lang = L>,