fabric.ast
Class AbortStmt_c

java.lang.Object
  extended by Branch_c
      extended by fabric.ast.AbortStmt_c
All Implemented Interfaces:
AbortStmt, FabricBranch

public class AbortStmt_c
extends Branch_c
implements AbortStmt


Field Summary
 
Fields inherited from interface fabric.ast.FabricBranch
ABORT, RETRY
 
Constructor Summary
AbortStmt_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

AbortStmt_c

public AbortStmt_c(Position pos)
Method Detail

acceptCFG

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

firstChild

public Term firstChild()