|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Object
|
+--java.awt.Component
|
+--java.awt.Container
|
+--java.awt.Panel
|
+--java.applet.Applet
|
+--edu.mit.ai.psg.jevaUI.JevaGUI
JevaGUI is a graphical (windowed) user interface for the Jeva Java evaluator for expression & statements. JevaGUI can be used as
JevaUI, Serialized Form| Field Summary | |
static PrintWriter |
err
PrintWriter stream for printing errors to result pane. |
static PrintWriter |
out
PrintWriter stream for printing to result pane. |
static PrintStream |
systemErr
Saved system.err present when loaded |
static PrintStream |
systemOut
Saved system.out present when loaded |
| Fields inherited from class java.awt.Component |
BOTTOM_ALIGNMENT,
CENTER_ALIGNMENT,
LEFT_ALIGNMENT,
RIGHT_ALIGNMENT,
TOP_ALIGNMENT |
| Constructor Summary | |
JevaGUI()
|
|
| Method Summary | |
void |
actionPerformed(ActionEvent e)
Start up window frame when applet button is pushed. |
static Object |
awaitResult(Container container)
Wait for a JevaGUIFrame or JevaGUIPanel to return a value. |
void |
init()
Applet startup: Starts a window at which users can type top level expressions. |
static void |
main(String[] arguments)
Application Startup: Starts a window at which users can type top level expressions. |
static Object |
repl()
Read-Eval-Print-Loop: creates a new window in which user may type java expressions and statements, including return to return a value. |
static Object |
repl(int options,
String title,
String initialMessage,
Class returnClass,
Class[] throwClasses,
IEnv env)
Read-Eval-Print-Loop: creates a new window in which user may type java expressions and statements, including return to return a value. |
static void |
replTop()
Top read-eval-print-loop: creates a new window in which user may type java expressions and statements. |
static void |
replTop(int options,
String title)
|
| Methods inherited from class java.applet.Applet |
destroy,
getAppletContext,
getAppletInfo,
getAudioClip,
getAudioClip,
getCodeBase,
getDocumentBase,
getImage,
getImage,
getLocale,
getParameter,
getParameterInfo,
isActive,
newAudioClip,
play,
play,
resize,
resize,
setStub,
showStatus,
start,
stop |
| Methods inherited from class java.awt.Panel |
addNotify |
| Methods inherited from class java.awt.Container |
add,
add,
add,
add,
add,
addContainerListener,
addImpl,
countComponents,
deliverEvent,
doLayout,
findComponentAt,
findComponentAt,
getAlignmentX,
getAlignmentY,
getComponent,
getComponentAt,
getComponentAt,
getComponentCount,
getComponents,
getInsets,
getLayout,
getMaximumSize,
getMinimumSize,
getPreferredSize,
insets,
invalidate,
isAncestorOf,
layout,
list,
list,
locate,
minimumSize,
paint,
paintComponents,
paramString,
preferredSize,
print,
printComponents,
processContainerEvent,
processEvent,
remove,
remove,
removeAll,
removeContainerListener,
removeNotify,
setFont,
setLayout,
update,
validate,
validateTree |
| Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
| Field Detail |
public static PrintWriter out
public static PrintWriter err
public static PrintStream systemOut
public static PrintStream systemErr
| Constructor Detail |
public JevaGUI()
| Method Detail |
public static void main(String[] arguments)
public void init()
public void actionPerformed(ActionEvent e)
public static void replTop()
public static void replTop(int options,
String title)
public static Object repl()
throws Throwable,
AWTException
public static Object repl(int options,
String title,
String initialMessage,
Class returnClass,
Class[] throwClasses,
IEnv env)
throws Throwable,
AWTException
options - Option flag bits or'ed together; 0 is default. Applets
require JevaUI.isSuppressingSystemOutAndErrRedirectionBit and
Jeva.isSuppressingPackageNameChecksBit due to security sandbox,title - Non-null text replaces window title; helps identify
window if initialMessage has scrolled away.initialMessage - Non-null text replaces herald; if called from a
breakpoint, a good practice is to show user contents of env.returnClass - user may only return a value of this class
(like method return type); Object.class allows anything.
Use void.class for void result.
If null, never returns (like a top level loop).throwClasses - user may only throw Throwables which are instances
of these classes, or instances of Error or RuntimeException
(like method throw declarations).
If null, defaults to no declarations.env - initial environment created with Jeva.makeDefaultEnv,
Jeva.extendEnv(), or Jeva.parseEval..Statement
If null, defaults to Jeva.makeDefaultEnv() .
public static Object awaitResult(Container container)
throws Throwable,
AWTException
container - must be JevaGUIFrame or JevaGUIPanel
|
Copyright (c) 1996-1999 Massachusetts Institute of Technology Feedback: jeva-bugs@ai.mit.edu |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||