UTJML

edu.utep.cs.utjml.canica
Class MenuOptions

java.lang.Object
  extended by edu.utep.cs.utjml.canica.MenuOptions

public class MenuOptions
extends Object

This class helps to keep track of the enableability of the Menu options to a respective Java file opened in the JML editor. Each file opened should has its own valid menu items. This class it belongs to each JMLTextPane created. Each menu option property to Canica it is saved in this class.

Author:
Angelica B. Perez, May 9, 2006

Field Summary
static int EDIT_COMMENT
          Edit menu - Comment option
static int EDIT_COPY
          Edit menu - Copy option
static int EDIT_CUT
          Edit menu - Cut option
static int EDIT_DELETE
          Edit menu - Delte option
static int EDIT_DELETELINE
          Edit menu - Delete line option
static int EDIT_INCREASE_INDENT
          Edit menu - Increase indent option
static int EDIT_PASTE
          Edit menu - Paste option
static int EDIT_REDO
          Edit menu - Redo option
static int EDIT_REDUCE_INDENT
          Edit menu - Reduce indent option
static int EDIT_SELECT_ALL
          Edit menu - Select all option
static int EDIT_UNCOMMENT
          Edit menu - Uncomment option
static int EDIT_UNDO
          Edit menu - Undo option
 boolean[] editMenuItems
          Array to save the Edit menu items enableability.
static int FILE_CLOSE
          File menu - Close option
static int FILE_CLOSEALL
          File menu - Close all option
static int FILE_PRINT
          File menu - Print option
static int FILE_PRINTER_SETUP
          File menu - Printer setup option
static int FILE_SAVE
          File menu - Save option
static int FILE_SAVEALL
          File menu - Save all option
static int FILE_SAVEAS
          File menu - Save as option
 boolean[] fileMenuItems
          Array to save the file menu items enableability.
static int INSERT_INSERT
          Insert menu options
static int OPTIONS_JAVADOC
          Options menu - Javadoc option
static int OPTIONS_JMLDOC
          Options menu - JMLdoc option
 boolean[] optionsMenuItems
          Array to save the OPTIONS menu items enableability.
static int SEARCH_FIND
          Search menu - Find option
static int SEARCH_GOTO
          Search menu - Go to option
static int SEARCH_REPLACE
          Search menu - Replace option
 boolean[] searchInsertMenuItems
          Array to save the search and insert menu items enableability.
static int TEST_COMPILE_FORTEST
          Test menu - Compile for test option
static int TEST_COMPILEJML_FORTEST
          Test menu - Compile JML for test option
static int TEST_GENERATE_TEST
          Test menu - Generate test option
static int TEST_GUIAUTOMATION_TESTINGTOOL
          Test menu - Test Wizard option
static int TEST_LOAD_ANDTEST
          Test menu - Load and test a Java file option
static int TEST_RUNCLASSTEST
          Test menu - Run class file test option
static int TEST_RUNTEST
          Test menu - Compile run test option
 boolean[] testMenuItems
          Array to save the TEST menu items enableability.
static int TOOL_CHECKJML
          Tool menu - Check JML option
static int TOOL_CHECKJML_ADVANCED
          Tool menu - Check JML advanced option
static int TOOL_COMPILEJAVA
          Tool menu - Compile Java option
static int TOOL_COMPILEJML
          Tool menu - Compile JML option
static int TOOL_RUN
          Tool menu - Run option
 boolean[] toolsMenuItems
          Array to save the TOOLS menu items enableability.
 
Constructor Summary
MenuOptions()
          Creates a new MenuOptions object
 
Method Summary
 void setValueToOptionsMenuItems(boolean value)
          Sets a value to the SearchInsert Menu items array
 void setValueToSearchInsertMenuItems(boolean value)
          Sets a value to the SearchInsert Menu items array
 void setValueToTestMenuItems(boolean value)
          Sets a value to the Test Menu items array, except options to choose files
 void setValueToToolsMenuItems(boolean value)
          Sets a value to the Tool Menu items array, except the Advanced option
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

fileMenuItems

public boolean[] fileMenuItems
Array to save the file menu items enableability.


FILE_SAVE

public static final int FILE_SAVE
File menu - Save option

See Also:
Constant Field Values

FILE_SAVEAS

public static final int FILE_SAVEAS
File menu - Save as option

See Also:
Constant Field Values

FILE_SAVEALL

public static final int FILE_SAVEALL
File menu - Save all option

See Also:
Constant Field Values

FILE_CLOSE

public static final int FILE_CLOSE
File menu - Close option

See Also:
Constant Field Values

FILE_CLOSEALL

public static final int FILE_CLOSEALL
File menu - Close all option

See Also:
Constant Field Values

FILE_PRINTER_SETUP

public static final int FILE_PRINTER_SETUP
File menu - Printer setup option

See Also:
Constant Field Values

FILE_PRINT

public static final int FILE_PRINT
File menu - Print option

See Also:
Constant Field Values

editMenuItems

public boolean[] editMenuItems
Array to save the Edit menu items enableability.


EDIT_UNDO

public static final int EDIT_UNDO
Edit menu - Undo option

