edu.mit.ai.psg.jevaES
Class JNEArrayAccessExpression
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.JNEArrayAccessExpression
- public class JNEArrayAccessExpression
- extends ExpressionNode
- implements IExpressionStoreNode
Jeva parse Node for array[index] Expressions
[JavaLangSpec1.0 sec15.12 Array Access Expressions].
- Author:
- CarlManning, caroma@ai.mit.edu
Copyright (c) 1997, 1998 Massachusetts Institute of Technology
getArrayExpressionNode
public IExpressionNode getArrayExpressionNode()
getIndexExpressionNode
public IExpressionNode getIndexExpressionNode()
computeType
public Class computeType(IEnv env)
throws VerifyingException
- computeType also does "compile time" one-time type checks as well.
[JavaLangSpec1.0 sec10.4 Array Access]
- Overrides:
- computeType in class ExpressionNode
computeIsConstant
public boolean computeIsConstant(IEnv env)
throws VerifyingException
- Overrides:
- computeIsConstant in class ExpressionNode
eval
public Object eval(IEnv env)
throws ThrowException
- Overrides:
- eval in class ExpressionNode
evalToStore
public IStore evalToStore(IEnv env)
throws ThrowException
- Used by assignment. ArrayExpr must be evaluated before indexExpr
[JavaLangSpec1.0 sec15.12 Array Access Expressions]
- Specified by:
- evalToStore in interface IExpressionStoreNode