Trait litcheck_filecheck::pattern::matcher::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.

Object Safety

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>