polyglot.ast

Interface CallOps

All Superinterfaces:

ExprOps, ProcedureCallOps

All Known Implementing Classes:

Call_c, JL5CallExt

public interface CallOps
extends ProcedureCallOps, ExprOps

This interface allows extension delegates both to override and reuse functionality in Call_c.

Method Summary

Methods

Modifier and Type	Method and Description
Type	findContainer(TypeSystem ts, MethodInstance mi) Used to find the missing static target of a static method call.
ReferenceType	findTargetType()
Node	typeCheckNullTarget(TypeChecker tc, java.util.List<Type> argTypes) Typecheck the Call when the target is null.

Methods inherited from interface polyglot.ast.ProcedureCallOps

printArgs

Methods inherited from interface polyglot.ast.ExprOps

constantValue, constantValueSet, isConstant

Method Detail

findContainer

Type findContainer(TypeSystem ts,
                 MethodInstance mi)

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

findTargetType

ReferenceType findTargetType()
                             throws SemanticException

Throws:

SemanticException

typeCheckNullTarget

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

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

Parameters:

argTypes - list of Types of the arguments

Throws:

SemanticException