fabil.ast
Class AbortStmt_c

java.lang.Object
  extended by Stmt_c
      extended by fabil.ast.AbortStmt_c
All Implemented Interfaces:
AbortStmt

public class AbortStmt_c
extends Stmt_c
implements AbortStmt


Constructor Summary
AbortStmt_c(Position pos)
           
 
Method Summary
 java.util.List acceptCFG(CFGBuilder v, java.util.List succs)
           
 Term firstChild()
           
 void prettyPrint(CodeWriter w, PrettyPrinter tr)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, 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()

prettyPrint

public void prettyPrint(CodeWriter w,
                        PrettyPrinter tr)

toString

public java.lang.String toString()