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

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

public static class EvalMethods.AbruptData

extends EvalMethods.EvalHookPostData

EvalHook data with AbruptCompletionException (includes ReturnException, ThrowException, BreakException, ContinueException)

Constructor Summary

EvalMethods.AbruptData(AbruptCompletionException thrown, IEnv env)

Method Summary

AbruptCompletionException

getThrown()

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

public EvalMethods.AbruptData(AbruptCompletionException thrown,
                              IEnv env)

Method Detail

getThrown

public final AbruptCompletionException getThrown()