fabric.ast
Class RetryStmt_c

java.lang.Object
  extended by Branch_c
      extended by fabric.ast.RetryStmt_c
All Implemented Interfaces:
FabricBranch, RetryStmt

public class RetryStmt_c
extends Branch_c
implements RetryStmt


Field Summary
 
Fields inherited from interface fabric.ast.FabricBranch
ABORT, RETRY
 
Constructor Summary
RetryStmt_c(Position pos)
           
 
Method Summary
 java.util.List acceptCFG(CFGBuilder v, java.util.List succs)
           
 Term firstChild()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RetryStmt_c

public RetryStmt_c(Position pos)
Method Detail

acceptCFG

public java.util.List acceptCFG(CFGBuilder v,
                                java.util.List succs)

firstChild

public Term firstChild()