dk.brics.string.grammar
Class AutomatonProduction

java.lang.Object
  extended by dk.brics.string.grammar.Production
      extended by dk.brics.string.grammar.AutomatonProduction

public class AutomatonProduction
extends Production

Automaton production [a -> reg].


Method Summary
 Automaton getAutomaton()
          Returns the automaton.
 String toString()
           
 void visitBy(Nonterminal a, ProductionVisitor v)
          Visits this production with the given visitor.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

getAutomaton

public Automaton getAutomaton()
Returns the automaton.


toString

public String toString()
Overrides:
toString in class Object

visitBy

public void visitBy(Nonterminal a,
                    ProductionVisitor v)
Description copied from class: Production
Visits this production with the given visitor.

Specified by:
visitBy in class Production


Copyright © 2003-2009 Anders Møller, Aske Simon Christensen, Asger Feldthaus.