fabric.ast
Class AbortStmt_c

java.lang.Object
  Branch_c
      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()