edu.mit.ai.psg.jevaES
Class JNEMethodInvocationExpression

java.lang.Object
  |
  +--edu.mit.ai.psg.jevaES.SimpleNode
        |
        +--edu.mit.ai.psg.jevaES.JevaNode
              |
              +--edu.mit.ai.psg.jevaES.ExpressionNode
                    |
                    +--edu.mit.ai.psg.jevaES.JNEMethodInvocationExpression

public class JNEMethodInvocationExpression

extends ExpressionNode

Jeva parse node for Method invocation expressions: target.method(args...) [JavaLangSpec 1.0 sec 15.11 Method Invocation Expressions]. Uses type of target expression to determine signature of method to be called. The implementation of this signature may be overridden by subclasses of this type, so the type of the actual target value is also needed.

Author:

CarlManning, caroma@ai.mit.edu
Copyright (c) 1997, 1998 Massachusetts Institute of Technology

Fields inherited from class edu.mit.ai.psg.jevaES.SimpleNode

children, id, parent

Method Summary

boolean	computeIsConstant(IEnv env)
Class	computeType(IEnv env)
Object	eval(IEnv env)
int	getInvocationMode()
Method	getMethodSignature()
IExpressionNode	getTargetExpression()
protected void	initMethodSignature(IEnv env) JevaES does not handle special cases used only in non-static methods: this, super

Methods inherited from class edu.mit.ai.psg.jevaES.ExpressionNode

getType, getValue, isConstant

Methods inherited from class edu.mit.ai.psg.jevaES.JevaNode

getBeginToken, getEndToken, print, print, printToken, printToString, printToString, setBeginToken, setEndToken

Methods inherited from class edu.mit.ai.psg.jevaES.SimpleNode

dump, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtOpen, jjtSetParent, toString, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getMethodSignature

public Method getMethodSignature()

getTargetExpression

public IExpressionNode getTargetExpression()

getInvocationMode

public int getInvocationMode()

computeType

public Class computeType(IEnv env)
                  throws VerifyingException

Overrides:

computeType in class ExpressionNode

computeIsConstant

public boolean computeIsConstant(IEnv env)

Overrides:

computeIsConstant in class ExpressionNode

eval

public Object eval(IEnv env)
            throws ThrowException

Overrides:

eval in class ExpressionNode

initMethodSignature

protected void initMethodSignature(IEnv env)
                            throws VerifyingException

JevaES does not handle special cases used only in non-static methods: this, super