dk.brics.string.grammar
Class AutomatonProduction

java.lang.Object
  dk.brics.string.grammar.Production
      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