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

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

Enclosing class:

EvalMethods

public static class EvalMethods.ResultData

extends EvalMethods.EvalHookPostData

EvalHook data with expression result value

Constructor Summary

EvalMethods.ResultData(Object result, IEnv env)

Method Summary

Object

getResult()

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

public EvalMethods.ResultData(Object result,
                              IEnv env)

Method Detail

getResult

public final Object getResult()