fr.umlv.tatoo.cc.parser.grammar
Class Grammar.MarkedProduction

java.lang.Object
  fr.umlv.tatoo.cc.parser.grammar.Grammar.MarkedProduction

Enclosing class:

Grammar

public static final class Grammar.MarkedProduction
extends Object

Constructor Summary

Grammar.MarkedProduction(ProductionDecl production, int position)

Method Summary

int	getPosition()
ProductionDecl	getProduction()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Grammar.MarkedProduction

public Grammar.MarkedProduction(ProductionDecl production,
                                int position)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

getPosition

public int getPosition()

getProduction

public ProductionDecl getProduction()