All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class edu.mit.ai.psg.jevaESUI.JevaESUIPanel 

java.lang.Object
   |
   +----java.awt.Component
           |
           +----java.awt.Container
                   |
                   +----java.awt.Panel
                           |
                           +----edu.mit.ai.psg.jevaESUI.JevaESUIPanel
public class JevaESUIPanel
extends Panel
A window pane for the JevaES User interface

See Also:
JevaESUI

Constructor Index

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

Constructors

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

See Also:
JevaESUI
o JevaESUIPanel 
 public JevaESUIPanel()

All Packages  Class Hierarchy  This Package  Previous  Next  Index