fabil.ast
Class RetryStmt_c

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