jif.ast

Class EndorseStmt_c

java.lang.Object

polyglot.ast.Node_c

polyglot.ast.Term_c

polyglot.ast.Stmt_c

jif.ast.DowngradeStmt_c

jif.ast.EndorseStmt_c

All Implemented Interfaces:

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

Direct Known Subclasses:

CheckedEndorseStmt_c

public class EndorseStmt_c
extends DowngradeStmt_c
implements EndorseStmt

An implementation of the EndorseStmt interface.

See Also:

Serialized Form

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 class jif.ast.DowngradeStmt_c

body, bound, label

Fields inherited from class polyglot.ast.Term_c

exceptions, reachable

Fields inherited from class polyglot.ast.Node_c

del, error, ext, position

Fields inherited from interface polyglot.ast.Term

ENTRY, EXIT

Constructor Summary

Constructors

Constructor and Description
EndorseStmt_c(polyglot.util.Position pos, LabelNode bound, LabelNode label, polyglot.ast.Stmt body)
EndorseStmt_c(polyglot.util.Position pos, LabelNode bound, LabelNode label, polyglot.ast.Stmt body, polyglot.ast.Ext ext)

Method Summary

Modifier and Type	Method and Description
java.lang.String	downgradeKind()

Methods inherited from class jif.ast.DowngradeStmt_c

acceptCFG, body, body, body, bound, bound, bound, firstChild, label, label, label, prettyPrint, reconstruct, toString, translate, visitChildren

Methods inherited from class polyglot.ast.Term_c

exceptionCheck, exceptions, exceptions, exceptions, extRewrite, listChild, reachable, reachable, reachable

Methods inherited from class polyglot.ast.Node_c

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, copyIfNeeded, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, error, error, error, exceptionCheckEnter, ext, ext, ext, ext, extRewriteEnter, extRewriteOverride, isDisambiguated, isTypeChecked, lang, position, position, position, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, throwTypes, typeCheck, typeCheckEnter, typeCheckOverride, visit, visitChild, visitEdge, visitList

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface jif.ast.DowngradeStmt

body, body, bound, bound, 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

Constructor Detail

EndorseStmt_c

public EndorseStmt_c(polyglot.util.Position pos,
                     LabelNode bound,
                     LabelNode label,
                     polyglot.ast.Stmt body)

EndorseStmt_c

public EndorseStmt_c(polyglot.util.Position pos,
                     LabelNode bound,
                     LabelNode label,
                     polyglot.ast.Stmt body,
                     polyglot.ast.Ext ext)

Method Detail

downgradeKind

public java.lang.String downgradeKind()

Specified by:

downgradeKind in interface DowngradeStmt

Specified by:

downgradeKind in class DowngradeStmt_c

Returns:

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