dk.brics.grammar.operations
Class GrammarChecker
java.lang.Object
dk.brics.grammar.operations.GrammarChecker
public class GrammarChecker
- extends Object
Checks grammars for nonproductive or unreachable nonterminals.
Constructor Summary |
GrammarChecker()
Constructs a new grammar checker. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
GrammarChecker
public GrammarChecker()
- Constructs a new grammar checker.
check
public int check(Grammar g,
PrintWriter out)
- Checks the given grammar.
- Parameters:
g
- grammarout
- warnings are printed to this stream
- Returns:
- number of warnings produced
Copyright © 2005-2008 Anders Møller.