Enum NodeTypeIR 

pub enum NodeTypeIR {
    Any,
    Named(Option<NonZeroU16>),
    Anonymous(Option<NonZeroU16>),
}

Node type constraint for Match instructions.

Distinguishes between named nodes ((identifier)), anonymous nodes ("text"), and wildcards (_, (_)). Encoded in bytecode header byte bits 5-4.

node_kind	Value	Meaning	node_type=0	node_type>0
00	Any	_ pattern	No check	(invalid)
01	Named	(_)/(t)	Check is_named()	Check kind_id()
10	Anon	"text"	Check !is_named()	Check kind_id()
11	-	Reserved	Error	Error

Variants

Any

Any node (_ pattern) - no type check performed.

Named(Option<NonZeroU16>)

Named node constraint ((_) or (identifier)).

• None = any named node (check is_named())
• Some(id) = specific named type (check kind_id())

Anonymous(Option<NonZeroU16>)

Anonymous node constraint ("text" literals).

• None = any anonymous node (check !is_named())
• Some(id) = specific anonymous type (check kind_id())

Implementations

impl NodeTypeIR

pub fn to_bytes(self) -> (u8, u16)

Encode to bytecode: returns (node_kind bits, node_type value).

node_kind is 2 bits for header byte bits 5-4. node_type is u16 for bytes 2-3.

pub fn from_bytes(node_kind: u8, node_type: u16) -> Self

Decode from bytecode: node_kind bits (2 bits) and node_type value (u16).

pub fn type_id(&self) -> Option<NonZeroU16>

Check if this represents a specific type ID (not a wildcard).

pub fn is_any(&self) -> bool

Check if this is the Any wildcard.

pub fn is_named(&self) -> bool

Check if this is a Named constraint (wildcard or specific).

pub fn is_anonymous(&self) -> bool

Check if this is an Anonymous constraint (wildcard or specific).

Trait Implementations

impl Clone for NodeTypeIR

fn clone(&self) -> NodeTypeIR

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NodeTypeIR

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

Formats the value using the given formatter.

impl Default for NodeTypeIR

fn default() -> NodeTypeIR

Returns the “default value” for a type.

impl PartialEq for NodeTypeIR

fn eq(&self, other: &NodeTypeIR) -> 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 NodeTypeIR

impl Eq for NodeTypeIR

impl StructuralPartialEq for NodeTypeIR