jif.ast
Class CheckedEndorseStmt_c

java.lang.Object
  extended by polyglot.ast.Node_c
      extended by polyglot.ast.Term_c
          extended by polyglot.ast.Stmt_c
              extended by jif.ast.DowngradeStmt_c
                  extended by jif.ast.EndorseStmt_c
                      extended by jif.ast.CheckedEndorseStmt_c
All Implemented Interfaces:
java.lang.Cloneable, CheckedEndorseStmt, DowngradeStmt, EndorseStmt, polyglot.ast.CompoundStmt, polyglot.ast.JL, polyglot.ast.Node, polyglot.ast.NodeOps, polyglot.ast.Stmt, polyglot.ast.Term, polyglot.util.Copy

public class CheckedEndorseStmt_c
extends EndorseStmt_c
implements CheckedEndorseStmt

An implementation of the CheckedEndorseStmt interface.


Field Summary
 
Fields inherited from class polyglot.ast.Term_c
exceptions, reachable
 
Fields inherited from class polyglot.ast.Node_c
del, error, ext, position
 
Fields inherited from interface polyglot.ast.Term
ENTRY, EXIT
 
Constructor Summary
CheckedEndorseStmt_c(polyglot.util.Position pos, polyglot.ast.Expr e, LabelNode bound, LabelNode label, polyglot.ast.If body)
           
 
Method Summary
 polyglot.ast.Expr expr()
           
 CheckedEndorseStmt expr(polyglot.ast.Expr expr)
           
 void prettyPrint(polyglot.util.CodeWriter w, polyglot.visit.PrettyPrinter tr)
           
protected  DowngradeStmt_c reconstruct(polyglot.ast.Expr expr, LabelNode bound, LabelNode label, polyglot.ast.Stmt body)
           
 java.lang.String toString()
           
 polyglot.ast.Node visitChildren(polyglot.visit.NodeVisitor v)
           
 
Methods inherited from class jif.ast.EndorseStmt_c
downgradeKind
 
Methods inherited from class jif.ast.DowngradeStmt_c
acceptCFG, body, body, bound, bound, firstChild, label, label, reconstruct, translate
 
Methods inherited from class polyglot.ast.Term_c
exceptionCheck, exceptions, exceptions, listChild, reachable, reachable
 
Methods inherited from class polyglot.ast.Node_c
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, enterChildScope, enterScope, error, error, exceptionCheckEnter, ext, ext, ext, ext, init, isDisambiguated, isTypeChecked, node, position, position, prettyPrint, prettyPrint, print, printBlock, printSubStmt, throwTypes, typeCheck, typeCheckEnter, typeCheckOverride, visit, visitChild, visitEdge, visitList
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface jif.ast.DowngradeStmt
body, body, bound, bound, downgradeKind, label, label
 
Methods inherited from interface polyglot.ast.Term
acceptCFG, exceptions, exceptions, firstChild, reachable, reachable
 
Methods inherited from interface polyglot.ast.Node
childExpectedType, del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitChild, visitEdge, visitList
 
Methods inherited from interface polyglot.ast.JL
init, node
 
Methods inherited from interface polyglot.ast.NodeOps
addDecls, buildTypes, buildTypesEnter, checkConstants, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride
 
Methods inherited from interface polyglot.util.Copy
copy
 

Constructor Detail

CheckedEndorseStmt_c

public CheckedEndorseStmt_c(polyglot.util.Position pos,
                            polyglot.ast.Expr e,
                            LabelNode bound,
                            LabelNode label,
                            polyglot.ast.If body)
Method Detail

expr

public polyglot.ast.Expr expr()
Specified by:
expr in interface CheckedEndorseStmt

expr

public CheckedEndorseStmt expr(polyglot.ast.Expr expr)
Specified by:
expr in interface CheckedEndorseStmt

reconstruct

protected DowngradeStmt_c reconstruct(polyglot.ast.Expr expr,
                                      LabelNode bound,
                                      LabelNode label,
                                      polyglot.ast.Stmt body)

visitChildren

public polyglot.ast.Node visitChildren(polyglot.visit.NodeVisitor v)
Specified by:
visitChildren in interface polyglot.ast.NodeOps
Overrides:
visitChildren in class DowngradeStmt_c

toString

public java.lang.String toString()
Overrides:
toString in class DowngradeStmt_c

prettyPrint

public void prettyPrint(polyglot.util.CodeWriter w,
                        polyglot.visit.PrettyPrinter tr)
Specified by:
prettyPrint in interface polyglot.ast.NodeOps
Overrides:
prettyPrint in class DowngradeStmt_c