xrel.analyzer
Class TAUnion

java.lang.Object
  |
  +--xrel.analyzer.TA
        |
        +--xrel.analyzer.TAUnion
All Implemented Interfaces:
java.lang.Cloneable, TABuildPhase

public class TAUnion
extends TA

TODO insert comment here

Author:
Fabrizio Bisi

Fields inherited from class xrel.analyzer.TA
debug, epsilonTransitions, finalStates, initialStates, isBuilt, name, out, states, symtab, transitions
 
Fields inherited from interface xrel.analyzer.TABuildPhase
ALL_IN_ONE, DO_NOTHING, FULL_BUILD, SIMPLE_BUILD, STEP_BUILD, STEP_COMPLETE_AUT, STEP_NO_EPS_TRANS, STEP_NO_UNMATCHED_STATES, STEP_NO_UNREACH_STATES
 
Constructor Summary
TAUnion(java.util.HashSet alNames, SymTable st, boolean dbg, java.io.PrintStream psOut)
           
 
Method Summary
 void build()
          Subclasses must implement a matchTree function.
static java.lang.String getUnionName(java.util.HashSet alNames)
           
 void union(TA A)
           
 
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
 

Constructor Detail

TAUnion

public TAUnion(java.util.HashSet alNames,
               SymTable st,
               boolean dbg,
               java.io.PrintStream psOut)
Method Detail

getUnionName

public static java.lang.String getUnionName(java.util.HashSet alNames)

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
See Also:
TA.build()

union

public void union(TA A)