polyglot.ext.jl5.ast

Class JL5NewExt

java.lang.Object

polyglot.ast.Ext_c

polyglot.ext.jl5.ast.JL5Ext

polyglot.ext.jl5.ast.JL5TermExt

polyglot.ext.jl5.ast.JL5ProcedureCallExt

polyglot.ext.jl5.ast.JL5NewExt

All Implemented Interfaces:

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

public class JL5NewExt
extends JL5ProcedureCallExt
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.ext.jl5.ast.JL5ProcedureCallExt

typeArgs

Fields inherited from class polyglot.ast.Ext_c

ext, node, pred

Constructor Summary

Constructors

Constructor and Description
JL5NewExt()
JL5NewExt(java.util.List<TypeNode> typeArgs)

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.
Node	disambiguateOverride(Node parent, AmbiguityRemover ar) Disambiguate the AST.
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	prettyPrint(CodeWriter w, PrettyPrinter tr) Pretty-print the AST using the given CodeWriter.
void	printBody(CodeWriter w, PrettyPrinter tr)
void	printQualifier(CodeWriter w, PrettyPrinter tr)
void	printShortObjectType(CodeWriter w, PrettyPrinter tr)
Node	typeCheck(TypeChecker tc) Type check the AST.
void	typeCheckFlags(TypeChecker tc)
void	typeCheckNested(TypeChecker tc)

Methods inherited from class polyglot.ext.jl5.ast.JL5ProcedureCallExt

actualTypeArgs, printArgs, typeArgs, typeArgs, typeArgs, visitChildren

Methods inherited from class polyglot.ext.jl5.ast.JL5TermExt

acceptCFG, firstChild

Methods inherited from class polyglot.ext.jl5.ast.JL5Ext

ext, lang, translate

Methods inherited from class polyglot.ast.Ext_c

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

JL5NewExt

public JL5NewExt()

JL5NewExt

public JL5NewExt(java.util.List<TypeNode> typeArgs)

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 JL5ProcedureCallExt

disambiguateOverride

public Node disambiguateOverride(Node parent,
                        AmbiguityRemover ar)
                          throws SemanticException

Description copied from interface: NodeOps

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

disambiguateOverride in interface NodeOps

Overrides:

disambiguateOverride in class Ext_c

ar - The visitor which disambiguates.

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

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

prettyPrint

public void prettyPrint(CodeWriter w,
               PrettyPrinter tr)

Description copied from interface: NodeOps

Pretty-print the AST using the given CodeWriter.

Specified by:

prettyPrint in interface NodeOps

Overrides:

prettyPrint in class JL5ProcedureCallExt

Parameters:

w - The code writer to which to write.

tr - The pretty printer. This is not a visitor.

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