UTJML

edu.utep.cs.utjml.canica
Interface Constants

All Known Implementing Classes:
Main, OutputPaneConsole, StatusBar, StatusFancyBar, Util

public interface Constants

An interface defining various global constants to Canica.

Author:
Yoonsik Cheon, and Angelica B Perez

Field Summary
static String BLANK_ICON
          Blank space to align menu items.
static String CLASS_EXTENSION
          The extension of Java class files.
static Color COLOR_EXPLORER
          A color object value to the color explorer (file browser subsystem)
static Color COLOR_OUTPUT
          A color object value to the color output (output subsystem)
static String COPYRIGHT
          The copyright notice.
static boolean DEBUG
          Used to debug Canica
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 FILE_SEPARATOR
          The system-dependent file separator character
static String HELP_MENU_NAME
          The name of help menu.
static ImageIcon ICON_ABOUT
          The image icon for the tool information.
static ImageIcon ICON_BROWSER
          The image icon for Browser
static ImageIcon ICON_CASE_ACCEPTED
          The image icon to the Test Case accepted
static ImageIcon ICON_CASE_REJECTED
          The image icon to the Test case rejected
static ImageIcon ICON_CHECK_JML
          The image icon for Check JML
static ImageIcon ICON_CLASS
          The image icon to the Class file
static ImageIcon ICON_COMMENT
          The image icons for Comment
static ImageIcon ICON_COMPILE_FORTEST
          The image icon for Compile for Test
static ImageIcon ICON_COMPILE_JAVA
          The image icon for compilation.
static ImageIcon ICON_COMPILE_JML
          The image icon for compile JML
static ImageIcon ICON_COMPILE_JML_TEST
          The image icon for Compile a file with JML for test
static ImageIcon ICON_CONSOLE_VIEW
          The image icon for a Console view
static ImageIcon ICON_COPY
          The image icons for Copy
static ImageIcon ICON_CUT
          The image icons for Cut
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
          The image icon for a simple file
static ImageIcon ICON_FOLDER
          The image icon for a folder
static ImageIcon ICON_GOTO
          The image icon for Go to
static ImageIcon ICON_HOME
          The image icon for Home directory
static ImageIcon ICON_INFORM
          The image icon for information messages.
static ImageIcon ICON_JAVA_FILE
          The image icon for a java file
static ImageIcon ICON_JML_LOGO
          The image icon for Canica, .png.
static ImageIcon ICON_JML_LOGO_ICONBEST
          The image icon for Canica logo, .gif
static ImageIcon ICON_LOAD_ANDTEST
          Load and Test icon
static ImageIcon ICON_METHOD
          The image icon to the Method
static ImageIcon ICON_NEW
          The image icon for creating a new file.
static ImageIcon ICON_NEWTESTSUITE
          The image icon for a new test suite
static ImageIcon ICON_NOTE
          The image icon for notes.
static ImageIcon ICON_OPEN
          The image icon for opening a file.
static ImageIcon ICON_PASTE
          The image icons for Paste
static ImageIcon ICON_PREFERENCES
          The image icon for preferences.
static ImageIcon ICON_PRINT
          The image icon for creating a new file.
static ImageIcon ICON_QUESTION
          The image icon for questions.
static ImageIcon ICON_REDO
          The image icon for redoing an edit action.
static ImageIcon ICON_RUN
          The image icon for Run
static ImageIcon ICON_RUN_TEST
          The image icon for Run Test
static ImageIcon ICON_SAVE
          The image icon for creating a new file.
static ImageIcon ICON_SAVEALL
          The image icon for saving all files opened
static ImageIcon ICON_SAVEAS
          The image icon for creating a new file.
static ImageIcon ICON_SELECT_ALL
          The image icons for Select All
static ImageIcon ICON_TEST_FILE
          The image icon for JML.
static ImageIcon ICON_TEST_WIZARD
          The image icon for Test Wizard
static ImageIcon ICON_TESTCASE
          Test case
static ImageIcon ICON_TESTCASE_ERROR
          Test case Error
static ImageIcon ICON_TESTCASE_FAIL
          Test case fail
static ImageIcon ICON_TESTCASE_HIERARCHY
          Test case Hierarchy
static ImageIcon ICON_TESTCASE_OK
          Test case OK
static ImageIcon ICON_TESTCASE_RUNS
          Test case Runs
static ImageIcon ICON_UNCOMMENT
          The image icons for Uncomment
static ImageIcon ICON_UNDO
          The image icon for undoing an edit action.
static ImageIcon ICON_UNKNOWN
          The image icon for unknown.
static ImageIcon ICON_WARN
          The image icon for warning messages.
static String INSERT_MENU_NAME
          The name of insert menu.
static String JAVA
          The value to call the java virtual machine external tool
static String JAVA_EXTENSION
          The extension of Java source files.
static String JAVAC
          The value to call the java compiler external tool
static String JUNIT_SWINGGUI_TESTRUNNER
          The value to call the swing-gui test runner from the Junit framework
static UIManager.LookAndFeelInfo[] looks
          The look and Feels information
static String NEWLINE
          The system-dependent newline character.
static String OPTION_MENU_NAME
          The name of option menu.
static String PATH_SEPARATOR
          The system-dependent path separator character
static String SEARCH_MENU_NAME
          The name of search menu.
static String TEST_MENU_NAME
          The name of test menu.
static String TOOL_MENU_NAME
          The name of tools 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

VERSION

static final String VERSION
The version number.

See Also:
Constant Field Values

COPYRIGHT

static final String COPYRIGHT
The copyright notice.

See Also:
Constant Field Values

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.


NEWLINE

static final String NEWLINE
The system-dependent newline character.


FILE_SEPARATOR

