jif.ast

Interface DowngradeStmt

All Superinterfaces:

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

All Known Subinterfaces:

CheckedEndorseStmt, DeclassifyStmt, EndorseStmt

All Known Implementing Classes:

CheckedEndorseStmt_c, DeclassifyStmt_c, DowngradeStmt_c, EndorseStmt_c

public interface DowngradeStmt
extends polyglot.ast.CompoundStmt

Superinterface for downgrade statements.

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

Modifier and Type	Method and Description
polyglot.ast.Stmt	body()
DowngradeStmt	body(polyglot.ast.Stmt body)
LabelNode	bound()
DowngradeStmt	bound(LabelNode bound)
java.lang.String	downgradeKind()
LabelNode	label()
DowngradeStmt	label(LabelNode 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

Method Detail

label

LabelNode label()

label

DowngradeStmt label(LabelNode label)

body

polyglot.ast.Stmt body()

body

DowngradeStmt body(polyglot.ast.Stmt body)

bound

LabelNode bound()

bound

DowngradeStmt bound(LabelNode bound)

downgradeKind

java.lang.String downgradeKind()

Returns:

Name of the kind of downgrade, e.g. "declassify" or "endorse"