org.nineml.coffeegrinder.parser

Class HygieneReport

java.lang.Object

org.nineml.coffeegrinder.parser.HygieneReport

public class HygieneReport
extends java.lang.Object

A report on the hygiene of a grammar.

A grammar is considered "unhygienic" if it contains any of the following features: unreachable (i.e., unused) nonterminals, unproductive nonterminals, or unproductive rules.

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	logcategory

Method Summary

Modifier and Type	Method and Description
ParserGrammar	getCompiledGrammar() Get the grammar associated with this report.
java.util.Set<NonterminalSymbol>	getUndefinedSymbols() Get the unreachable symbols.
java.util.Set<Rule>	getUnproductiveRules() Get the unproductive rules.
java.util.Set<NonterminalSymbol>	getUnproductiveSymbols() Get the unproductive symbols.
java.util.Set<NonterminalSymbol>	getUnreachableSymbols() Get the unreachable symbols.
boolean	isClean() Is this grammar "clean"?

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

logcategory

public static final java.lang.String logcategory

See Also:

Constant Field Values

Method Detail

isClean

public boolean isClean()

Is this grammar "clean"?

Returns:

true iff the grammar has no unhygienic features

getCompiledGrammar

public ParserGrammar getCompiledGrammar()

Get the grammar associated with this report.

Note that if the grammar was open when the report was created, it may have changed since this report was created.

Returns:

the grammar.

getUnproductiveRules

public java.util.Set<Rule> getUnproductiveRules()

Get the unproductive rules.

Returns:

the unproductive rules.

getUnproductiveSymbols

public java.util.Set<NonterminalSymbol> getUnproductiveSymbols()

Get the unproductive symbols.

Returns:

the unproductive symbols.

getUnreachableSymbols

public java.util.Set<NonterminalSymbol> getUnreachableSymbols()

Get the unreachable symbols.

Returns:

the unreachable symbols.

getUndefinedSymbols

public java.util.Set<NonterminalSymbol> getUndefinedSymbols()

Get the unreachable symbols.

Returns:

the unreachable symbols.