jif.extension

Class JifFieldAssignExt

java.lang.Object

polyglot.ast.Ext_c

jif.ast.JifExt_c

jif.extension.JifExprExt

jif.extension.JifAssignExt

jif.extension.JifFieldAssignExt

All Implemented Interfaces:

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

public class JifFieldAssignExt
extends JifAssignExt

The Jif extension of the LocalAssign node.

See Also:

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
JifFieldAssignExt(ToJavaExt toJava)

Method Summary

Modifier and Type	Method and Description
polyglot.ast.Node	labelCheckLHS(LabelChecker lc)
protected PathMap	rhsPathMap(LabelChecker lc, polyglot.ast.Expr rhs, java.util.List<polyglot.types.Type> throwTypes)
protected void	updateContextForRHS(LabelChecker lc, JifContext A, PathMap Xleft) Utility method for updating the context for checking the RHS.

Methods inherited from class jif.extension.JifAssignExt

labelCheck

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

JifFieldAssignExt

public JifFieldAssignExt(ToJavaExt toJava)

Method Detail

labelCheckLHS

public polyglot.ast.Node labelCheckLHS(LabelChecker lc)
                                throws polyglot.types.SemanticException

Specified by:

labelCheckLHS in class JifAssignExt

Throws:

polyglot.types.SemanticException

updateContextForRHS

protected void updateContextForRHS(LabelChecker lc,
                                   JifContext A,
                                   PathMap Xleft)

Utility method for updating the context for checking the RHS. Useful for overriding in projects like Fabric.

rhsPathMap

protected PathMap rhsPathMap(LabelChecker lc,
                             polyglot.ast.Expr rhs,
                             java.util.List<polyglot.types.Type> throwTypes)