Struct wagon_parser::parser::rhs::Rhs

pub struct Rhs {
    pub weight: Option<SpannableNode<Expression>>,
    pub chunks: Vec<SpannableNode<Chunk>>,
}

A right-hand side (AKA alternative) of a rule.

Any Rhs optionally has an expression that evaluates it’s weight, enclosed by [].

After the weight, it has a list of chunks (which may be empty)

Grammar

Rhs -> Weight? Chunk* "|" Rhs
|  Weight? Chunk* ";"
;
Weight -> “[” Expression “]”;

Fields

weight: Option<SpannableNode<Expression>>

The weight expression of this alternative.

chunks: Vec<SpannableNode<Chunk>>

The chunks of this alternative.

Implementations

impl Rhs

pub fn new_unspanned(weight: Option<Expression>, chunks: Vec<Chunk>) -> Self

Constructs a Self with dummy span information.

Trait Implementations

impl Debug for Rhs

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

Formats the value using the given formatter.

impl Display for Rhs

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

Formats the value using the given formatter.

impl Hash for Rhs

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Parse for Rhs

fn parse(lexer: &mut LexerBridge<'_>) -> ParseResult<Self>

Given a lexer, try to parse a valid instance of this node.

fn parse_sep( lexer: &mut LexerBridge<'_>, join: Tokens ) -> ParseResult<Vec<Self>>

where Self: Sized,

Parse multiple instances of this node, separated by a Tokens.

fn parse_sep_end( lexer: &mut LexerBridge<'_>, join: Tokens, end: Tokens ) -> ParseResult<Vec<Self>>

where Self: Sized,

Parse multiple instances of this node, separated by a Tokens end ended by a (possibly different) Tokens.

impl PartialEq for Rhs

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

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Rhs

impl StructuralPartialEq for Rhs