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.

See Also:

JevaGUI, JevaCLI

Field Summary

protected static String	jevaUIResourceName
static int	leftmostOptionBit
static Class[]	NoThrowsDeclarations default empty array argument for repl(...
static Class[]	ThrowsThrowableDeclaration default {Throwable} argument for replTop

Constructor Summary

JevaUI()

Method Summary

static String	defaultHerald()
static String	defaultTitle()
protected static String	formatWithJevaUIBundleString(String resourceKey, Object obj)
protected static String	getJevaUIBundleString(String key)

Methods inherited from class java.lang.Object

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

Field Detail

NoThrowsDeclarations

public static final Class[] NoThrowsDeclarations

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

ThrowsThrowableDeclaration

public static final Class[] ThrowsThrowableDeclaration

default {Throwable} argument for replTop

leftmostOptionBit

public static final int leftmostOptionBit

jevaUIResourceName

protected static final String jevaUIResourceName

Constructor Detail

JevaUI

public JevaUI()

Method Detail

defaultTitle

public static String defaultTitle()

defaultHerald

public static String defaultHerald()

getJevaUIBundleString

protected static String getJevaUIBundleString(String key)

formatWithJevaUIBundleString

protected static String formatWithJevaUIBundleString(String resourceKey,
                                                     Object obj)