|
JET | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface Constants
An interface defining various golobal constants.
| Field Summary | |
|---|---|
static String |
CLASS_EXTENSION
The extension of Java class files. |
static Color |
COLOR_EXPLORER
|
static Color |
COLOR_OUTPUT
|
static String |
COPYRIGHT
The copyright notice. |
static boolean |
DEBUG
|
static int |
DIVIDER_SIZE
The divider size of split windows. |
static String |
EDIT_MENU_NAME
The name of edit menu. |
static char |
EXPLORER_DIR
The indentification character of the directory browser. |
static String |
EXPLORER_ROOT
The default root directory of the directory browser. |
static String |
FILE_MENU_NAME
The name of file menu. |
static String |
HELP_MENU_NAME
The name of help menu. |
static ImageIcon |
ICON_ABOUT
The image icon for the tool information. |
static ImageIcon |
ICON_ABSTRACT_CLASS
|
static ImageIcon |
ICON_BROWSER
|
static ImageIcon |
ICON_CLASS
|
static ImageIcon |
ICON_CLASS_DISABLED
|
static ImageIcon |
ICON_DELETE
The image icon for deleting a file or a selected text. |
static ImageIcon |
ICON_ERROR
The image icon for an error situation. |
static ImageIcon |
ICON_FILE
|
static ImageIcon |
ICON_FOLDER
|
static ImageIcon |
ICON_GEN_APP
The image icon for compilation. |
static ImageIcon |
ICON_HOME
The image icon for JML. |
static ImageIcon |
ICON_INFORM
The image icon for information messages. |
static ImageIcon |
ICON_INTERFACE
|
static ImageIcon |
ICON_JAVA_FILE
|
static ImageIcon |
ICON_JML_LOGO
The image icon for JML. |
static ImageIcon |
ICON_METHOD
|
static ImageIcon |
ICON_METHOD_GREEN
|
static ImageIcon |
ICON_METHOD_ORANGE
|
static ImageIcon |
ICON_METHOD_RED
|
static ImageIcon |
ICON_MINER
|
static ImageIcon |
ICON_NEW
The image icon for creating a new file. |
static ImageIcon |
ICON_NEWTESTSUITE
|
static ImageIcon |
ICON_NOTE
The image icon for notes. |
static ImageIcon |
ICON_OPEN
The image icon for opening a file. |
static ImageIcon |
ICON_OUTPUT
|
static ImageIcon |
ICON_PREFERENCES
The image icon for preferences. |
static ImageIcon |
ICON_QUESTION
The image icon for questions. |
static ImageIcon |
ICON_REDO
The image icon for redoing an edit action. |
static ImageIcon |
ICON_SAVE_AS
|
static ImageIcon |
ICON_TEST_FILE
The image icon for JML. |
static ImageIcon |
ICON_UNDO
The image icon for undoing an edit action. |
static ImageIcon |
ICON_UNKOWN
The image icon for unknown. |
static ImageIcon |
ICON_WARN
The image icon for warning messages. |
static String |
JAVA
|
static String |
JAVA_EXTENSION
The extension of Java source files. |
static String |
JAVAC
|
static String |
JUNIT_SWINGGUI_TESTRUNNER
|
static String |
NEWLINE
The system-dependent newline character. |
static String |
OPTION_MENU_NAME
The name of option menu. |
static String |
TEST_MENU_NAME
The name of test menu. |
static String |
TITLE
Title to be displayed in the frame. |
static String |
TOOL_MENU_NAME
The name of tool menu. |
static String |
VERSION
The version number. |
static String |
WEB_PAGE_LOCATION
The URL address of the web page. |
static String |
WEB_PAGE_NAME
The name of web page. |
static int |
WINDOW_HEIGHT
The initial height of the window. |
static int |
WINDOW_MIN_HEIGHT
The minimum height of the window. |
static int |
WINDOW_MIN_WIDTH
The minimum width of the window. |
static int |
WINDOW_WIDTH
The initial width of the window. |
| Field Detail |
|---|
static final String NEWLINE
static final String VERSION
static final String TITLE
static final String COPYRIGHT
static final String JAVA_EXTENSION
static final String CLASS_EXTENSION
static final char EXPLORER_DIR
static final String EXPLORER_ROOT
static final boolean DEBUG
static final int WINDOW_WIDTH
static final int WINDOW_HEIGHT
static final int WINDOW_MIN_WIDTH
static final int WINDOW_MIN_HEIGHT
static final String HELP_MENU_NAME
static final String FILE_MENU_NAME
static final String EDIT_MENU_NAME
static final String TEST_MENU_NAME
static final String TOOL_MENU_NAME
static final String OPTION_MENU_NAME
static final String WEB_PAGE_NAME
static final String WEB_PAGE_LOCATION
static final int DIVIDER_SIZE
static final ImageIcon ICON_UNKOWN
static final ImageIcon ICON_NOTE
static final ImageIcon ICON_ABOUT
static final ImageIcon ICON_GEN_APP
static final ImageIcon ICON_NEW
static final ImageIcon ICON_REDO
static final ImageIcon ICON_UNDO
static final ImageIcon ICON_ERROR
static final ImageIcon ICON_INFORM
static final ImageIcon ICON_PREFERENCES
static final ImageIcon ICON_QUESTION
static final ImageIcon ICON_WARN
static final ImageIcon ICON_OPEN
static final ImageIcon ICON_SAVE_AS
static final ImageIcon ICON_DELETE
static final ImageIcon ICON_JML_LOGO
static final ImageIcon ICON_TEST_FILE
static final ImageIcon ICON_HOME
static final ImageIcon ICON_BROWSER
static final ImageIcon ICON_NEWTESTSUITE
static final ImageIcon ICON_FOLDER
static final ImageIcon ICON_CLASS
static final ImageIcon ICON_INTERFACE
static final ImageIcon ICON_CLASS_DISABLED
static final ImageIcon ICON_ABSTRACT_CLASS
static final ImageIcon ICON_METHOD
static final ImageIcon ICON_METHOD_RED
static final ImageIcon ICON_METHOD_GREEN
static final ImageIcon ICON_METHOD_ORANGE
static final ImageIcon ICON_FILE
static final ImageIcon ICON_JAVA_FILE
static final ImageIcon ICON_OUTPUT
static final ImageIcon ICON_MINER
static final String JAVA
static final String JAVAC
static final String JUNIT_SWINGGUI_TESTRUNNER
static final Color COLOR_EXPLORER
static final Color COLOR_OUTPUT
|
JET | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||