edu.mit.ai.psg.jevaESUI
Class JevaESUI

java.lang.Object
  |
  +--edu.mit.ai.psg.jevaESUI.JevaESUI

public class JevaESUI

extends Object

JevaESUI holds fields and methods (mostly internal) shared among user interfaces for the JevaES Java evaluator for expressions & statements.

Author:

CarlManning, caroma@ai.mit.edu
Copyright (c) 1997, 1998, 1999 Massachusetts Institute of Technology

See Also:

JevaESGUI, JevaESCLI

Field Summary

static int	isSuppressingSystemOutAndErrRedirectionBit option bits |'ed together into a 32 bit int.
static int	leftmostOptionBit
static Class[]	NoThrowDeclarations default empty array argument for repl(...
static Vector	results Vector of result values from expressions typed at the window

Constructor Summary

JevaESUI()

Method Summary

static String	defaultHerald()
static String	defaultTitle()
static boolean	isSuppressingSystemOutAndErrRedirection(int options)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

results

public static Vector results

Vector of result values from expressions typed at the window

NoThrowDeclarations

public static final Class[] NoThrowDeclarations

default empty array argument for repl(... throwClasses)

isSuppressingSystemOutAndErrRedirectionBit

public static final int isSuppressingSystemOutAndErrRedirectionBit

option bits |'ed together into a 32 bit int. 0 is default for each option. See JevaES for additional options (JevaES options used only if no env is supplied.) Applets in security sandbox should use isSuppressingSystemOutAndErrRedirectionBit

leftmostOptionBit

public static final int leftmostOptionBit

Constructor Detail

JevaESUI

public JevaESUI()

Method Detail

isSuppressingSystemOutAndErrRedirection

public static boolean isSuppressingSystemOutAndErrRedirection(int options)

defaultTitle

public static String defaultTitle()

defaultHerald

public static String defaultHerald()