Enum MatcherLoc

Source

pub(crate) enum MatcherLoc {
    Token {
        token: Token,
    },
    Delimited,
    Sequence {
        op: KleeneOp,
        num_metavar_decls: usize,
        idx_first_after: usize,
        next_metavar: usize,
        seq_depth: usize,
    },
    SequenceKleeneOpNoSep {
        op: KleeneOp,
        idx_first: usize,
    },
    SequenceSep {
        separator: Token,
    },
    SequenceKleeneOpAfterSep {
        idx_first: usize,
    },
    MetaVarDecl {
        span: Span,
        bind: Ident,
        kind: NonterminalKind,
        next_metavar: usize,
        seq_depth: usize,
    },
    Eof,
}

Expand description

A unit within a matcher that a MatcherPos can refer to. Similar to (and derived from) mbe::TokenTree, but designed specifically for fast and easy traversal during matching. Notable differences to mbe::TokenTree:

It is non-recursive, i.e. there is no nesting.
The end pieces of each sequence (the separator, if present, and the Kleene op) are represented explicitly, as is the very end of the matcher.

This means a matcher can be represented by &[MatcherLoc], and traversal mostly involves simply incrementing the current matcher position index by one.

Variants§

§

Token

Fields

§token: Token

§

Delimited

§

Sequence

Fields

§op: KleeneOp

§num_metavar_decls: usize

§idx_first_after: usize

§next_metavar: usize

§seq_depth: usize

§

SequenceKleeneOpNoSep

Fields

§op: KleeneOp

§idx_first: usize

§

SequenceSep

Fields

§separator: Token

§

SequenceKleeneOpAfterSep

Fields

§idx_first: usize

§

MetaVarDecl

Fields

§span: Span

§bind: Ident

§kind: NonterminalKind

§next_metavar: usize

§seq_depth: usize

Enum MatcherLoc Copy item path

Variants§

Token

Fields

Delimited

Sequence

Fields

SequenceKleeneOpNoSep

Fields

SequenceSep

Fields

SequenceKleeneOpAfterSep

Fields

MetaVarDecl

Fields

Eof

Implementations§

impl MatcherLoc

pub(super) fn span(&self) -> Option<Span>

Trait Implementations§

impl Clone for MatcherLoc

fn clone(&self) -> MatcherLoc

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

impl Debug for MatcherLoc

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

impl Display for MatcherLoc

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

impl PartialEq for MatcherLoc

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

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

impl StructuralPartialEq for MatcherLoc

Auto Trait Implementations§

impl DynSend for MatcherLoc

impl DynSync for MatcherLoc

impl Freeze for MatcherLoc

impl RefUnwindSafe for MatcherLoc

impl Send for MatcherLoc

impl Sync for MatcherLoc

impl Unpin for MatcherLoc

impl UnwindSafe for MatcherLoc

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> AnyEq for Twhere T: Any + PartialEq,

fn equals(&self, other: &(dyn Any + 'static)) -> bool

fn as_any(&self) -> &(dyn Any + 'static)

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> DynClone for Twhere T: Clone,

fn __clone_box(&self, _: Private) -> *mut ()

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T> ToString for Twhere T: Display + ?Sized,

Enum MatcherLoc

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> AnyEq for T
where T: Any + PartialEq,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T> DynClone for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T> ToOwned for T
where T: Clone,

impl<T> ToString for T
where T: Display + ?Sized,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

impl<T> ErasedDestructor for T
where T: 'static,