polyglot.ext.jl5.ast

Class JL5CallExt

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.JL5CallExt

All Implemented Interfaces:

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

public class JL5CallExt
extends JL5ProcedureCallExt
implements CallOps

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
JL5CallExt()
JL5CallExt(java.util.List<TypeNode> typeArgs)

Method Summary

Methods

Modifier and Type	Method and Description
protected Type	computeReturnType(JL5MethodInstance mi)
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	expectedReturnType()
Type	findContainer(TypeSystem ts, MethodInstance mi) Used to find the missing static target of a static method call.
ReferenceType	findTargetType()
boolean	isConstant(Lang lang) Return whether the expression evaluates to a constant.
Call	node() The node we ultimately extend.
void	prettyPrint(CodeWriter w, PrettyPrinter tr) Pretty-print the AST using the given CodeWriter.
protected void	setExpectedReturnType(Type type)
Node	typeCheck(TypeChecker tc) Type check the AST.
Node	typeCheckNullTarget(TypeChecker tc, java.util.List<Type> argTypes) Typecheck the Call when the target is null.
Node	typeCheckOverride(Node parent, TypeChecker tc) Type check the AST.

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, disambiguateOverride, 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, 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

JL5CallExt

public JL5CallExt()

JL5CallExt

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

Method Detail

node

public Call node()

Description copied from interface: Ext

The node we ultimately extend.

Specified by:

node in interface Ext

Overrides:

node in class JL5ProcedureCallExt

expectedReturnType

protected Type expectedReturnType()

setExpectedReturnType

protected void setExpectedReturnType(Type type)

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

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

computeReturnType

protected Type computeReturnType(JL5MethodInstance mi)
                          throws SemanticException

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.

findContainer

public Type findContainer(TypeSystem ts,
                 MethodInstance mi)

Description copied from interface: CallOps

Used to find the missing static target of a static method call. Should return the container of the method instance.

Specified by:

findContainer in interface CallOps

findTargetType

public ReferenceType findTargetType()
                             throws SemanticException

Specified by:

findTargetType in interface CallOps

Throws:

SemanticException

typeCheckNullTarget

public Node typeCheckNullTarget(TypeChecker tc,
                       java.util.List<Type> argTypes)
                         throws SemanticException

Description copied from interface: CallOps

Typecheck the Call when the target is null. This method finds an appropriate target, and then type checks accordingly.

Specified by:

typeCheckNullTarget in interface CallOps

argTypes - list of Types of the arguments

Throws:

SemanticException

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