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

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

Enclosing class:

EvalMethods

public static class EvalMethods.ResultEnvData

extends EvalMethods.EvalHookPostData

EvalHook data with statement result environment

Constructor Summary

EvalMethods.ResultEnvData(IEnv resultEnv, IEnv priorEnv)

Method Summary

Object

getResultEnv()

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

public EvalMethods.ResultEnvData(IEnv resultEnv,
                                 IEnv priorEnv)

Method Detail

getResultEnv

public final Object getResultEnv()