edu.utep.cs.utjml.canica
Class MenuOptions

java.lang.Object
  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