Struct parol::parser::parol_grammar::ParolGrammar

pub struct ParolGrammar<'t> {
    pub productions: Vec<Production>,
    pub title: Option<String>,
    pub comment: Option<String>,
    pub start_symbol: String,
    pub scanner_configurations: Vec<ScannerConfig>,
    pub user_type_definitions: BTreeMap<String, UserDefinedTypeName>,
    pub grammar_type: GrammarType,
    /* private fields */
}

Data structure used to build up a parol::GrammarConfig during parsing.

Fields

productions: Vec<Production>

The parsed productions

title: Option<String>

The optional title of the grammar

comment: Option<String>

The optional comment of the grammar

start_symbol: String

The mandatory start symbol of the grammar

scanner_configurations: Vec<ScannerConfig>

All parsed scanner configurations

user_type_definitions: BTreeMap<String, UserDefinedTypeName>

User type definitions (aliases)

grammar_type: GrammarType

The grammar type

Implementations

impl ParolGrammar<'_>

pub fn new() -> Self

Constructs a new item

Trait Implementations

impl<'t> Clone for ParolGrammar<'t>

fn clone(&self) -> ParolGrammar<'t>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'t> Debug for ParolGrammar<'t>

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

Formats the value using the given formatter.

impl Default for &ParolGrammar<'_>

fn default() -> Self

Returns the “default value” for a type.

impl<'t> Default for ParolGrammar<'t>

fn default() -> ParolGrammar<'t>

Returns the “default value” for a type.

impl Display for ParolGrammar<'_>

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

Formats the value using the given formatter.

impl<'t> ParolGrammarTrait<'t> for ParolGrammar<'t>

fn production(&mut self, arg: &Production<'t>) -> Result<()>

Semantic action for non-terminal ‘Production’

fn parol(&mut self, parol: &Parol<'t>) -> Result<()>

Semantic action for non-terminal ‘Parol’

fn prolog(&mut self, _arg: &Prolog<'t>) -> Result<()>

Semantic action for non-terminal ‘Prolog’

fn start_declaration(&mut self, _arg: &StartDeclaration<'t>) -> Result<()>

Semantic action for non-terminal ‘StartDeclaration’

fn declaration(&mut self, _arg: &Declaration<'t>) -> Result<()>

Semantic action for non-terminal ‘Declaration’

fn scanner_directives(&mut self, _arg: &ScannerDirectives<'t>) -> Result<()>

Semantic action for non-terminal ‘ScannerDirectives’

fn grammar_definition(&mut self, _arg: &GrammarDefinition<'t>) -> Result<()>

Semantic action for non-terminal ‘GrammarDefinition’

fn double_colon(&mut self, _arg: &DoubleColon<'t>) -> Result<()>

Semantic action for non-terminal ‘DoubleColon’

fn alternations(&mut self, _arg: &Alternations<'t>) -> Result<()>

Semantic action for non-terminal ‘Alternations’

fn alternation(&mut self, _arg: &Alternation<'t>) -> Result<()>

Semantic action for non-terminal ‘Alternation’

fn factor(&mut self, _arg: &Factor<'t>) -> Result<()>

Semantic action for non-terminal ‘Factor’

fn symbol(&mut self, _arg: &Symbol<'t>) -> Result<()>

Semantic action for non-terminal ‘Symbol’

fn token_literal(&mut self, _arg: &TokenLiteral<'t>) -> Result<()>

Semantic action for non-terminal ‘TokenLiteral’

fn simple_token(&mut self, _arg: &SimpleToken<'t>) -> Result<()>

Semantic action for non-terminal ‘SimpleToken’

fn token_with_states(&mut self, _arg: &TokenWithStates<'t>) -> Result<()>

Semantic action for non-terminal ‘TokenWithStates’

fn string(&mut self, _arg: &String<'t>) -> Result<()>

Semantic action for non-terminal ‘String’

fn raw_string(&mut self, _arg: &RawString<'t>) -> Result<()>

Semantic action for non-terminal ‘RawString’

fn regex(&mut self, _arg: &Regex<'t>) -> Result<()>

Semantic action for non-terminal ‘Regex’

fn group(&mut self, _arg: &Group<'t>) -> Result<()>

Semantic action for non-terminal ‘Group’

fn optional(&mut self, _arg: &Optional<'t>) -> Result<()>

Semantic action for non-terminal ‘Optional’

fn repeat(&mut self, _arg: &Repeat<'t>) -> Result<()>

Semantic action for non-terminal ‘Repeat’

fn non_terminal(&mut self, _arg: &NonTerminal<'t>) -> Result<()>

Semantic action for non-terminal ‘NonTerminal’

fn identifier(&mut self, _arg: &Identifier<'t>) -> Result<()>

Semantic action for non-terminal ‘Identifier’

fn scanner_state(&mut self, _arg: &ScannerState<'t>) -> Result<()>

Semantic action for non-terminal ‘ScannerState’

fn state_list(&mut self, _arg: &StateList<'t>) -> Result<()>

Semantic action for non-terminal ‘StateList’

fn scanner_switch(&mut self, _arg: &ScannerSwitch<'t>) -> Result<()>

Semantic action for non-terminal ‘ScannerSwitch’

fn a_s_t_control(&mut self, _arg: &ASTControl) -> Result<()>

Semantic action for non-terminal ‘ASTControl’

fn cut_operator(&mut self, _arg: &CutOperator) -> Result<()>

Semantic action for non-terminal ‘CutOperator’

fn user_type_declaration(&mut self, _arg: &UserTypeDeclaration) -> Result<()>

Semantic action for non-terminal ‘UserTypeDeclaration’

fn user_type_name(&mut self, _arg: &UserTypeName<'t>) -> Result<()>

Semantic action for non-terminal ‘UserTypeName’

fn on_comment_parsed(&mut self, _token: Token<'t>)

This method provides skipped language comments. If you need comments please provide your own implementation of this method.

impl TryFrom<ParolGrammar<'_>> for GrammarConfig

type Error = Error

The type returned in the event of a conversion error.

fn try_from(grammar: ParolGrammar<'_>) -> Result<Self>

Performs the conversion.