Module parol::analysis

Module with functionalities for grammar analysis

Re-exports

pub use compiled_terminal::CompiledTerminal;

pub use errors::GrammarAnalysisError;

pub use left_recursion::detect_left_recursive_non_terminals;

pub use k_tuple::KTuple;

pub use k_tuples::KTuples;

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

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