Constant Field Values

Contents

• edu.utep.*

edu.utep.*

edu.utep.cs.et.gui.Constants

public static final String	CLASS_EXTENSION	".class"
public static final boolean	DEBUG	true
public static final int	DIVIDER_SIZE	8
public static final String	EDIT_MENU_NAME	"Edit"
public static final char	EXPLORER_DIR	67
public static final String	FILE_MENU_NAME	"File"
public static final String	HELP_MENU_NAME	"Help"
public static final String	JAVA	"java"
public static final String	JAVA_EXTENSION	".java"
public static final String	JAVAC	"javac"
public static final String	JUNIT_SWINGGUI_TESTRUNNER	"junit.swingui.TestRunner"
public static final String	OPTION_MENU_NAME	"Option"
public static final String	TEST_MENU_NAME	"Test"
public static final String	TITLE	"JET 0.75a"
public static final String	TOOL_MENU_NAME	"Tool"
public static final String	VERSION	"0.75a"
public static final String	WEB_PAGE_LOCATION	"http://www.cs.utep.edu/"
public static final String	WEB_PAGE_NAME	"Web Page"
public static final int	WINDOW_HEIGHT	600
public static final int	WINDOW_MIN_HEIGHT	300
public static final int	WINDOW_MIN_WIDTH	400
public static final int	WINDOW_WIDTH	800

edu.utep.cs.et.gui.edu.utep.cs.et.gui.DefaultStatusBar

private static final int

MIN_FIELD_SIZE

6

edu.utep.cs.et.gui.edu.utep.cs.et.gui.FileActionFactory.JavaFileFilter

private static final String

JAVA_EXTENSION

"java"

edu.utep.cs.et.gui.OptionDialog

private static final int	WIN_HEIGHT	400
private static final int	WIN_MIN_HEIGHT	300
private static final int	WIN_MIN_WIDTH	400
private static final int	WIN_WIDTH	540

edu.utep.cs.et.gui.Preference

private static final String	JAR_FILE	"jet.jar"
private static final String	PREF_KEY_CLASSPATH	"Classpath"
private static final String	PREF_KEY_JAVA	"Java"
private static final String	PREF_KEY_JAVAC	"Javac"
private static final String	PREF_KEY_ROOT	"RootDir"
private static final String	PREF_VAL_CLASSPATH	"%SYSTEM%"
private static final String	PREF_VAL_JAVA	"java"
private static final String	PREF_VAL_JAVAC	"javac"

edu.utep.cs.et.gui.edu.utep.cs.et.gui.ViewController

private static final int

DIVIDER_SIZE

8

edu.utep.cs.et.gui.WorkingPane

private static final int

DIVIDER_SIZE

8

edu.utep.cs.et.gui.editor.edu.utep.cs.et.gui.editor.Options.Palette

private static final int	BACKGROUND	13
private static final int	COLOR_SIZE	14
private static final int	FOREGROUND	12

edu.utep.cs.et.gui.editor.Preference

private static final String	PREF_KEY_EDITOR_COLOR_BG	"EditorColorBG"
private static final String	PREF_KEY_EDITOR_COLOR_FG	"EditorColorFG"
private static final String	PREF_KEY_EDITOR_FONT	"EditorFont"
private static final String	PREF_KEY_EDITOR_FONT_SIZE	"EditorFontSIZE"
private static final String	PREF_KEY_EDITOR_STYLE	"EditorStyle"
private static final String	PREF_KEY_EDITOR_TAB_SIZE	"EditorTabSize"
private static final String	PREF_VAL_EDITOR_COLOR_BG	"-1"
private static final String	PREF_VAL_EDITOR_COLOR_FG	"-16777216"
private static final String	PREF_VAL_EDITOR_FONT	"Monospaced"
private static final String	PREF_VAL_EDITOR_FONT_SIZE	"12"
private static final String	PREF_VAL_EDITOR_TAB_SIZE	"4"

edu.utep.cs.et.gui.editor.syn.InputHandler

public static final String

SMART_HOME_END_PROPERTY

"InputHandler.homeEnd"

edu.utep.cs.et.gui.editor.syn.Token

