jif.ast
Class DeclassifyStmt_c

java.lang.Object
  polyglot.ast.Node_c
      polyglot.ast.Term_c
          polyglot.ast.Stmt_c
              jif.ast.DowngradeStmt_c
                  jif.ast.DeclassifyStmt_c

All Implemented Interfaces:

java.lang.Cloneable, DeclassifyStmt, DowngradeStmt, polyglot.ast.CompoundStmt, polyglot.ast.JL, polyglot.ast.Node, polyglot.ast.NodeOps, polyglot.ast.Stmt, polyglot.ast.Term, polyglot.util.Copy

public class DeclassifyStmt_c
extends DowngradeStmt_c
implements DeclassifyStmt

An implementation of the DeclassifyStmt interface.

Field Summary

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

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

Method Summary

java.lang.String

downgradeKind()

Methods inherited from class jif.ast.DowngradeStmt_c

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

Methods inherited from class polyglot.ast.Term_c

exceptionCheck, exceptions, exceptions, listChild, reachable, reachable

Methods inherited from class polyglot.ast.Node_c

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, enterChildScope, enterScope, error, error, exceptionCheckEnter, ext, ext, ext, ext, init, isDisambiguated, isTypeChecked, node, position, position, 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

acceptCFG, exceptions, exceptions, firstChild, reachable, reachable

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

Constructor Detail

DeclassifyStmt_c

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

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"