Struct libslide::StmtList

pub struct StmtList {
    list: Vec<Stmt>,
}

A list of statements in a slide program.

Fields

list: Vec<Stmt>

The list of statements.

Implementations

impl StmtList

pub(crate) fn new(list: Vec<Stmt>) -> Self

pub(crate) fn iter(&self) -> Iter<'_, Stmt>

Trait Implementations

impl Clone for StmtList

fn clone(&self) -> StmtList

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for StmtList

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for StmtList

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Emit for StmtList

fn emit_pretty(&self, config: EmitConfig) -> String

Emit self with the pretty emit format

fn emit_s_expression(&self, config: EmitConfig) -> String

Emit self with the s_expression emit format

fn emit_latex(&self, config: EmitConfig) -> String

Emit self with the LaTeX emit format

fn emit_wrapped_latex(&self, config: EmitConfig) -> String

Same as emit_latex, but wraps the latex code in inline math mode.

fn emit(&self, form: EmitFormat, config: EmitConfig) -> String

Emit self with the given EmitFormat.

fn emit_debug(&self, _config: EmitConfig) -> String

Emit self with the debug emit format

impl Grammar for StmtList

impl IntoIterator for StmtList

type Item = Stmt

The type of the elements being iterated over.

type IntoIter = StmtListIterator

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<'a> LintRule<'a, StmtList> for HomogenousAssignmentLinter<'a>

fn lint(stmt_list: &StmtList, source: &'a str) -> Vec<Diagnostic>

Lints a grammar given the original source code of the program.

impl<'a> LintRule<'a, StmtList> for RedundantNestingLinter<'a>

fn lint(stmt_list: &StmtList, source: &'a str) -> Vec<Diagnostic>

Lints a grammar given the original source code of the program.

impl<'a> LintRule<'a, StmtList> for UnarySeriesLinter<'a>

fn lint(stmt_list: &StmtList, source: &'a str) -> Vec<Diagnostic>

Lints a grammar given the original source code of the program.

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.