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

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

public class Grammar
extends Object

Nested Class Summary

static class

Grammar.MarkedProduction

Constructor Summary

Grammar(List<? extends ProductionDecl> prod, Set<? extends NonTerminalDecl> starts)

Method Summary

Set<? extends TerminalDecl>	getAlphabet()
Set<? extends NonTerminalDecl>	getNonTerminals()
Map<NonTerminalDecl,? extends List<ProductionDecl>>	getProductions()
Map<NonTerminalDecl,? extends List<Grammar.MarkedProduction>>	getRightProductionMap()
Set<? extends NonTerminalDecl>	getStarts()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Grammar

public Grammar(List<? extends ProductionDecl> prod,
               Set<? extends NonTerminalDecl> starts)

Method Detail

getProductions

public final Map<NonTerminalDecl,? extends List<ProductionDecl>> getProductions()

getStarts

public final Set<? extends NonTerminalDecl> getStarts()

getNonTerminals

public final Set<? extends NonTerminalDecl> getNonTerminals()

getAlphabet

public final Set<? extends TerminalDecl> getAlphabet()

getRightProductionMap

public Map<NonTerminalDecl,? extends List<Grammar.MarkedProduction>> getRightProductionMap()

toString

public String toString()

Overrides:

toString in class Object