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.

See Also:

JevaESGUI, JevaESCLI

Field Summary

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

Constructor Summary

JevaESUI()

Method Summary

static String	defaultHerald()
static String	defaultTitle()
protected static String	formatWithJevaESUIBundleString(String resourceKey, Object obj)
protected static String	getJevaESUIBundleString(String resourceKey)

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(... throwClasses)

ThrowsThrowableDeclaration

public static final Class[] ThrowsThrowableDeclaration

default {Throwable} argument for replTop

leftmostOptionBit

public static final int leftmostOptionBit

jevaESUIResourceName

protected static final String jevaESUIResourceName

Constructor Detail

JevaESUI

public JevaESUI()

Method Detail

defaultTitle

public static String defaultTitle()

defaultHerald

public static String defaultHerald()

getJevaESUIBundleString

protected static String getJevaESUIBundleString(String resourceKey)

formatWithJevaESUIBundleString

protected static String formatWithJevaESUIBundleString(String resourceKey,
                                                       Object obj)