Enum macros_core::Pattern

pub enum Pattern<T>where
    T: ToOwned<Owned = T> + ParserOutput,{
    Optional(Vec<Pattern<T>, Global>),
    Parameter(Vec<Pattern<T>, Global>, String),
    ZeroOrMore(Vec<Pattern<T>, Global>, bool),
    OneOrMore(Vec<Pattern<T>, Global>, bool),
    Choice(Vec<Vec<Pattern<T>, Global>, Global>),
    Token(Token),
    Group(Delimiter, Vec<Pattern<T>, Global>),
    Any,
    Validator(Option<MacroStream>, Option<fn(_: Cow<'a, T>, _: &Match) -> (Result<(), String>, Cow<'a, T>)>),
}

A pattern to match against a MacroStream in a parser from the parser! macro.

The following are the various patterns that can be used: {…}? indicates that the pattern is optional {… :name}@ indicates that the match should be bound to the parameter name {…}* indicates zero or more (non-greedy), meaning it will consume the stream until the next pattern matches {…}** indicates zero or more (greedy), meaning it will consume the remainder of the stream {…}+ indicates one or more (non-greedy), meaning it will consume the stream until the next pattern matches {…}++ indicates one or more (greedy), meaning it will consume the remainder of the stream {… | … | …}& indicates a choice … indicates a token to match exactly {}$ indicates an arbitrary token, if used in a zero or more or one or more then it will consume the stream until the next pattern matches {…}= indicates a validation function, should be anything of type type for<'a> fn(Cow<'a, T>, &Match) -> (Result<(), String>, Cow<'a, T>) as it will be interpolated directly into the code expecting that type {{…}} escapes the {} grouping To escape any of the special endings, use ~whatever before the ending, to escape the tilde use ~~

Variants

Optional(Vec<Pattern<T>, Global>)

Parameter(Vec<Pattern<T>, Global>, String)

ZeroOrMore(Vec<Pattern<T>, Global>, bool)

OneOrMore(Vec<Pattern<T>, Global>, bool)

Choice(Vec<Vec<Pattern<T>, Global>, Global>)

Token(Token)

Group(Delimiter, Vec<Pattern<T>, Global>)

Any

Validator(Option<MacroStream>, Option<fn(_: Cow<'a, T>, _: &Match) -> (Result<(), String>, Cow<'a, T>)>)

Implementations

impl<T> Pattern<T>where T: ToOwned<Owned = T> + ParserOutput,

pub fn params(&self) -> Vec<(String, bool), Global>

pub fn match_pattern<'a>( &self, output: Cow<'a, T>, next: Option<&Pattern<T>>, next2: Option<&Pattern<T>>, stream: &mut MacroStream ) -> (Result<Match, MacrosError>, Cow<'a, T>)

pub fn match_patterns<'b, 'a>( output: Cow<'a, T>, patterns: &'b [Pattern<T>], stream: &mut MacroStream ) -> (Result<Match, MacrosError>, Cow<'a, T>)where 'a: 'b,

Trait Implementations

impl<T> Parse for Pattern<T>where T: ToOwned<Owned = T> + ParserOutput,

fn parse(input: &mut MacroStream) -> Result<Pattern<T>, MacrosError>

impl<T> Repr for Pattern<T>where T: ToOwned<Owned = T> + ParserOutput,

fn repr(&self, name: &str) -> MacroStream

impl<T> Sync for Pattern<T>where T: ToOwned<Owned = T> + ParserOutput,