Struct libslide::parser::expression_pattern_parser::ExpressionPatternParser

pub struct ExpressionPatternParser {
    _input: PeekIter<Token>,
    diagnostics: Vec<Diagnostic>,
}

Fields

_input: PeekIter<Token>

diagnostics: Vec<Diagnostic>

Implementations

impl ExpressionPatternParser

fn new(input: Vec<Token>) -> Self

Trait Implementations

impl Parser<RcExprPat> for ExpressionPatternParser

type Expr = RcExprPat

fn input(&mut self) -> &mut PeekIter<Token>

fn push_diag(&mut self, diagnostic: Diagnostic)

fn parse(&mut self) -> RcExprPat

fn parse_float(&mut self, f: f64, span: Span) -> Self::Expr

fn parse_variable(&mut self, name: String, span: Span) -> Self::Expr

fn parse_var_pattern(&mut self, name: String, span: Span) -> Self::Expr

fn parse_const_pattern(&mut self, name: String, span: Span) -> Self::Expr

fn parse_any_pattern(&mut self, name: String, span: Span) -> Self::Expr

fn has_stmt_break(&mut self) -> bool

fn parse_open_paren(&mut self, open: Token) -> Self::Expr

fn parse_open_bracket(&mut self, open: Token) -> Self::Expr

fn done(&mut self) -> bool

fn expr(&mut self) -> Self::Expr

fn peek(&mut self) -> &Token

fn next(&mut self) -> Token

fn add_sub_term(&mut self) -> Self::Expr

fn mul_divide_mod_term(&mut self) -> Self::Expr

fn exp_term(&mut self) -> Self::Expr

fn num_term(&mut self) -> Self::Expr

fn extra_tokens_diag(
    &mut self,
    additional_diags: impl Fn(Diagnostic, Span) -> Diagnostic
)

Creates diagnostics for extra tokens following a primary item. All remaining tokens will be consumed in the construction of the diagnostic.