jif.ast
Interface EndorseExpr

All Superinterfaces:

java.lang.Cloneable, polyglot.util.Copy, DowngradeExpr, polyglot.ast.Expr, polyglot.ast.JL, polyglot.ast.Node, polyglot.ast.NodeOps, polyglot.ast.Prefix, polyglot.ast.Receiver, polyglot.ast.Term, polyglot.ast.Typed

All Known Implementing Classes:

EndorseExpr_c

public interface EndorseExpr
extends DowngradeExpr

An immutable representation of the Jif endorse expression.

Grammar: endorse(expression, label_to, label_from)

Field Summary

Fields inherited from interface polyglot.ast.Term

ENTRY, EXIT

Method Summary

Methods inherited from interface jif.ast.DowngradeExpr

bound, bound, downgradeKind, expr, expr, label, label

Methods inherited from interface polyglot.ast.Expr

constantValue, constantValueSet, isConstant, precedence, printSubExpr, printSubExpr, type

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

Methods inherited from interface polyglot.ast.Typed

type

Methods inherited from interface polyglot.ast.Term

acceptCFG, exceptions, exceptions, firstChild, reachable, reachable