See Also:
Constant Field Values

EDIT_REDO

public static final int EDIT_REDO
Edit menu - Redo option

See Also:
Constant Field Values

EDIT_CUT

public static final int EDIT_CUT
Edit menu - Cut option

See Also:
Constant Field Values

EDIT_COPY

public static final int EDIT_COPY
Edit menu - Copy option

See Also:
Constant Field Values

EDIT_PASTE

public static final int EDIT_PASTE
Edit menu - Paste option

See Also:
Constant Field Values

EDIT_DELETE

public static final int EDIT_DELETE
Edit menu - Delte option

See Also:
Constant Field Values

EDIT_DELETELINE

public static final int EDIT_DELETELINE
Edit menu - Delete line option

See Also:
Constant Field Values

EDIT_SELECT_ALL

public static final int EDIT_SELECT_ALL
Edit menu - Select all option

See Also:
Constant Field Values

EDIT_COMMENT

public static final int EDIT_COMMENT
Edit menu - Comment option

See Also:
Constant Field Values

EDIT_UNCOMMENT

public static final int EDIT_UNCOMMENT
Edit menu - Uncomment option

See Also:
Constant Field Values

EDIT_INCREASE_INDENT

public static final int EDIT_INCREASE_INDENT
Edit menu - Increase indent option

See Also:
Constant Field Values

EDIT_REDUCE_INDENT

public static final int EDIT_REDUCE_INDENT
Edit menu - Reduce indent option

See Also:
Constant Field Values

searchInsertMenuItems

public boolean[] searchInsertMenuItems
Array to save the search and insert menu items enableability.


SEARCH_GOTO

public static final int SEARCH_GOTO
Search menu - Go to option

See Also:
Constant Field Values

SEARCH_FIND

public static final int SEARCH_FIND
Search menu - Find option

See Also:
Constant Field Values

SEARCH_REPLACE

public static final int SEARCH_REPLACE
Search menu - Replace option

See Also:
Constant Field Values

INSERT_INSERT

public static final int INSERT_INSERT
Insert menu options

See Also:
Constant Field Values

toolsMenuItems

public boolean[] toolsMenuItems
Array to save the TOOLS menu items enableability.


TOOL_CHECKJML

public static final int TOOL_CHECKJML
Tool menu - Check JML option

See Also:
Constant Field Values

TOOL_CHECKJML_ADVANCED

public static final int TOOL_CHECKJML_ADVANCED
Tool menu - Check JML advanced option

See Also:
Constant Field Values

TOOL_COMPILEJAVA

public static final int TOOL_COMPILEJAVA
Tool menu - Compile Java option

See Also:
Constant Field Values

TOOL_COMPILEJML

public static final int TOOL_COMPILEJML
Tool menu - Compile JML option

See Also:
Constant Field Values

TOOL_RUN

public static final int TOOL_RUN
Tool menu - Run option

See Also:
Constant Field Values

testMenuItems

public boolean[] testMenuItems
Array to save the TEST menu items enableability.


TEST_COMPILEJML_FORTEST

public static final int TEST_COMPILEJML_FORTEST
Test menu - Compile JML for test option

See Also:
Constant Field Values

TEST_GENERATE_TEST

public static final int TEST_GENERATE_TEST
Test menu - Generate test option

See Also:
Constant Field Values

TEST_COMPILE_FORTEST

public static final int TEST_COMPILE_FORTEST
Test menu - Compile for test option

See Also:
Constant Field Values

TEST_RUNTEST

public static final int TEST_RUNTEST
Test menu - Compile run test option

See Also:
Constant Field Values

TEST_RUNCLASSTEST

public static final int TEST_RUNCLASSTEST
Test menu - Run class file test option

See Also:
Constant Field Values

TEST_LOAD_ANDTEST

public static final int TEST_LOAD_ANDTEST
Test menu - Load and test a Java file option

See Also:
Constant Field Values

TEST_GUIAUTOMATION_TESTINGTOOL

public static final int TEST_GUIAUTOMATION_TESTINGTOOL
Test menu - Test Wizard option

See Also:
Constant Field Values

optionsMenuItems

public boolean[] optionsMenuItems
Array to save the OPTIONS menu items enableability.


OPTIONS_JAVADOC

public static final int OPTIONS_JAVADOC
Options menu - Javadoc option

See Also:
Constant Field Values

OPTIONS_JMLDOC

public static final int OPTIONS_JMLDOC
Options menu - JMLdoc option

See Also:
Constant Field Values
Constructor Detail

MenuOptions

public MenuOptions()
Creates a new MenuOptions object

Method Detail

setValueToSearchInsertMenuItems

public void setValueToSearchInsertMenuItems(boolean value)
Sets a value to the SearchInsert Menu items array


setValueToToolsMenuItems

public void setValueToToolsMenuItems(boolean value)
Sets a value to the Tool Menu items array, except the Advanced option


setValueToTestMenuItems

public void setValueToTestMenuItems(boolean value)
Sets a value to the Test Menu items array, except options to choose files


setValueToOptionsMenuItems

public void setValueToOptionsMenuItems(boolean value)
Sets a value to the SearchInsert Menu items array


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.