Struct libslide::linter::stmt::unary_series::UnarySeriesLinter

pub struct UnarySeriesLinter<'a> {
    source: &'a str,
    diagnostics: Vec<Diagnostic>,
}

Fields

source: &'a str

diagnostics: Vec<Diagnostic>

Implementations

impl<'a> UnarySeriesLinter<'a>

pub fn new(source: &'a str) -> Self

Trait Implementations

impl<'a> DiagnosticRecord for UnarySeriesLinter<'a>

The unary series lint detects trivially-reducible chains of unary operators.

For example, the following chains of unary expressions can be reduced to a more trivial form:

---1   -> -1
+++1   ->  1
+-+-+- -> -1

Chaining unary operators is not standard style in mathematical expressions and can be misleading. For example, --x may be interpreted to be the prefix decrement operator available in some computer programming languages, which is absent in canonical mathematical notation.

const CODE: &'static str

Diagnostic code.

const EXPLANATION: &'static str

Detailed diagnostic explanation.

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> StmtVisitor<'a> for UnarySeriesLinter<'a>

fn visit_unary(&mut self, expr: &'a UnaryExpr<RcExpr>, start_span: Span)

Visits a unary expression.

fn visit_stmt_list(&mut self, stmt_list: &'a StmtList)

Visits a statement list.

fn visit_stmt(&mut self, stmt: &'a Stmt)

Visits a statement.

fn visit_stmt_kind(&mut self, stmt_kind: &'a StmtKind)

Visits a specific statement kind.

fn visit_asgn(&mut self, asgn: &'a Assignment)

Visits an assignment.

fn visit_asgn_op(&mut self, _asgn_op: &'a AssignmentOp)

Visits an assignment operator.

fn visit_expr(&mut self, expr: &'a RcExpr)

Visits an expression.

fn visit_const(&mut self, _konst: &'a f64, _span: Span)

Visits a constant.

fn visit_var(&mut self, _var: &'a InternedStr, _span: Span)

Visits a variable.

fn visit_binary_op(&mut self, _op: BinaryOperator)

Visits a binary operator.

fn visit_binary(&mut self, expr: &'a BinaryExpr<RcExpr>, span: Span)

Visits a binary expression.

fn visit_unary_op(&mut self, _op: UnaryOperator)

Visits a unary operator.

fn visit_parend(&mut self, expr: &'a RcExpr, span: Span)

Visits a parenthesized expression.

fn visit_bracketed(&mut self, expr: &'a RcExpr, span: Span)

Visits a bracketed expression.