jif.extension

Class JifNewExt

java.lang.Object

polyglot.ast.Ext_c

jif.ast.JifExt_c

jif.extension.JifExprExt

jif.extension.JifNewExt

All Implemented Interfaces:

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

public class JifNewExt
extends JifExprExt

The Jif extension of the New node.

See Also:

New, Serialized Form

Nested Class Summary

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

polyglot.util.Copy.Util

Field Summary

Fields

Modifier and Type	Field and Description
protected ConstructorChecker	constructorChecker
protected CallHelper	helper Squirreling this away here because we need to reuse it in the extended Fabric Checking.

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

Method Summary

Modifier and Type	Method and Description
polyglot.ast.Node	labelCheck(LabelChecker lc) Label check the node to which this extension is attached.
polyglot.ast.New	node()
java.util.List<polyglot.types.Type>	throwTypes(polyglot.types.TypeSystem ts)
polyglot.ast.Node	typeCheck(polyglot.visit.TypeChecker tc)
polyglot.visit.NodeVisitor	typeCheckEnter(polyglot.visit.TypeChecker tc)
protected void	updateContextPostTarget(LabelChecker lc, JifContext A, PathMap Xtarg) Utility method for updating the context after checking the target.
protected void	updateContextPostTargetExpr(LabelChecker lc, JifContext A, PathMap Xtarg) Utility method for updating the context after checking the target and it is an expression (not a Special node).

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, pred, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, superLang, toString, translate, 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, 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, translate, typeCheckOverride, visitChild, visitChildren, visitList

Field Detail

constructorChecker

protected ConstructorChecker constructorChecker

helper

protected CallHelper helper

Squirreling this away here because we need to reuse it in the extended Fabric Checking.

Constructor Detail

JifNewExt

public JifNewExt(ToJavaExt toJava)

Method Detail

node

public polyglot.ast.New node()

Specified by:

node in interface polyglot.ast.Ext

Overrides:

node in class polyglot.ast.Ext_c

typeCheckEnter

public polyglot.visit.NodeVisitor typeCheckEnter(polyglot.visit.TypeChecker tc)
                                          throws polyglot.types.SemanticException

Specified by:

typeCheckEnter in interface polyglot.ast.NodeOps

Overrides:

typeCheckEnter in class polyglot.ast.Ext_c

Throws:

polyglot.types.SemanticException

typeCheck

public polyglot.ast.Node typeCheck(polyglot.visit.TypeChecker tc)
                            throws polyglot.types.SemanticException

Specified by:

typeCheck in interface polyglot.ast.NodeOps

Overrides:

typeCheck in class polyglot.ast.Ext_c

Throws:

polyglot.types.SemanticException

throwTypes

public java.util.List<polyglot.types.Type> throwTypes(polyglot.types.TypeSystem ts)

Specified by:

throwTypes in interface polyglot.ast.NodeOps

Overrides:

throwTypes in class polyglot.ast.Ext_c

labelCheck

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

Description copied from interface: JifExt

Label check the node to which this extension is attached.

Specified by:

labelCheck in interface JifExt

Overrides:

labelCheck in class JifExt_c

Throws:

polyglot.types.SemanticException

updateContextPostTarget

protected void updateContextPostTarget(LabelChecker lc,
                                       JifContext A,
                                       PathMap Xtarg)

Utility method for updating the context after checking the target. Useful for overriding in projects like fabric.

updateContextPostTargetExpr

protected void updateContextPostTargetExpr(LabelChecker lc,
                                           JifContext A,
                                           PathMap Xtarg)

Utility method for updating the context after checking the target and it is an expression (not a Special node). Useful for overriding in projects like fabric.