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)