Struct libslide::grammar::mem::RcExprPat

pub struct RcExprPat {
    expr: Arc<ExprPat>,
    pub span: Span,
}

An reference-counted version of an expression.

NB: counted expressions are equivalent if they point to the same underlying expression, even though two counted expressions may have different spans.

Fields

expr: Arc<ExprPat>

The underlying expression.

span: Span

The original span of this expression from an input source code. Even though the expression may be shared, this span is distinct and serves as a backwards-mapping to where the expression originally came from.

Implementations

impl RcExprPat

pub(crate) fn new<Sp>(expr: ExprPat, span: Sp) -> Self where
    Sp: Into<Span>, 

Creates a new reference-counted expression at a span.

Trait Implementations

impl AsRef<ExprPat> for RcExprPat

fn as_ref(&self) -> &ExprPat

Performs the conversion.

impl Clone for RcExprPat

fn clone(&self) -> RcExprPat

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RcExprPat

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

Formats the value using the given formatter.

impl Deref for RcExprPat

type Target = Self::Inner

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl Display for RcExprPat

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

Formats the value using the given formatter.

impl Emit for RcExprPat

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(&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

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

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

impl Eq for RcExprPat

impl Grammar for RcExprPat

impl Hash for RcExprPat

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<'a> LintRule<'a, RcExprPat> for SimilarNamesLinter<'a>

fn lint(expr_pat: &RcExprPat, _source: &'a str) -> Vec<Diagnostic>

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

impl MatchRule<RcExprPat> for PatternMatch<RcExprPat>

fn match_rule(
    rule: RcExprPat,
    target: RcExprPat
) -> Option<PatternMatch<RcExprPat>>

Pattern matches a rule template against an expression. If successful, the results of the matching are returned as a mapping of rule to target expressions replacements.

impl Ord for RcExprPat

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

#[must_use]fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

#[must_use]fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

#[must_use]fn clamp(self, min: Self, max: Self) -> Self

🔬 This is a nightly-only experimental API. (clamp)

Restrict a value to a certain interval.

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.

impl PartialEq<RcExprPat> for RcExprPat

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl PartialOrd<RcExprPat> for RcExprPat

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

#[must_use]fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

#[must_use]fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

#[must_use]fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

#[must_use]fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl RcExpression for RcExprPat

type Inner = ExprPat

The type of expression held by Self.

fn is_const(&self) -> bool

Returns whether the expression is a statically-evaluatable constant.

fn is_var(&self) -> bool

Returns whether the expression is a terminable variable (or variable-like).

fn paren(inner: RcExprPat, span: Span) -> Self

Paranthesizes inner.

fn bracket(inner: RcExprPat, span: Span) -> Self

Brackets inner.

fn binary(expr: BinaryExpr<Self>, span: Span) -> Self

Creates an RcExpression from a BinaryExpr.

fn unary(expr: UnaryExpr<Self>, span: Span) -> Self

Creates an RcExpression from a UnaryExpr.

fn empty(span: Span) -> Self

Returns an empty expression.

fn span(&self) -> Span

Returns the span of the expression.

impl Transformer<RcExprPat, RcExpr> for PatternMatch<RcExpr>

fn transform(&self, item: RcExprPat) -> RcExpr

Transforms a pattern expression into an expression by replacing patterns with target expressions known by the PatternMatch.

This transformation can be used to apply a rule on an expression by transforming the RHS using patterns matched between the LHS of the rule and the target expression.

impl Transformer<RcExprPat, RcExprPat> for PatternMatch<RcExprPat>

fn transform(&self, item: RcExprPat) -> RcExprPat

impl Transformer<RcExprPat, RcExprPat> for Rule

fn transform(&self, target: RcExprPat) -> RcExprPat

Bootstraps a rule with another (or possibly the same) rule.