xrel.analyzer
Class TAProduct

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

public class TAProduct
extends TA
implements SpecialNames

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.parser.SpecialNames
AnyTagName, AnyTypeName, AutomatonPrefix, EmptyPatternName, ExportTypeName, ExpressionPrefix, PatternPrefix, SpecialPrefix, StringName, StringPatternName, StringTypeName, StrLiteralPrefix, StrLiteralSuffix, StrUnquotedPrefix, StrUnquotedSuffix
 
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
TAProduct(TA A1, TA A2, SymTable st, boolean dbg, java.io.PrintStream psOut, boolean force)
           
 
Method Summary
 void build()
          Subclasses must implement a matchTree function.
static java.lang.String getProductName(java.lang.String s1, java.lang.String s2)
           
static java.lang.String getProductName(TA A1, TA A2)
           
protected  xrel.analyzer.TAProductState getState(TAState s1, TAState s2)
           
 
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

TAProduct

public TAProduct(TA A1,
                 TA A2,
                 SymTable st,
                 boolean dbg,
                 java.io.PrintStream psOut,
                 boolean force)
Method Detail

getProductName

public static java.lang.String getProductName(TA A1,
                                              TA A2)

getProductName

public static java.lang.String getProductName(java.lang.String s1,
                                              java.lang.String s2)

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 xrel.analyzer.TAProductState getState(TAState s1,
                                                TAState s2)