xrel.analyzer
Class TASubset

java.lang.Object
  |
  +--xrel.analyzer.TA
        |
        +--xrel.analyzer.TASubset
All Implemented Interfaces:
TABuildPhase

public class TASubset
extends TA

TODO insert comment here

Author:
Fabrizio Bisi

Fields inherited from class xrel.analyzer.TA
debug, epsilonTransitions, finalStates, initialStates, isBuilt, name, out, states, subAutomata, symtab, transitions
 
Fields inherited from interface xrel.analyzer.TABuildPhase
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
TASubset(TA Src, SymTable st, boolean dbg, java.io.PrintStream psOut)
           
 
Method Summary
 void build()
           
 boolean matchTree(SimpleNode value)
          Subclasses must implement a matchTree function.
protected  void updateSubAutomata()
           
 
Methods inherited from class xrel.analyzer.TA
addEpsTransition, addEpsTransitions, addEpsTransitions, addEpsTransitions, addState, addTrans, completeAutomaton, compute_closures, dump, epsilon_elimination, equals, getName, getSubAutomata, hashCode, isNull, merge, remove_unmatched, remove_unreachable_states, union, update
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TASubset

public TASubset(TA Src,
                SymTable st,
                boolean dbg,
                java.io.PrintStream psOut)
Method Detail

matchTree

public boolean matchTree(SimpleNode value)
Description copied from class: TA

Subclasses must implement a matchTree function.

TODO this function will presumably change

Overrides:
matchTree in class TA
Following copied from class: xrel.analyzer.TA
Parameters:
value - the value to accept
Returns:
true if the value matches the automaton

updateSubAutomata

protected void updateSubAutomata()
Overrides:
updateSubAutomata in class TA

build

public void build()
Overrides:
build in class TA