dk.brics.grammar.operations
Class GrammarChecker

java.lang.Object
  extended by 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.
 
Method Summary
 int check(Grammar g, PrintWriter out)
          Checks the given grammar.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GrammarChecker

public GrammarChecker()
Constructs a new grammar checker.

Method Detail

check

public int check(Grammar g,
                 PrintWriter out)
Checks the given grammar.

Parameters:
g - grammar
out - warnings are printed to this stream
Returns:
number of warnings produced


Copyright © 2005-2008 Anders Møller.