Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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"

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD