Enum Matcher 

#[repr(C, u32)]
pub enum Matcher {
    Epsilon,
    Node {
        kind: NodeTypeId,
        field: Option<NodeFieldId>,
        negated_fields: Slice<NodeFieldId>,
    },
    Anonymous {
        kind: NodeTypeId,
        field: Option<NodeFieldId>,
        negated_fields: Slice<NodeFieldId>,
    },
    Wildcard,
}

Matcher determines what node satisfies a transition.

Navigation (descend/ascend) is handled by Nav, not matchers.

Variants

Epsilon

Matches without consuming input. Used for control flow transitions.

Node

Matches a named node by kind, optionally constrained by field.

Fields

kind: NodeTypeId

field: Option<NodeFieldId>

negated_fields: Slice<NodeFieldId>

Anonymous

Matches an anonymous node by kind, optionally constrained by field.

Fields

kind: NodeTypeId

field: Option<NodeFieldId>

negated_fields: Slice<NodeFieldId>

Wildcard

Matches any node (named or anonymous).

Implementations

impl Matcher

pub fn consumes_node(&self) -> bool

Returns true if this matcher consumes a node.

pub fn kind(&self) -> MatcherKind

Returns the discriminant kind.

pub fn node_kind(&self) -> Option<NodeTypeId>

Returns the node type ID for Node/Anonymous variants, None otherwise.

pub fn field(&self) -> Option<NodeFieldId>

Returns the field constraint, if any.

pub fn negated_fields(&self) -> Slice<NodeFieldId>

Returns the negated fields slice. Empty for Epsilon/Wildcard.

Trait Implementations

impl Clone for Matcher

fn clone(&self) -> Matcher

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Matcher

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

Formats the value using the given formatter.

impl PartialEq for Matcher

fn eq(&self, other: &Matcher) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Matcher

impl Eq for Matcher

impl StructuralPartialEq for Matcher