JET

edu.utep.cs.jet.gui
Interface Constants

All Known Implementing Classes:
DefaultExplorer, DefaultOutputer, FileActionFactory, Main, MenuFactory, Options, OutputTextArea, Preference, Preference, Preference, ToolActionFactory, Util

public interface Constants

An interface defining various golobal constants.

Author:
Yoonsik Cheon

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

NEWLINE

static final String NEWLINE
The system-dependent newline character.


VERSION

static final String VERSION
The version number.

See Also:
Constant Field Values

TITLE

static final String TITLE
Title to be displayed in the frame.

See Also:
Constant Field Values

COPYRIGHT

static final String COPYRIGHT
The copyright notice.


JAVA_EXTENSION

static final String JAVA_EXTENSION
The extension of Java source files.

See Also:
Constant Field Values

CLASS_EXTENSION

static final String CLASS_EXTENSION
The extension of Java class files.

See Also:
Constant Field Values

EXPLORER_DIR

static final char EXPLORER_DIR
The indentification character of the directory browser.

See Also:
Constant Field Values

EXPLORER_ROOT

static final String EXPLORER_ROOT
The default root directory of the directory browser.


DEBUG

static final boolean DEBUG
See Also:
Constant Field Values

WINDOW_WIDTH

static final int WINDOW_WIDTH
The initial width of the window.

See Also:
Constant Field Values

WINDOW_HEIGHT

static final int WINDOW_HEIGHT
The initial height of the window.

See Also:
Constant Field Values

WINDOW_MIN_WIDTH

static final int WINDOW_MIN_WIDTH
The minimum width of the window.

See Also:
Constant Field Values

WINDOW_MIN_HEIGHT

static final int WINDOW_MIN_HEIGHT
The minimum height of the window.

See Also:
Constant Field Values

HELP_MENU_NAME

static final String HELP_MENU_NAME
The name of help menu.

See Also:
Constant Field Values

FILE_MENU_NAME

static final String FILE_MENU_NAME
The name of file menu.

See Also:
Constant Field Values

EDIT_MENU_NAME

static final String EDIT_MENU_NAME
The name of edit menu.

See Also:
Constant Field Values

TEST_MENU_NAME

static final String TEST_MENU_NAME
The name of test menu.

See Also:
Constant Field Values

TOOL_MENU_NAME

static final String TOOL_MENU_NAME
The name of tool menu.

See Also:
Constant Field Values

OPTION_MENU_NAME

static final String OPTION_MENU_NAME
The name of option menu.

See Also:
Constant Field Values

WEB_PAGE_NAME

static final String WEB_PAGE_NAME
The name of web page.

See Also:
Constant Field Values

WEB_PAGE_LOCATION

static final String WEB_PAGE_LOCATION
The URL address of the web page.

See Also:
Constant Field Values

DIVIDER_SIZE

static final int DIVIDER_SIZE
The divider size of split windows.

See Also:
Constant Field Values

ICON_UNKOWN

static final ImageIcon ICON_UNKOWN
The image icon for unknown.


ICON_NOTE

static final ImageIcon ICON_NOTE
The image icon for notes.


ICON_ABOUT

static final ImageIcon ICON_ABOUT
The image icon for the tool information.


ICON_GEN_APP

static final ImageIcon ICON_GEN_APP
The image icon for compilation.


ICON_NEW

static final ImageIcon ICON_NEW
The image icon for creating a new file.


ICON_REDO

static final ImageIcon ICON_REDO
The image icon for redoing an edit action.


ICON_UNDO

static final ImageIcon ICON_UNDO
The image icon for undoing an edit action.


ICON_ERROR

static final ImageIcon ICON_ERROR
The image icon for an error situation.


ICON_INFORM

static final ImageIcon ICON_INFORM
The image icon for information messages.


ICON_PREFERENCES

static final ImageIcon ICON_PREFERENCES
The image icon for preferences.


ICON_QUESTION

static final ImageIcon ICON_QUESTION
The image icon for questions.


ICON_WARN

static final ImageIcon ICON_WARN
The image icon for warning messages.


ICON_OPEN

static final ImageIcon ICON_OPEN
The image icon for opening a file.


ICON_SAVE_AS

static final ImageIcon ICON_SAVE_AS

ICON_DELETE

static final ImageIcon ICON_DELETE
The image icon for deleting a file or a selected text.


ICON_JML_LOGO

static final ImageIcon ICON_JML_LOGO
The image icon for JML.


ICON_TEST_FILE

static final ImageIcon ICON_TEST_FILE
The image icon for JML.


ICON_HOME

static final ImageIcon ICON_HOME
The image icon for JML.


ICON_BROWSER

static final ImageIcon ICON_BROWSER

ICON_NEWTESTSUITE

static final ImageIcon ICON_NEWTESTSUITE

ICON_FOLDER

static final ImageIcon ICON_FOLDER

ICON_CLASS

static final ImageIcon ICON_CLASS

ICON_INTERFACE

static final ImageIcon ICON_INTERFACE

ICON_CLASS_DISABLED

static final ImageIcon ICON_CLASS_DISABLED

ICON_ABSTRACT_CLASS

static final ImageIcon ICON_ABSTRACT_CLASS

ICON_METHOD

static final ImageIcon ICON_METHOD

ICON_METHOD_RED

static final ImageIcon ICON_METHOD_RED

ICON_METHOD_GREEN

static final ImageIcon ICON_METHOD_GREEN

ICON_METHOD_ORANGE

static final ImageIcon ICON_METHOD_ORANGE

ICON_FILE

static final ImageIcon ICON_FILE

ICON_JAVA_FILE

static final ImageIcon ICON_JAVA_FILE

ICON_OUTPUT

static final ImageIcon ICON_OUTPUT

ICON_MINER

static final ImageIcon ICON_MINER

JAVA

static final String JAVA
See Also:
Constant Field Values

JAVAC

static final String JAVAC
See Also:
Constant Field Values

JUNIT_SWINGGUI_TESTRUNNER

static final String JUNIT_SWINGGUI_TESTRUNNER
See Also:
Constant Field Values

COLOR_EXPLORER

static final Color COLOR_EXPLORER

COLOR_OUTPUT

static final Color COLOR_OUTPUT

JET

JET is Copyright (C) 2005-2008 by The University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.