xrel.analyzer
Class TADifference
java.lang.Object
|
+--xrel.analyzer.TA
|
+--xrel.analyzer.TADifference
- All Implemented Interfaces:
- java.lang.Cloneable, SpecialNames, TABuildPhase
- public class TADifference
- extends TA
- implements SpecialNames
TODO insert comment here
- Author:
- Fabrizio Bisi
Fields inherited from interface xrel.parser.SpecialNames |
AnyTagName, AnyTypeName, AutomatonPrefix, EmptyPatternName, ExportTypeName, ExpressionPrefix, PatternPrefix, SpecialPrefix, StringName, StringPatternName, StringTypeName, StrLiteralPrefix, StrLiteralSuffix, StrUnquotedPrefix, StrUnquotedSuffix |
Methods inherited from class xrel.analyzer.TA |
addEpsTransition, addEpsTransitions, addEpsTransitions, addEpsTransitions, addState, addTrans, clone, completeAutomaton, compute_closures, dump, epsilon_elimination, equals, force, getChildAutomata, getDescendantAutomata, getName, hashCode, isNull, merge, remove_unmatched, remove_unreachable_states, setDebug, simplify, toString, update |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
TADifference
public TADifference(TA A1,
TA A2,
SymTable st,
boolean dbg,
java.io.PrintStream psOut)
getDiffName
public static java.lang.String getDiffName(TA a1,
TA a2)
getDiffName
public static java.lang.String getDiffName(java.lang.String a1Name,
java.util.HashSet aList)
build
public void build()
- Description copied from class:
TA
Subclasses must implement a matchTree function.
TODO this function will presumably change.
- Overrides:
build
in class TA
- Following copied from class:
xrel.analyzer.TA
- Parameters:
value
- the value to accept- Returns:
- true if the value matches the automaton
getState
protected TADifferenceState getState(TAState s1,
java.util.HashSet sList)