Trait ast_grep_core::matcher::Matcher

pub trait Matcher<L: Language> {
    // Required method
    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>>;

    // Provided methods
    fn potential_kinds(&self) -> Option<BitSet> { ... }
    fn get_match_len<D: Doc<Lang = L>>(
        &self,
        _node: Node<'_, D>
    ) -> Option<usize> { ... }
    fn match_node<'tree, D: Doc<Lang = L>>(
        &self,
        node: Node<'tree, D>
    ) -> Option<NodeMatch<'tree, D>> { ... }
    fn find_node<'tree, D: Doc<Lang = L>>(
        &self,
        node: Node<'tree, D>
    ) -> Option<NodeMatch<'tree, D>> { ... }
}

Matcher defines whether a tree-sitter node matches certain pattern, and update the matched meta-variable values in MetaVarEnv. N.B. At least one positive term is required for matching

Required Methods

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.

Provided Methods

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: Doc<Lang = L>>(&self, _node: Node<'_, D>) -> Option<usize>

get_match_len will skip trailing anonymous child node to exclude punctuation.

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

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

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<L, T> Matcher<L> for &T

where L: Language, T: Matcher<L> + ?Sized,

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>>

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

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

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

fn get_match_len<D: Doc<Lang = L>>(&self, node: Node<'_, D>) -> Option<usize>

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

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>>

fn get_match_len<D: Doc<Lang = L>>(&self, node: Node<'_, D>) -> Option<usize>

Implementors

impl<L, M> Matcher<L> for Op<L, M>

where L: Language, M: Matcher<L>,

impl<L, P1, P2> Matcher<L> for Or<L, P1, P2>

where L: Language, P1: Matcher<L>, P2: Matcher<L>,

impl<L, P> Matcher<L> for Not<L, P>

where L: Language, P: Matcher<L>,

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

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

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

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

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

impl<L: Language, M: Matcher<L>> Matcher<L> for Any<L, M>

impl<L: Language, P1, P2> Matcher<L> for And<L, P1, P2>

where P1: Matcher<L>, P2: Matcher<L>,

impl<L: Language, P: Matcher<L>> Matcher<L> for All<L, P>