dk.brics.string.grammar
Class PairProduction

java.lang.Object
  dk.brics.string.grammar.Production
      dk.brics.string.grammar.PairProduction

public class PairProduction
extends Production

Pair production [a -> b c].

Method Summary

Nonterminal	getNonterminal1() Returns the first nonterminal.
Nonterminal	getNonterminal2() Returns the second nonterminal.
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

getNonterminal1

public Nonterminal getNonterminal1()

Returns the first nonterminal.

getNonterminal2

public Nonterminal getNonterminal2()

Returns the second nonterminal.

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