Module parol::analysis

Module with functionalities for grammar analysis

Re-exports

pub use compiled_terminal::CompiledTerminal;

pub use left_recursion::detect_left_recursions;

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 nt_grammar_graph::NtEdgeType;

pub use nt_grammar_graph::NtGrammarGraph;

pub use nt_grammar_graph::NtNodeType;

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

first

Grammar flow analysis FIRSTk of productions and non-terminals

follow

Grammar flow analysis FOLLOW k of productions and non-terminals

k_decision

k_tuple

k_tuples

left_recursion

lookahead_dfa

nt_grammar_graph

This module provides a special graph type that is mostly used for the detection of left recursions.

productivity

Grammar flow analysis Productivity of non-terminals

reachability