edu.mit.ai.psg.jeva
Class EvalMethods.EvalHookData

java.lang.Object
  |
  +--edu.mit.ai.psg.jeva.EvalMethods.EvalHookData

Direct Known Subclasses:

EvalMethods.BodyData, EvalMethods.EvalHookPostData, EvalMethods.EvalHookPreData, EvalMethods.PreApplyData

Enclosing class:

EvalMethods

public abstract static class EvalMethods.EvalHookData

extends Object

EvalHook is passed instance of EvalHookData:

.     EvalHookData (abstract)
.       EvalHookPreData (abstract)
.         PreEvalData (before evaluating expressions and statements)
.         PreEvalToStoreData (before evalToStore of expr target for assignment)
.       PreApplyData (after evaluating subexpressions, before invoking)
.       EvalHookPostData (abstract)
.         ResultData (result of expression)
.         ResultStoreData (result of evalToStore of expr target for assignment)
.         ResultEnvData (result of statement)
.         AbruptData (abrupt completion:  return, throw, break, continue)

Constructor Summary

EvalMethods.EvalHookData(IEnv env)

Method Summary

IEnv

getEnv()

Methods inherited from class java.lang.Object

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

Constructor Detail

EvalMethods.EvalHookData

public EvalMethods.EvalHookData(IEnv env)

Method Detail

getEnv

public final IEnv getEnv()