Uses of Interface
xrel.analyzer.TAState

Packages that use TAState
xrel.analyzer This package contains the classes that process the output of the parser and that perform static checking of the program.  
 

Uses of TAState in xrel.analyzer
 

Classes in xrel.analyzer that implement TAState
 class TADifferenceState
          TODO insert comment here
 

Methods in xrel.analyzer that return TAState
 TAState TADifferenceState.getState1()
           
 

Methods in xrel.analyzer with parameters of type TAState
protected  void TA.addState(TAState Q, int Flags)
           
protected  void TA.addTrans(TAState Q1, TAState Q2, java.lang.String content, java.lang.String label, java.util.HashSet X)
           
protected  void TA.addEpsTransition(TAState Q1, TAState Q2)
          Adds an epsilon transition from Q1 to Q2
protected  void TA.addEpsTransitions(java.util.Vector V1, TAState Q)
          Adds epsilon transitions from every state in V1 to the state Q
protected  void TA.addEpsTransitions(TAState Q, java.util.Vector V2)
          Adds epsilon transitions from state Q to every state in V2
protected  xrel.analyzer.TAProductState TAProduct.getState(TAState s1, TAState s2)
           
protected  TADifferenceState TADifference.getState(TAState s1, java.util.HashSet sList)
           
 

Constructors in xrel.analyzer with parameters of type TAState
TADifferenceState(TAState s1, java.util.HashSet sList)