Interface DeclassifyExpr

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:

public interface DeclassifyExpr
extends DowngradeExpr

An immutable representation of the Jif declassify expression.

Grammar: declassify(expression, label_1, label_2)

If the label of the expression is less restrictive than label_2, then declassify its label to label_1.

Field Summary
Fields inherited from interface polyglot.ast.Term
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
Methods inherited from interface polyglot.ast.Typed
Methods inherited from interface polyglot.ast.Term
acceptCFG, exceptions, exceptions, firstChild, reachable, reachable