static final String FILE_SEPARATOR
The system-dependent file separator character


PATH_SEPARATOR

static final String PATH_SEPARATOR
The system-dependent path separator character


DEBUG

static final boolean DEBUG
Used to debug Canica

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

SEARCH_MENU_NAME

static final String SEARCH_MENU_NAME
The name of search menu.

See Also:
Constant Field Values

INSERT_MENU_NAME

static final String INSERT_MENU_NAME
The name of insert menu.

See Also:
Constant Field Values

TOOL_MENU_NAME

static final String TOOL_MENU_NAME
The name of tools 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

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

ICON_JML_LOGO

static final ImageIcon ICON_JML_LOGO
The image icon for Canica, .png.


ICON_JML_LOGO_ICONBEST

static final ImageIcon ICON_JML_LOGO_ICONBEST
The image icon for Canica logo, .gif


BLANK_ICON

static final String BLANK_ICON
Blank space to align menu items.

See Also:
Constant Field Values

ICON_UNKNOWN

static final ImageIcon ICON_UNKNOWN
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_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_NEW

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


ICON_SAVE

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


ICON_SAVEAS

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


ICON_SAVEALL

static final ImageIcon ICON_SAVEALL
The image icon for saving all files opened


ICON_PRINT

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


ICON_OPEN

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


ICON_BROWSER

static final ImageIcon ICON_BROWSER
The image icon for Browser


ICON_HOME

static final ImageIcon ICON_HOME
The image icon for Home directory


ICON_FOLDER

static final ImageIcon ICON_FOLDER
The image icon for a folder


ICON_FILE

static final ImageIcon ICON_FILE
The image icon for a simple file


ICON_JAVA_FILE

static final ImageIcon ICON_JAVA_FILE
The image icon for a java file


ICON_CONSOLE_VIEW

static final ImageIcon ICON_CONSOLE_VIEW
The image icon for a Console view


ICON_CHECK_JML

static final ImageIcon ICON_CHECK_JML
The image icon for Check JML


ICON_COMPILE_JAVA

static final ImageIcon ICON_COMPILE_JAVA
The image icon for compilation.


ICON_COMPILE_JML

static final ImageIcon ICON_COMPILE_JML
The image icon for compile JML


ICON_RUN

static final ImageIcon ICON_RUN
The image icon for Run


ICON_COMPILE_JML_TEST

static final ImageIcon ICON_COMPILE_JML_TEST
The image icon for Compile a file with JML for test


ICON_COMPILE_FORTEST

static final ImageIcon ICON_COMPILE_FORTEST
The image icon for Compile for Test


ICON_RUN_TEST

static final ImageIcon ICON_RUN_TEST
The image icon for Run Test


ICON_TEST_WIZARD

static final ImageIcon ICON_TEST_WIZARD
The image icon for Test Wizard


ICON_DELETE

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


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_COPY

static final ImageIcon ICON_COPY
The image icons for Copy


ICON_CUT

static final ImageIcon ICON_CUT
The image icons for Cut


ICON_PASTE

static final ImageIcon ICON_PASTE
The image icons for Paste


ICON_SELECT_ALL

static final ImageIcon ICON_SELECT_ALL
The image icons for Select All


ICON_COMMENT

static final ImageIcon ICON_COMMENT
The image icons for Comment


ICON_UNCOMMENT

static final ImageIcon ICON_UNCOMMENT
The image icons for Uncomment


ICON_GOTO

static final ImageIcon ICON_GOTO
The image icon for Go to


JAVA

static final String JAVA
The value to call the java virtual machine external tool

See Also:
Constant Field Values

JAVAC

static final String JAVAC
The value to call the java compiler external tool

See Also:
Constant Field Values

JUNIT_SWINGGUI_TESTRUNNER

static final String JUNIT_SWINGGUI_TESTRUNNER
The value to call the swing-gui test runner from the Junit framework

See Also:
Constant Field Values

COLOR_EXPLORER

static final Color COLOR_EXPLORER
A color object value to the color explorer (file browser subsystem)


COLOR_OUTPUT

static final Color COLOR_OUTPUT
A color object value to the color output (output subsystem)


looks

static final UIManager.LookAndFeelInfo[] looks
The look and Feels information


ICON_CASE_ACCEPTED

static final ImageIcon ICON_CASE_ACCEPTED
The image icon to the Test Case accepted


ICON_CASE_REJECTED

static final ImageIcon ICON_CASE_REJECTED
The image icon to the Test case rejected


ICON_METHOD

static final ImageIcon ICON_METHOD
The image icon to the Method


ICON_CLASS

static final ImageIcon ICON_CLASS
The image icon to the Class file


ICON_NEWTESTSUITE

static final ImageIcon ICON_NEWTESTSUITE
The image icon for a new test suite


ICON_TEST_FILE

static final ImageIcon ICON_TEST_FILE
The image icon for JML.


ICON_TESTCASE

static final ImageIcon ICON_TESTCASE
Test case


ICON_TESTCASE_FAIL

static final ImageIcon ICON_TESTCASE_FAIL
Test case fail


ICON_TESTCASE_HIERARCHY

static final ImageIcon ICON_TESTCASE_HIERARCHY
Test case Hierarchy


ICON_TESTCASE_OK

static final ImageIcon ICON_TESTCASE_OK
Test case OK


ICON_TESTCASE_ERROR

static final ImageIcon ICON_TESTCASE_ERROR
Test case Error


ICON_TESTCASE_RUNS

static final ImageIcon ICON_TESTCASE_RUNS
Test case Runs


ICON_LOAD_ANDTEST

static final ImageIcon ICON_LOAD_ANDTEST
Load and Test icon


UTJML

UTJML is Copyright (C) 2004-2006 by 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. This release depends on code from the JML project.