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

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

Direct Known Subclasses:

EvalMethods.ExittingBodyAbruptlyData

Enclosing class:

EvalMethods

public static class EvalMethods.ExittingBodyData

extends EvalMethods.BodyData

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

Constructor Summary

EvalMethods.ExittingBodyData(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.ExittingBodyData

public EvalMethods.ExittingBodyData(Object target,
                                    IEnv env)