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].
UnitProduction
public UnitProduction(Nonterminal b)
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
Copyright © 2003-2009 Anders Møller, Aske Simon Christensen, Asger Feldthaus.