| Package | Description |
|---|---|
| org.stekikun.dolmen.syntax |
| Modifier and Type | Method and Description |
|---|---|
static PGrammars.Dependencies |
PGrammars.dependencies(Map<String,PGrammarRule> rules)
Computes the map of dependencies between the non-terminals
of the given grammar rules, i.e. associates to every non-terminal in
rules the set of non-terminals which appear in the
right-hand side of productions for this non-terminal. |
| Modifier and Type | Method and Description |
|---|---|
static Map<String,List<PGrammars.Sort>> |
PGrammars.analyseGrammar(PGrammar grammar,
@Nullable PGrammars.Dependencies dependencies_,
Reporter reporter)
This analyses various rule applications in the parametric
grammar
grammar by inferring sorts
for all the rules' formal parameters and checking that
effective parameters in all applications are abiding by
the constraints expressed by the sorts. |
static void |
PGrammars.findUnusedSymbols(PGrammar grammar,
PGrammars.Dependencies deps,
Reporter reporter)
Analyses the
grammar's dependencies deps to
determine non-terminals and terminals which are not really being
used in this grammar description. |