Module parol::analysis

Module with functionalities for grammar analysis

Re-exports

• pub use compiled_terminal::CompiledTerminal;
• pub use errors::GrammarAnalysisError;
• pub use errors::RecursiveNonTerminal;
• pub use errors::RelatedHint;
• pub use left_recursion::detect_left_recursive_non_terminals;
• pub use k_tuple::KTuple;
• pub use k_tuple::KTupleBuilder;
• pub use k_tuples::KTuples;
• pub use k_tuples::KTuplesBuilder;
• pub use first::first_k;
• pub use first::FirstSet;
• pub use follow::follow_k;
• pub use follow::FollowSet;
• pub use k_decision::calculate_k;
• pub use k_decision::calculate_k_tuples;
• pub use k_decision::calculate_lookahead_dfas;
• pub use k_decision::decidable;
• pub use k_decision::explain_conflicts;
• pub use k_decision::FirstCache;
• pub use k_decision::FollowCache;
• pub use lalr1_parse_table::calculate_lalr1_parse_table;
• pub use lalr1_parse_table::LR1State;
• pub use lalr1_parse_table::LRAction;
• pub use lalr1_parse_table::LRConflict;
• pub use lalr1_parse_table::LRConflictError;
• pub use lalr1_parse_table::LRParseTable;
• pub use lookahead_dfa::LookaheadDFA;
• pub use productivity::non_productive_non_terminals;
• pub use reachability::all_non_terminals_reachable;
• pub use reachability::nt_producing_productions;
• pub use reachability::nt_reachability;
• pub use reachability::reachable_from_non_terminal;
• pub use reachability::reachable_from_production;
• pub use reachability::reachable_non_terminals;
• pub use reachability::unreachable_non_terminals;

Modules

• compiled_la_dfa
  Module with the compiled lookahead DFA
• compiled_terminal
  Module with the compiled terminal
• errors
  Error types used by this module
• first
  Module with FIRST set calculations
• follow
  Module with FOLLOW set calculations
• k_decision
  Module with conflict calculations
• k_tuple
  Module with the KTuple type
• k_tuples
  Module with the KTuples type
• lalr1_parse_table
  Module with calculations for the LALR(1) parse table LALR(1) parse table construction for the given grammar configuration. The LALR(1) parse table is constructed using the lalr crate. The LALR(1) parse table is then converted into a representation without a reference to the creating grammar. The reference to the creating grammar is not needed for the actual parsing process. Moreover, it inhibits the use of the parse table in other contexts. This is the first reason why we duplicate the lalr types here. The second reason is that we don’t handle the eof action in the same way as the lalr crate. The lalr crate uses a separate field for the eof action, while we include the eof action in the actions field for the terminal EOI.
• left_recursion
  Module with check for left-recursions
• lookahead_dfa
  Module with types for production selection
• productivity
  Module with productivity calculations Grammar flow analysis Productivity of non-terminals
• reachability
  Module with reachability calculations