edu.mit.ai.psg.jevaES
Class JNEArguments

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

public class JNEArguments

extends JevaNode

JNEArguments: parse node for arguments for method call or constructor call. Eval arguments left to right [JavaLangSpec1.0 sec 15.6.4]

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

children, id, parent

Method Summary

boolean	computeIsConstant(IEnv env)
Object[]	evalArguments(IEnv env) Eval arguments left to right [JavaLangSpec1.0 sec 15.6.4]
Class[]	getTypes(IEnv env)

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

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

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

getTypes

public Class[] getTypes(IEnv env)
                 throws VerifyingException

computeIsConstant

public boolean computeIsConstant(IEnv env)
                          throws VerifyingException

evalArguments

public Object[] evalArguments(IEnv env)
                       throws ThrowException

Eval arguments left to right [JavaLangSpec1.0 sec 15.6.4]