JevaES/Jexa Tools 1999.02.28: Class EvalMethods.EvalHookPostData

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

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

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

Direct Known Subclasses:: EvalMethods.AbruptData, EvalMethods.ResultData, EvalMethods.ResultEnvData, EvalMethods.ResultStoreData

Constructor Summary
`EvalMethods.EvalHookPostData(IEnv env)`

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

public EvalMethods.EvalHookPostData(IEnv env)