jif.ast
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:

CheckedEndorseStmt_c

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

ENTRY, EXIT

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

copy

Method Detail

expr

polyglot.ast.Expr expr()

expr

CheckedEndorseStmt expr(polyglot.ast.Expr expr)