Skip to main content

MatchStrictness

Enum MatchStrictness 

Source
pub enum MatchStrictness {
    Cst,
    Smart,
    Ast,
    Relaxed,
    Signature,
}
Expand description

Controls how precisely patterns must match AST structure.

Different strictness levels allow patterns to match with varying degrees of precision, from exact CST matching to loose structural matching.

§Variants

  • Cst - All nodes must match exactly (concrete syntax tree)
  • Smart - Matches meaningful nodes, ignoring trivial syntax
  • Ast - Only structural nodes matter (abstract syntax tree)
  • Relaxed - Ignores comments and focuses on code structure
  • Signature - Matches structure only, ignoring all text content

§Example

// With Cst strictness, these would be different:
// "let x=42;" vs "let x = 42;"
//
// With Ast strictness, they match the same pattern:
// "let $VAR = $VALUE"

Variants§

§

Cst

Match all nodes exactly (Concrete Syntax Tree)

§

Smart

Match all nodes except trivial syntax elements

§

Ast

Match only structural AST nodes (Abstract Syntax Tree)

§

Relaxed

Match AST nodes while ignoring comments

§

Signature

Match structure only, ignoring all text content

Trait Implementations§

Source§

impl Clone for MatchStrictness

Source§

fn clone(&self) -> MatchStrictness

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for MatchStrictness

Source§

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

Formats the value using the given formatter. Read more
Source§

impl FromStr for MatchStrictness

Source§

type Err = &'static str

The associated error which can be returned from parsing.
Source§

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type. Read more
Source§

impl Copy for MatchStrictness

Auto Trait Implementations§

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

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

Source§

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

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

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

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

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

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

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

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.