dk.brics.string.grammar
Class UnitProduction

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

public class UnitProduction
extends Production

Unit production [a -> b].

Constructor Summary

UnitProduction(Nonterminal b)

Method Summary

Nonterminal	getNonterminal() Returns the 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

Constructor Detail

UnitProduction

public UnitProduction(Nonterminal b)

Method Detail

getNonterminal

public Nonterminal getNonterminal()

Returns the 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