jif.extension

Class JifDeclassifyStmtExt

java.lang.Object

polyglot.ast.Ext_c

jif.ast.JifExt_c

jif.extension.JifStmtExt_c

jif.extension.JifDowngradeStmtExt

jif.extension.JifDeclassifyStmtExt

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, JifExt, JifStmtExt, polyglot.ast.Ext, polyglot.ast.NodeOps, polyglot.util.Copy<polyglot.ast.Ext>

public class JifDeclassifyStmtExt
extends JifDowngradeStmtExt

The Jif extension of the DeclassifyStmt node.

See Also:

DeclassifyStmt, Serialized Form

Nested Class Summary

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

polyglot.util.Copy.Util

Field Summary

Fields inherited from class jif.extension.JifStmtExt_c

stmtDel

Fields inherited from class jif.ast.JifExt_c

toJava, X

Fields inherited from class polyglot.ast.Ext_c

ext, node, pred

Constructor Summary

Constructors

Constructor and Description
JifDeclassifyStmtExt(ToJavaExt toJava)

Method Summary

Modifier and Type	Method and Description
protected void	checkAuthority(LabelChecker lc, JifContext A, Label labelFrom, Label labelTo, polyglot.util.Position pos) Check the authority condition
protected void	checkOneDimenOnly(LabelChecker lc, JifContext A, Label labelFrom, Label labelTo, polyglot.util.Position pos) Check that only the integrity/confidentiality is downgraded, and not the other dimension.
protected void	checkRobustness(LabelChecker lc, JifContext A, Label labelFrom, Label labelTo, polyglot.util.Position pos) Check the robustness condition

Methods inherited from class jif.extension.JifDowngradeStmtExt

bodyContext, checkAdditionalConstraints, checkBody, checkPCconstraint, declassifyConstraintContext, initPathMap, labelCheckStmt

Methods inherited from class jif.extension.JifStmtExt_c

copy, init, labelCheck, stmtDel, stmtDel

Methods inherited from class jif.ast.JifExt_c

checkAndRemoveThrowType, checkThrowTypes, dump, getPathMap, integerBoundsCalculated, toJava, toJava, updatePathMap, X, X

Methods inherited from class polyglot.ast.Ext_c

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, ext, ext, extRewrite, extRewriteEnter, extRewriteOverride, initPred, lang, node, pred, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, superLang, throwTypes, toString, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList

Methods inherited from class java.lang.Object

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

Methods inherited from interface jif.ast.JifExt

integerBoundsCalculated, toJava, toJava, X, X

Methods inherited from interface polyglot.ast.Ext

dump, ext, ext, initPred, node, pred

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

Constructor Detail

JifDeclassifyStmtExt

public JifDeclassifyStmtExt(ToJavaExt toJava)

Method Detail

checkOneDimenOnly

protected void checkOneDimenOnly(LabelChecker lc,
                                 JifContext A,
                                 Label labelFrom,
                                 Label labelTo,
                                 polyglot.util.Position pos)
                          throws polyglot.types.SemanticException

Description copied from class: JifDowngradeStmtExt

Check that only the integrity/confidentiality is downgraded, and not the other dimension.

Specified by:

checkOneDimenOnly in class JifDowngradeStmtExt

Throws:

polyglot.types.SemanticException

checkAuthority

protected void checkAuthority(LabelChecker lc,
                              JifContext A,
                              Label labelFrom,
                              Label labelTo,
                              polyglot.util.Position pos)
                       throws polyglot.types.SemanticException

Description copied from class: JifDowngradeStmtExt

Check the authority condition

Specified by:

checkAuthority in class JifDowngradeStmtExt

Throws:

polyglot.types.SemanticException

checkRobustness

protected void checkRobustness(LabelChecker lc,
                               JifContext A,
                               Label labelFrom,
                               Label labelTo,
                               polyglot.util.Position pos)
                        throws polyglot.types.SemanticException

Description copied from class: JifDowngradeStmtExt

Check the robustness condition

Specified by:

checkRobustness in class JifDowngradeStmtExt

Throws:

polyglot.types.SemanticException