jif.extension

Class JifDeclassifyExprExt

java.lang.Object

polyglot.ast.Ext_c

jif.ast.JifExt_c

jif.extension.JifExprExt

jif.extension.JifDowngradeExprExt

jif.extension.JifDeclassifyExprExt

All Implemented Interfaces:

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

public class JifDeclassifyExprExt
extends JifDowngradeExprExt

The Jif extension of the DeclassifyExpr node.

See Also:

DeclassifyExpr, 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.ast.JifExt_c

toJava, X

Fields inherited from class polyglot.ast.Ext_c

ext, node, pred

Constructor Summary

Constructors

Constructor and Description
JifDeclassifyExprExt(ToJavaExt toJava)

Method Summary

Modifier and Type	Method and Description
protected static void	checkAuth(LabelChecker lc, JifContext A, Label labelFrom, Label labelTo, polyglot.util.Position pos, boolean isExpr)
protected void	checkAuthority(LabelChecker lc, JifContext A, Label labelFrom, Label labelTo, polyglot.util.Position pos) Check the authority condition
protected static void	checkOneDimen(LabelChecker lc, JifContext A, Label labelFrom, Label labelTo, polyglot.util.Position pos, boolean isExpr)
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 static void	checkRobustDecl(LabelChecker lc, JifContext A, Label labelFrom, Label labelTo, polyglot.util.Position pos, boolean isExpr)
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.JifDowngradeExprExt

checkDowngradeFromBound, declassifyConstraintContext, downgradeExprPathMap, labelCheck, updateContextAfterExpr

Methods inherited from class jif.extension.JifExprExt

getNumericBounds, setNumericBounds

Methods inherited from class jif.ast.JifExt_c

checkAndRemoveThrowType, checkThrowTypes, copy, dump, getPathMap, init, 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 polyglot.ast.Ext

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

JifDeclassifyExprExt

public JifDeclassifyExprExt(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: JifDowngradeExprExt

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

Specified by:

checkOneDimenOnly in class JifDowngradeExprExt

Throws:

polyglot.types.SemanticException

checkOneDimen

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

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: JifDowngradeExprExt

Check the authority condition

Specified by:

checkAuthority in class JifDowngradeExprExt

Throws:

polyglot.types.SemanticException

checkAuth

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

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: JifDowngradeExprExt

Check the robustness condition

Specified by:

checkRobustness in class JifDowngradeExprExt

Throws:

polyglot.types.SemanticException

checkRobustDecl

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

Throws:

polyglot.types.SemanticException