Interface CheckedEndorseStmt

All Superinterfaces:
java.lang.Cloneable, polyglot.ast.CompoundStmt, polyglot.util.Copy, DowngradeStmt, EndorseStmt, polyglot.ast.JL, polyglot.ast.Node, polyglot.ast.NodeOps, polyglot.ast.Stmt, polyglot.ast.Term
All Known Implementing Classes:

public interface CheckedEndorseStmt
extends EndorseStmt

An immutable representation of the Jif checked endorse statement.

Grammar: endorse(expr, label_from to label_to) stmt

Field Summary
Fields inherited from interface polyglot.ast.Term
Method Summary
 polyglot.ast.Expr expr()
 CheckedEndorseStmt expr(polyglot.ast.Expr expr)
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, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChildren
Methods inherited from interface polyglot.util.Copy

Method Detail


polyglot.ast.Expr expr()


CheckedEndorseStmt expr(polyglot.ast.Expr expr)