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

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

Enclosing class:

EvalMethods

public static class EvalMethods.ExittingBodyAbruptlyData

extends EvalMethods.ExittingBodyData

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

Constructor Summary

EvalMethods.ExittingBodyAbruptlyData(Object target, AbruptCompletionException thrown, IEnv env)

Method Summary

AbruptCompletionException

getThrown()

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

public EvalMethods.ExittingBodyAbruptlyData(Object target,
                                            AbruptCompletionException thrown,
                                            IEnv env)

Method Detail

getThrown

public final AbruptCompletionException getThrown()