jif.ast

Class DeclassifyExpr_c

java.lang.Object

polyglot.ast.Node_c

polyglot.ast.Term_c

polyglot.ast.Expr_c

jif.ast.DowngradeExpr_c

jif.ast.DeclassifyExpr_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, DeclassifyExpr, DowngradeExpr, polyglot.ast.Expr, polyglot.ast.ExprOps, polyglot.ast.Node, polyglot.ast.NodeOps, polyglot.ast.Prefix, polyglot.ast.Receiver, polyglot.ast.Term, polyglot.ast.TermOps, polyglot.ast.Typed, polyglot.util.Copy<polyglot.ast.Node>

public class DeclassifyExpr_c
extends DowngradeExpr_c
implements DeclassifyExpr

An implementation of the DeclassifyExpr interface.

See Also:

Serialized Form

Nested Class Summary

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

polyglot.util.Copy.Util

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

polyglot.ast.Term.Instance

Field Summary

Fields inherited from class jif.ast.DowngradeExpr_c

bound, expr, label

Fields inherited from class polyglot.ast.Expr_c

type

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
DeclassifyExpr_c(polyglot.util.Position pos, polyglot.ast.Expr expr, LabelNode bound, LabelNode label)
DeclassifyExpr_c(polyglot.util.Position pos, polyglot.ast.Expr expr, LabelNode bound, LabelNode label, polyglot.ast.Ext ext)

Method Summary

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

Methods inherited from class jif.ast.DowngradeExpr_c

acceptCFG, bound, bound, bound, expr, expr, expr, firstChild, label, label, label, precedence, prettyPrint, reconstruct, toString, translate, typeCheck, visitChildren

Methods inherited from class polyglot.ast.Expr_c

booleanValue, buildTypes, byteValue, charValue, constantValue, constantValue, constantValueSet, constantValueSet, doubleValue, dump, extRewrite, floatValue, intValue, isConstant, isConstant, isTypeChecked, lastLang, longValue, printSubExpr, printSubExpr, shortValue, stringValue, type, type, type

Methods inherited from class polyglot.ast.Term_c

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

Methods inherited from class polyglot.ast.Node_c

addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, copyIfNeeded, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, error, error, error, exceptionCheckEnter, ext, ext, ext, ext, extRewriteEnter, extRewriteOverride, isDisambiguated, lang, position, position, position, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, throwTypes, 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.DowngradeExpr

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

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

Methods inherited from interface polyglot.ast.Typed

type

Methods inherited from interface polyglot.ast.Term

exceptions, exceptions, reachable, reachable

Constructor Detail

DeclassifyExpr_c

public DeclassifyExpr_c(polyglot.util.Position pos,
                        polyglot.ast.Expr expr,
                        LabelNode bound,
                        LabelNode label)

DeclassifyExpr_c

public DeclassifyExpr_c(polyglot.util.Position pos,
                        polyglot.ast.Expr expr,
                        LabelNode bound,
                        LabelNode label,
                        polyglot.ast.Ext ext)

Method Detail

downgradeKind

public java.lang.String downgradeKind()

Specified by:

downgradeKind in interface DowngradeExpr

Returns:

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