fabil.ast
Class RetryStmt_c

java.lang.Object
  extended by Stmt_c
      extended by fabil.ast.RetryStmt_c
All Implemented Interfaces:
RetryStmt

public class RetryStmt_c
extends Stmt_c
implements RetryStmt


Constructor Summary
RetryStmt_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

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()

prettyPrint

public void prettyPrint(CodeWriter w,
                        PrettyPrinter tr)

toString

public java.lang.String toString()