main page modules namespaces classes files
Gecode/J home

org.gecode.explorer.swing.MenuBar Class Reference

List of all members.

---

Detailed Description

Definition at line 31 of file MenuBar.java.

Public Member Functions
	MenuBar (JFrame frame, ExplorerController ctrl)
void	menuInspectActive (boolean active, boolean isRoot, boolean isLeaf)
void	menuSearchActive (boolean active)
void	menuHideNodeActive (boolean active, boolean hidden)
void	menuUnhideAllActive (boolean active)
void	menuHideFailedActive (boolean active)
void	updateEventListeners ()
Protected Attributes
Action	resetAction
Action	saveAsAction
Action	inspectAction
Action	inspectBranchesAction
Action	inspectBPAction
Action	searchAllAction
Action	searchOneAction
Action	searchNAction
Action	hideNodeAction
Action	hideFailedAction
Action	unhideAllAction
Action	scaleToFitAction
Action	navUpAction
Action	navDownAction
Action	navLeftAction
Action	navRightAction
Action	jumpNextSolAction
Action	jumpPrevSolAction
Action	jumpRootAction
Action	jumpLeftmostAction
Action	jumpRightmostAction
Action	centerCursorAction
Action	configAction
Action	quitAction
ButtonGroup	inspectionActionsGroup
JMenu	actionsMenu
Package Functions
JPopupMenu	getPopupMenu ()
Classes
class	AboutAction
class	CenterCursorAction
class	ConfigAction
class	HelpAction
class	HideFailedAction
class	HideNodeAction
class	InspectAction
class	InspectBPAction
class	InspectBranchesAction
class	JumpLeftmostAction
class	JumpNextSolAction
class	JumpPrevSolAction
class	JumpRightmostAction
class	JumpRootAction
class	NavDownAction
class	NavLeftAction
class	NavRightAction
class	NavUpAction
class	QuitAction
class	ResetAction
class	SaveAsAction
class	ScaleToFitAction
class	SearchAllAction
class	SearchNAction
class	SearchOneAction
class	SelectInspectionAction
class	UnhideAllAction

---

Constructor & Destructor Documentation

org.gecode.explorer.swing.MenuBar.MenuBar	(	JFrame	frame,
		ExplorerController	ctrl
	)

Definition at line 333 of file MenuBar.java.

---

Member Function Documentation

JPopupMenu org.gecode.explorer.swing.MenuBar.getPopupMenu

(

)

[package]

Definition at line 520 of file MenuBar.java.

void org.gecode.explorer.swing.MenuBar.menuInspectActive	(	boolean	active,
		boolean	isRoot,
		boolean	isLeaf
	)

Definition at line 525 of file MenuBar.java.

void org.gecode.explorer.swing.MenuBar.menuSearchActive

(

boolean

active

)

Definition at line 530 of file MenuBar.java.

void org.gecode.explorer.swing.MenuBar.menuHideNodeActive	(	boolean	active,
		boolean	hidden
	)

Definition at line 535 of file MenuBar.java.

void org.gecode.explorer.swing.MenuBar.menuUnhideAllActive

(

boolean

active

)

Definition at line 538 of file MenuBar.java.

void org.gecode.explorer.swing.MenuBar.menuHideFailedActive

(

boolean

active

)

Definition at line 541 of file MenuBar.java.

void org.gecode.explorer.swing.MenuBar.updateEventListeners

(

)

Definition at line 546 of file MenuBar.java.

---

Member Data Documentation

Action org.gecode.explorer.swing.MenuBar.resetAction [protected]

Definition at line 33 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.saveAsAction [protected]

Definition at line 34 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.inspectAction [protected]

Definition at line 35 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.inspectBranchesAction [protected]

Definition at line 36 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.inspectBPAction [protected]

Definition at line 37 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.searchAllAction [protected]

Definition at line 38 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.searchOneAction [protected]

Definition at line 39 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.searchNAction [protected]

Definition at line 40 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.hideNodeAction [protected]

Definition at line 41 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.hideFailedAction [protected]

Definition at line 42 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.unhideAllAction [protected]

Definition at line 43 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.scaleToFitAction [protected]

Definition at line 44 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.navUpAction [protected]

Definition at line 46 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.navDownAction [protected]

Definition at line 47 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.navLeftAction [protected]

Definition at line 48 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.navRightAction [protected]

Definition at line 49 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.jumpNextSolAction [protected]

Definition at line 51 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.jumpPrevSolAction [protected]

Definition at line 52 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.jumpRootAction [protected]

Definition at line 53 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.jumpLeftmostAction [protected]

Definition at line 54 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.jumpRightmostAction [protected]

Definition at line 55 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.centerCursorAction [protected]

Definition at line 56 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.configAction [protected]

Definition at line 58 of file MenuBar.java.

Action org.gecode.explorer.swing.MenuBar.quitAction [protected]

Definition at line 59 of file MenuBar.java.

ButtonGroup org.gecode.explorer.swing.MenuBar.inspectionActionsGroup [protected]

Definition at line 65 of file MenuBar.java.

JMenu org.gecode.explorer.swing.MenuBar.actionsMenu [protected]

Definition at line 66 of file MenuBar.java.

---

The documentation for this class was generated from the following file:

• org/gecode/explorer/swing/MenuBar.java (Revision: 3705)