edu.mit.ai.psg.jevaUI
Class JevaUI

java.lang.Object
  |
  +--edu.mit.ai.psg.jevaUI.JevaUI

public class JevaUI

extends Object

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

Author:

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

See Also:

JevaGUI, JevaCLI

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

JevaUI()

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 Jeva for additional options (Jeva options used only if no env is supplied.) Applets in security sandbox should use isSuppressingSystemOutAndErrRedirectionBit

leftmostOptionBit

public static final int leftmostOptionBit

Constructor Detail

JevaUI

public JevaUI()

Method Detail

isSuppressingSystemOutAndErrRedirection

public static boolean isSuppressingSystemOutAndErrRedirection(int options)

defaultTitle

public static String defaultTitle()

defaultHerald

public static String defaultHerald()