Struct libslide::parser::statement_parser::ExpressionParser

pub struct ExpressionParser<'a> {
    _input: PeekIter<Token>,
    program: &'a str,
    diagnostics: Vec<Diagnostic>,
}

Fields

_input: PeekIter<Token>

program: &'a str

diagnostics: Vec<Diagnostic>

Implementations

impl<'a> ExpressionParser<'a>

fn new(input: Vec<Token>, program: &'a str) -> Self

fn parse_stmt(&mut self) -> Stmt

fn parse_pattern(&mut self, name: String, span: Span) -> RcExpr

fn peek_content(&mut self) -> &str

Returns the full content of the current (peeked) token.

Trait Implementations

impl<'a> Parser<StmtList> for ExpressionParser<'a>

type Expr = RcExpr

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

fn push_diag(&mut self, diagnostic: Diagnostic)

fn parse(&mut self) -> StmtList

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

Do we have another statement (on a newline)?

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.