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

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

Direct Known Subclasses:

EvalMethods.EnteredBodyData, EvalMethods.ExittingBodyData

Enclosing class:

EvalMethods

public abstract static class EvalMethods.BodyData

extends EvalMethods.EvalHookData

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

Constructor Summary

EvalMethods.BodyData(Object target, IEnv env)

Method Summary

Object

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.BodyData

public EvalMethods.BodyData(Object target,
                            IEnv env)

Method Detail

getTarget

public final Object getTarget()