polyglot.ext.jl7.ast

Class JL7NewExt

java.lang.Object

polyglot.ast.Ext_c

polyglot.ext.jl7.ast.JL7Ext

polyglot.ext.jl7.ast.JL7ProcedureCallExt

polyglot.ext.jl7.ast.JL7NewExt

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, ExprOps, Ext, NewOps, NodeOps, ProcedureCallOps, Copy<Ext>

public class JL7NewExt
extends JL7ProcedureCallExt
implements NewOps

See Also:

Serialized Form

Nested Class Summary

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

Copy.Util

Field Summary

Fields inherited from class polyglot.ast.Ext_c

ext, node, pred

Constructor Summary

Constructors

Constructor and Description
JL7NewExt()

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.Object	constantValue(Lang lang) Return the constant value of the expression, if any.
boolean	constantValueSet(Lang lang) Return true iff the compiler has determined whether this expression has a constant value.
protected Type	expectedObjectType()
ClassType	findEnclosingClass(Context c, ClassType ct)
TypeNode	findQualifiedTypeNode(AmbiguityRemover ar, ClassType outer, TypeNode objectType)
Expr	findQualifier(AmbiguityRemover ar, ClassType ct)
boolean	isConstant(Lang lang) Return whether the expression evaluates to a constant.
New	node() The node we ultimately extend.
void	printBody(CodeWriter w, PrettyPrinter tr)
void	printQualifier(CodeWriter w, PrettyPrinter tr)
void	printShortObjectType(CodeWriter w, PrettyPrinter tr)
protected void	setExpectedObjectType(Type type)
Node	typeCheck(TypeChecker tc) Type check the AST.
void	typeCheckFlags(TypeChecker tc)
void	typeCheckNested(TypeChecker tc)
Node	typeCheckOverride(Node parent, TypeChecker tc) Type check the AST.

Methods inherited from class polyglot.ext.jl7.ast.JL7ProcedureCallExt

printArgs

Methods inherited from class polyglot.ext.jl7.ast.JL7Ext

ext, lang

Methods inherited from class polyglot.ast.Ext_c

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, ext, ext, extRewrite, extRewriteEnter, init, initPred, pred, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, superLang, throwTypes, toString, translate, typeCheckEnter, 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.ProcedureCallOps

printArgs

Constructor Detail

JL7NewExt

public JL7NewExt()

Method Detail

node

public New node()

Description copied from interface: Ext

The node we ultimately extend.

Specified by:

node in interface Ext

Overrides:

node in class JL7ProcedureCallExt

typeCheckOverride

public Node typeCheckOverride(Node parent,
                     TypeChecker tc)
                       throws SemanticException

Description copied from interface: NodeOps

Type check the AST. This method is called by the override() method of the visitor. If this method returns non-null, the node's children will not be visited automatically. Thus, the method should check both the node this and it's children, usually by invoking visitChildren with tc or with another visitor, returning a non-null node. OR, the method should do nothing and simply return null to allow enter, visitChildren, and leave to be invoked on the node. The default implementation returns null. Overriding of this method is discouraged, but sometimes necessary.

Specified by:

typeCheckOverride in interface NodeOps

Overrides:

typeCheckOverride in class Ext_c

tc - The type checking visitor.

Throws:

SemanticException

expectedObjectType

protected Type expectedObjectType()

setExpectedObjectType

protected void setExpectedObjectType(Type type)

typeCheck

public Node typeCheck(TypeChecker tc)
               throws SemanticException

Description copied from interface: NodeOps

Type check the AST. This method is called by the leave() method of the visitor. The method should perform work that should be done after visiting the children of the node. The method may return this or a new copy of the node which will be installed as a child of the node's parent.

Specified by:

typeCheck in interface NodeOps

Overrides:

typeCheck in class Ext_c

Parameters:

tc - The type checking visitor.

Throws:

SemanticException

findQualifiedTypeNode

public TypeNode findQualifiedTypeNode(AmbiguityRemover ar,
                             ClassType outer,
                             TypeNode objectType)
                               throws SemanticException

Specified by:

findQualifiedTypeNode in interface NewOps

Throws:

SemanticException

findQualifier

public Expr findQualifier(AmbiguityRemover ar,
                 ClassType ct)
                   throws SemanticException

Specified by:

findQualifier in interface NewOps

Throws:

SemanticException

findEnclosingClass

public ClassType findEnclosingClass(Context c,
                           ClassType ct)

Specified by:

findEnclosingClass in interface NewOps

typeCheckFlags

public void typeCheckFlags(TypeChecker tc)
                    throws SemanticException

Specified by:

typeCheckFlags in interface NewOps

Throws:

SemanticException

typeCheckNested

public void typeCheckNested(TypeChecker tc)
                     throws SemanticException

Specified by:

typeCheckNested in interface NewOps

Throws:

SemanticException

printQualifier

public void printQualifier(CodeWriter w,
                  PrettyPrinter tr)

Specified by:

printQualifier in interface NewOps

printShortObjectType

public void printShortObjectType(CodeWriter w,
                        PrettyPrinter tr)

Specified by:

printShortObjectType in interface NewOps

printBody

public void printBody(CodeWriter w,
             PrettyPrinter tr)

Specified by:

printBody in interface NewOps

constantValueSet

public boolean constantValueSet(Lang lang)

Description copied from interface: ExprOps

Return true iff the compiler has determined whether this expression has a constant value. The value returned by isConstant() is valid only if constantValueSet() is true.

Specified by:

constantValueSet in interface ExprOps

isConstant

public boolean isConstant(Lang lang)

Description copied from interface: ExprOps

Return whether the expression evaluates to a constant. Requires that disambiguation has been done, and that constantValueSet() is true.

Specified by:

isConstant in interface ExprOps

constantValue

public java.lang.Object constantValue(Lang lang)

Description copied from interface: ExprOps

Return the constant value of the expression, if any. Requires that isConstant() is true.

Specified by:

constantValue in interface ExprOps