public static final byte	COMMENT1	1
public static final byte	COMMENT2	2
public static final byte	COMMENT3	3
public static final byte	END	127
public static final byte	ID_COUNT	12
public static final byte	INTERNAL_FIRST	100
public static final byte	INTERNAL_LAST	126
public static final byte	INVALID	11
public static final byte	KEYWORD1	7
public static final byte	KEYWORD2	8
public static final byte	KEYWORD3	9
public static final byte	LABEL	6
public static final byte	LITERAL1	4
public static final byte	LITERAL2	5
public static final byte	NULL	0
public static final byte	OPERATOR	10

edu.utep.cs.et.gui.tester.DefaultTester

private static final int

DIVIDER_SIZE

2

edu.utep.cs.et.gui.tester.edu.utep.cs.et.gui.tester.DefaultTester.StatisticsDialog

private static final int	WIN_HEIGHT	300
private static final int	WIN_WIDTH	350

edu.utep.cs.et.gui.tester.edu.utep.cs.et.gui.tester.DefaultTester.TestCaseCellRenderer

private static final int

MAX_NAME_LENGTH

30

edu.utep.cs.et.gui.tester.JUnitExporter

private static final String	JMLRT	"org.jmlspecs.jmlrac.runtime"
private static final String	POSTFIX_TEST_CLASS_NAME	"Test"
private static final String	PREFIX_ORACLE_METHOD_NAME	"oracle"
private static final String	PREFIX_TEST_METHOD_NAME	"test"

edu.utep.cs.et.gui.tester.edu.utep.cs.et.gui.tester.JUnitExporter.JavaFileFilter

private static final String

JAVA_EXTENSION

"java"

edu.utep.cs.et.gui.tester.edu.utep.cs.et.gui.tester.Options.TextFileFilter

private static final String

TEXT_EXTENSION

"txt"

edu.utep.cs.et.gui.tester.Preference

private static final String	PREF_KEY_TEST_ATTEMPTS	"TestAttempts"
private static final String	PREF_KEY_TEST_HEIGHT	"TestHeight"
private static final String	PREF_KEY_TEST_IMPL_CLASSES	"TestImplClasses"
private static final String	PREF_KEY_TEST_INC_ATTEMPTS	"TestIncAttempts"
private static final String	PREF_KEY_TEST_OBJECT_POOL	"TestObjectPool"
private static final String	PREF_KEY_TEST_OBJECT_POOL_SIZE	"TestObjectPoolSize"
private static final String	PREF_KEY_TEST_REDUNDANCY	"TestRedundancy"
private static final String	PREF_KEY_TEST_STRATEGY	"TestStrategy"
private static final String	PREF_VAL_TEST_ATTEMPTS	"100"
private static final String	PREF_VAL_TEST_HEIGHT	"100"
private static final String	PREF_VAL_TEST_INC_ATTEMPTS	"2"
private static final String	PREF_VAL_TEST_OBJECT_POOL_SIZE	"50"
private static final String	PREF_VAL_TEST_STRATEGY	"irandom"

edu.utep.cs.et.rat.MethodWrapper

public static final int	BASIC_CONSTRUCTOR	0
public static final int	EXTENDED_CONSTRUCTOR	1
public static final int	MUTATOR	2
public static final int	OBSERVER	3

edu.utep.cs.et.rat.TestRunner

public static final int	TEST_FAILURE	2
public static final int	TEST_MEANINGLESS	3
public static final int	TEST_SUCCESS	1

edu.utep.cs.et.rat.gen.edu.utep.cs.et.rat.gen.ArrayValueGenerator

private static final int

MAX_LENGTH

10

edu.utep.cs.et.rat.gen.edu.utep.cs.et.rat.gen.PrimitiveValueGenerator

private static final String

chars

"0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz~!@#$%^&*()-_+={}[]:;\"\'<>?/\\\n\t"

edu.utep.cs.et.rat.gen.edu.utep.cs.et.rat.gen.StringValueGenerator

private static final String	CHARACTERS	"abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789`!@#$%^&*()-+=_{}[]|:;\'/?.,<>"
private static final int	MAX_LENGTH	10