All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class edu.mit.ai.psg.jevaESUI.JevaESUIFrame 

java.lang.Object
   |
   +----java.awt.Component
           |
           +----java.awt.Container
                   |
                   +----java.awt.Window
                           |
                           +----java.awt.Frame
                                   |
                                   +----edu.mit.ai.psg.ui.patches.CloseableFrame
                                           |
                                           +----edu.mit.ai.psg.jevaESUI.JevaESUIFrame
public class JevaESUIFrame
extends CloseableFrame
A window frame for the JevaES User interface

See Also:
JevaESUI

Constructor Index

o JevaESUIFrame()
o JevaESUIFrame(int, String, Class, Class[], IEnv)
for arguments, see method edu.mit.ai.psg.JevaESUI.repl(...)

Constructors

o JevaESUIFrame 
 public JevaESUIFrame(int options,
                      String initialMessage,
                      Class returnClass,
                      Class throwClasses[],
                      IEnv env)
for arguments, see method edu.mit.ai.psg.JevaESUI.repl(...)

See Also:
JevaESUI
o JevaESUIFrame 
 public JevaESUIFrame()

All Packages  Class Hierarchy  This Package  Previous  Next  Index