Package org.extendj.neobeaver

Class TransitionTable

java.lang.Object

org.extendj.neobeaver.TransitionTable

public class TransitionTable
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
java.util.Map<ItemSet,java.util.Map<Symbol,Action>>	actions
java.util.List<Conflict>	conflicts
ItemSet	goal
java.util.Map<ItemSet,java.util.Map<Symbol,ItemSet>>	map

Constructor Summary

Constructors

Constructor	Description
TransitionTable(ItemSet goal, java.util.Map<ItemSet,java.util.Map<Symbol,ItemSet>> map, java.util.Map<ItemSet,java.util.Map<Symbol,Action>> actions, java.util.Map<ItemSet,java.util.Map<Symbol,java.util.List<Action>>> actionMap, java.util.List<Conflict> conflicts)

Method Summary

Modifier and Type	Method	Description
static TransitionTable	build(Grammar grammar, ProblemHandler problems, java.util.Set<Symbol> syms, java.util.List<ItemSet> itemSets, ItemSet goal, java.util.Map<ItemSet,ItemSet> coreMap, java.util.List<Tuple3<ItemSet,ItemSet,Symbol>> transitions, java.util.List<Tuple3<ItemSet,Symbol,Action>> extraActions)
void	checkProblems(Grammar grammar, ProblemHandler problems, java.util.Set<Symbol> unused, boolean unreachableError)
void	printConflicts(ProblemHandler problems, Grammar grammar)
void	printTables(Grammar grammar, java.util.List<ItemSet> itemSets)
static org.extendj.neobeaver.TransitionTable.Resolution	resolve(ProblemHandler problems, ItemSet set, Action firstAction, Action secondAction, Grammar grammar, Symbol sym)	Choose between conflicting actions using precedence.

Methods inherited from class java.lang.Object

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

Field Detail

goal

public final ItemSet goal

map

public final java.util.Map<ItemSet,java.util.Map<Symbol,ItemSet>> map

actions

public final java.util.Map<ItemSet,java.util.Map<Symbol,Action>> actions

conflicts

public final java.util.List<Conflict> conflicts

Constructor Detail

TransitionTable

public TransitionTable(ItemSet goal,
                       java.util.Map<ItemSet,java.util.Map<Symbol,ItemSet>> map,
                       java.util.Map<ItemSet,java.util.Map<Symbol,Action>> actions,
                       java.util.Map<ItemSet,java.util.Map<Symbol,java.util.List<Action>>> actionMap,
                       java.util.List<Conflict> conflicts)

Method Detail

build

public static TransitionTable build(Grammar grammar,
                                    ProblemHandler problems,
                                    java.util.Set<Symbol> syms,
                                    java.util.List<ItemSet> itemSets,
                                    ItemSet goal,
                                    java.util.Map<ItemSet,ItemSet> coreMap,
                                    java.util.List<Tuple3<ItemSet,ItemSet,Symbol>> transitions,
                                    java.util.List<Tuple3<ItemSet,Symbol,Action>> extraActions)

checkProblems

public void checkProblems(Grammar grammar,
                          ProblemHandler problems,
                          java.util.Set<Symbol> unused,
                          boolean unreachableError)

resolve

public static org.extendj.neobeaver.TransitionTable.Resolution resolve(ProblemHandler problems,
                                                                       ItemSet set,
                                                                       Action firstAction,
                                                                       Action secondAction,
                                                                       Grammar grammar,
                                                                       Symbol sym)

Choose between conflicting actions using precedence.

printTables

public void printTables(Grammar grammar,
                        java.util.List<ItemSet> itemSets)

printConflicts

public void printConflicts(ProblemHandler problems,
                           Grammar grammar)