jif.ast

Interface DeclassifyStmt

All Superinterfaces:

java.lang.Cloneable, polyglot.ast.CompoundStmt, polyglot.util.Copy<polyglot.ast.Node>, DowngradeStmt, polyglot.ast.Node, polyglot.ast.NodeOps, java.io.Serializable, polyglot.ast.Stmt, polyglot.ast.Term

All Known Implementing Classes:

DeclassifyStmt_c

public interface DeclassifyStmt
extends DowngradeStmt

An immutable representation of the Jif declassify statement.

Grammar: declassify(label_1, label_2) stmt

If the pc label of this declassify statement is less restrictive than label_2, then declassify the pc label of stmt to label_1.

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.ast.Term

polyglot.ast.Term.Instance

Nested classes/interfaces inherited from interface polyglot.util.Copy

polyglot.util.Copy.Util

Field Summary

Fields inherited from interface polyglot.ast.Term

ENTRY, EXIT

Method Summary

Methods inherited from interface jif.ast.DowngradeStmt

body, body, bound, bound, downgradeKind, label, label

Methods inherited from interface polyglot.ast.Term

exceptions, exceptions, reachable, reachable

Methods inherited from interface polyglot.ast.Node

del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge

Methods inherited from interface polyglot.ast.NodeOps

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, extRewriteOverride, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList

Methods inherited from interface polyglot.util.Copy

copy