edu.utep.cs.jet.gui.tester
Class Preference

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

All Implemented Interfaces:

Constants

public abstract class Preference
extends Preference

A utility class to store various user options for the tester.

Author:

Yoonsik Cheon

Field Summary

Fields inherited from class edu.utep.cs.jet.gui.Preference

userPrefs

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 int	getTestAttempts() Returns the number of test attempts.
static String	getTestImplClasses() Returns the implementation classes for interfaces.
static int	getTestIncAttempts() Returns the number of incremental test attempts.
static int	getTestMaxHeight() Returns the maximum height of objects.
static int	getTestObjectPoolSize() Returns the maximum size of the object pool.
static String	getTestStrategy() Returns the test strategy.
static boolean	isRedundancyChecked() Returns true iff testcase redundancy is checked.
static boolean	isTestObjectPooling() Returns true iff the test object pooling is enabled.
static void	setRedundancyChecked(boolean flag) Enables or disables the testcase redundancy check.
static void	setTestAttempts(String att) Sets the number of test attempts.
static void	setTestImplClasses(String att) Sets the implementation classes for interfaces.
static void	setTestIncAttempts(String att) Sets the number of incremental test attempts.
static void	setTestMaxHeight(String att) Sets the maximum height of objects.
static void	setTestObjectPooling(boolean flag) Enables or disables the test object pooling.
static void	setTestObjectPoolSize(String att) Sets the maximum size of the object pool.
static void	setTestStrategy(String strategy) Sets the test strategy.

Methods inherited from class edu.utep.cs.jet.gui.Preference

getBackground, getBanner, getClasspath, getJava, getJavaCompiler, getRawClasspath, getRoot, getTheme, parseInt, parseNonNegativeInt, parsePositiveInt, setBackground, setBanner, setJava, setJavaCompiler, setRawClasspath, setRoot, setTheme

Methods inherited from class java.lang.Object

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

Constructor Detail

Preference

public Preference()

Method Detail

getTestStrategy

public static String getTestStrategy()

Returns the test strategy.

setTestStrategy

public static void setTestStrategy(String strategy)

Sets the test strategy.

getTestMaxHeight

public static int getTestMaxHeight()

Returns the maximum height of objects.

setTestMaxHeight

public static void setTestMaxHeight(String att)

Sets the maximum height of objects.

getTestAttempts

public static int getTestAttempts()

Returns the number of test attempts.

setTestAttempts

public static void setTestAttempts(String att)

Sets the number of test attempts.

getTestIncAttempts

public static int getTestIncAttempts()

Returns the number of incremental test attempts.

setTestIncAttempts

public static void setTestIncAttempts(String att)

Sets the number of incremental test attempts.

isTestObjectPooling

public static boolean isTestObjectPooling()

Returns true iff the test object pooling is enabled.

setTestObjectPooling

public static void setTestObjectPooling(boolean flag)

Enables or disables the test object pooling.

getTestObjectPoolSize

public static int getTestObjectPoolSize()

Returns the maximum size of the object pool.

setTestObjectPoolSize

public static void setTestObjectPoolSize(String att)

Sets the maximum size of the object pool.

isRedundancyChecked

public static boolean isRedundancyChecked()

Returns true iff testcase redundancy is checked.

setRedundancyChecked

public static void setRedundancyChecked(boolean flag)

Enables or disables the testcase redundancy check.

setTestImplClasses

public static void setTestImplClasses(String att)

Sets the implementation classes for interfaces.

getTestImplClasses

public static String getTestImplClasses()

Returns the implementation classes for interfaces.