edu.utep.cs.jet.gui
Class Preference

java.lang.Object
  edu.utep.cs.jet.gui.Preference

All Implemented Interfaces:

Constants

Direct Known Subclasses:

Preference, Preference

public abstract class Preference
extends Object
implements Constants

Field Summary

protected static Preferences

userPrefs The user preference node for the package edu.utep.cs.et.gui.

Fields inherited from interface edu.utep.cs.jet.gui.Constants

CLASS_EXTENSION, COLOR_EXPLORER, COLOR_OUTPUT, COPYRIGHT, DEBUG, DIVIDER_SIZE, EDIT_MENU_NAME, EXPLORER_DIR, EXPLORER_ROOT, FILE_MENU_NAME, HELP_MENU_NAME, ICON_ABOUT, ICON_ABSTRACT_CLASS, ICON_BROWSER, ICON_CLASS, ICON_CLASS_DISABLED, ICON_DELETE, ICON_ERROR, ICON_FILE, ICON_FOLDER, ICON_GEN_APP, ICON_HOME, ICON_INFORM, ICON_INTERFACE, ICON_JAVA_FILE, ICON_JML_LOGO, ICON_METHOD, ICON_METHOD_GREEN, ICON_METHOD_ORANGE, ICON_METHOD_RED, ICON_MINER, ICON_NEW, ICON_NEWTESTSUITE, ICON_NOTE, ICON_OPEN, ICON_OUTPUT, ICON_PREFERENCES, ICON_QUESTION, ICON_REDO, ICON_SAVE_AS, ICON_TEST_FILE, ICON_UNDO, ICON_UNKOWN, ICON_WARN, JAVA, JAVA_EXTENSION, JAVAC, JUNIT_SWINGGUI_TESTRUNNER, NEWLINE, OPTION_MENU_NAME, TEST_MENU_NAME, TITLE, TOOL_MENU_NAME, VERSION, WEB_PAGE_LOCATION, WEB_PAGE_NAME, WINDOW_HEIGHT, WINDOW_MIN_HEIGHT, WINDOW_MIN_WIDTH, WINDOW_WIDTH

Constructor Summary

Preference()

Method Summary

static String	getBackground() Returns the background user image
static String	getBanner() Returns the user selected banner
static String	getClasspath() Returns the classpath.
static String	getJava() Returns the Java interpreter.
static String	getJavaCompiler() Returns the Java compiler.
static String	getRawClasspath() Returns the raw classpath.
static String	getRoot() Returns the explorer root directory.
static String	getTheme() Returns the user selected theme
protected static int	parseInt(String text, String defaultValue) Parses the given string for an integer value.
protected static int	parseNonNegativeInt(String text, String defaultValue) Parses the given string for a non-negative integer value.
protected static int	parsePositiveInt(String text, String defaultValue) Parses the given string for a positive integer value.
static void	setBackground(String newBackground) Sets the background user image
static void	setBanner(String newBanner) Sets the user selected banner
static void	setJava(String java) Sets the Java interpreter.
static void	setJavaCompiler(String javac) Sets the Java compiler.
static void	setRawClasspath(String path) Sets the raw classpath.
static void	setRoot(String newRoot) Sets the explorer root directory.
static void	setTheme(String newTheme) Sets the user theme

Methods inherited from class java.lang.Object

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

Field Detail

userPrefs

protected static final Preferences userPrefs

The user preference node for the package edu.utep.cs.et.gui.

Constructor Detail

Preference

public Preference()

Method Detail

getRoot

public static String getRoot()

Returns the explorer root directory.

setRoot

public static void setRoot(String newRoot)

Sets the explorer root directory.

getBackground

public static String getBackground()

Returns the background user image

setBackground

public static void setBackground(String newBackground)

Sets the background user image

getBanner

public static String getBanner()

Returns the user selected banner

setBanner

public static void setBanner(String newBanner)

Sets the user selected banner

getTheme

public static String getTheme()

Returns the user selected theme

setTheme

public static void setTheme(String newTheme)

Sets the user theme

getJavaCompiler

public static String getJavaCompiler()

Returns the Java compiler.

setJavaCompiler

public static void setJavaCompiler(String javac)

Sets the Java compiler.

getJava

public static String getJava()

Returns the Java interpreter.

setJava

public static void setJava(String java)

Sets the Java interpreter.

getRawClasspath

public static String getRawClasspath()

Returns the raw classpath. A raw class path may have "%SYSTEM%" in it.

getClasspath

public static String getClasspath()

Returns the classpath.

setRawClasspath

public static void setRawClasspath(String path)

Sets the raw classpath.

parseInt

protected static int parseInt(String text,
                              String defaultValue)

Parses the given string for an integer value. If an integer can't be parsed, returns the one parsed from the default value.

parsePositiveInt

protected static int parsePositiveInt(String text,
                                      String defaultValue)

Parses the given string for a positive integer value. If a positive integer can't be parsed, returns the one parsed from the default value.

parseNonNegativeInt

protected static int parseNonNegativeInt(String text,
                                         String defaultValue)

Parses the given string for a non-negative integer value. If a non-negative integer can't be parsed, returns the one parsed from the default value.