jif.ast
Interface DowngradeExpr

All Superinterfaces:
java.lang.Cloneable, polyglot.util.Copy, 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 Subinterfaces:
DeclassifyExpr, EndorseExpr
All Known Implementing Classes:
DeclassifyExpr_c, DowngradeExpr_c, EndorseExpr_c

public interface DowngradeExpr
extends polyglot.ast.Expr

Superinterface for downgrade expressions.


Field Summary
 
Fields inherited from interface polyglot.ast.Term
ENTRY, EXIT
 
Method Summary
 LabelNode bound()
           
 DowngradeExpr bound(LabelNode label)
           
 java.lang.String downgradeKind()
           
 polyglot.ast.Expr expr()
           
 DowngradeExpr expr(polyglot.ast.Expr expr)
           
 LabelNode label()
           
 DowngradeExpr label(LabelNode 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
copy
 
Methods inherited from interface polyglot.ast.Typed
type
 
Methods inherited from interface polyglot.ast.Term
acceptCFG, exceptions, exceptions, firstChild, reachable, reachable
 

Method Detail

label

LabelNode label()

label

DowngradeExpr label(LabelNode label)

expr

polyglot.ast.Expr expr()

expr

DowngradeExpr expr(polyglot.ast.Expr expr)

bound

LabelNode bound()

bound

DowngradeExpr bound(LabelNode label)

downgradeKind

java.lang.String downgradeKind()
Returns:
Name of the kind of downgrade, e.g. "declassify" or "endorse"