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

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

Enclosing class:

EvalMethods

public static class EvalMethods.EnteredBodyData

extends EvalMethods.BodyData

EvalHook data used for method, constructor, and synchrhronized blocks just after entering body.

Constructor Summary

EvalMethods.EnteredBodyData(Object target, IEnv env)

Methods inherited from class edu.mit.ai.psg.jeva.EvalMethods.BodyData

getTarget

Methods inherited from class edu.mit.ai.psg.jeva.EvalMethods.EvalHookData

getEnv

Methods inherited from class java.lang.Object

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

Constructor Detail

EvalMethods.EnteredBodyData

public EvalMethods.EnteredBodyData(Object target,
                                   IEnv env)