Trait MatcherMut

pub trait MatcherMut: Debug + Spanned {
    // Required method
    fn try_match_mut<'input, 'context, C>(
        &self,
        input: Input<'input>,
        context: &mut C,
    ) -> DiagResult<MatchResult<'input>>
       where C: Context<'input, 'context> + ?Sized;
}

This trait is used for match patterns which have side effects on the current [MatchContext] when successful.

These matchers may bind new variables, push operands or otherwise modify the match context. Implementors should ensure that such effects are only applied if a match succeeds however, to avoid polluting the match context.

Required Methods

fn try_match_mut<'input, 'context, C>( &self, input: Input<'input>, context: &mut C, ) -> DiagResult<MatchResult<'input>>

where C: Context<'input, 'context> + ?Sized,

Search for a match in the given input buffer

The first match found is returned.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<'a> MatcherMut for Box<dyn DynMatcher + 'a>

fn try_match_mut<'input, 'context, C>( &self, input: Input<'input>, context: &mut C, ) -> DiagResult<MatchResult<'input>>

where C: Context<'input, 'context> + ?Sized,

impl<'a> MatcherMut for Box<dyn DynMatcherMut + 'a>

fn try_match_mut<'input, 'context, C>( &self, input: Input<'input>, context: &mut C, ) -> DiagResult<MatchResult<'input>>

where C: Context<'input, 'context> + ?Sized,

impl<'a, M> MatcherMut for &'a M

where M: ?Sized + MatcherMut,

fn try_match_mut<'input, 'context, C>( &self, input: Input<'input>, context: &mut C, ) -> DiagResult<MatchResult<'input>>

where C: Context<'input, 'context> + ?Sized,

Implementors

impl MatcherMut for AlwaysMatch

impl MatcherMut for AsciiWhitespaceMatcher

impl<'a> MatcherMut for Pattern<'a>

impl<'a> MatcherMut for MatchAny<'a>

impl<'a> MatcherMut for SimpleMatcher<'a>

impl<'a> MatcherMut for RegexMatcher<'a>

impl<'a> MatcherMut for SmartMatcher<'a>

impl<'a> MatcherMut for SubstringMatcher<'a>

impl<'a> MatcherMut for SubstringSetMatcher<'a>

impl<'a> MatcherMut for dyn DynMatcher + 'a

impl<'a> MatcherMut for dyn DynMatcherMut + 'a

impl<'a, A: Automaton + Clone> MatcherMut for RegexSetMatcher<'a, A>