dk.brics.string.grammar
Class UnaryProduction

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

public class UnaryProduction
extends Production

Unary production [a -> op1(b)].

Method Summary

Nonterminal	getNonterminal() Returns the nonterminal.
UnaryOperation	getOperation() Returns the operation.
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

getNonterminal

public Nonterminal getNonterminal()

Returns the nonterminal.

getOperation

public UnaryOperation getOperation()

Returns the operation.

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