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

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

Enclosing class:

EvalMethods

public static class EvalMethods.ResultStoreData

extends EvalMethods.EvalHookPostData

EvalHook data with expression store target for assignment

Constructor Summary

EvalMethods.ResultStoreData(IStore resultStore, IEnv env)

Method Summary

IStore

getStore()

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

public EvalMethods.ResultStoreData(IStore resultStore,
                                   IEnv env)

Method Detail

getStore

public final IStore getStore()