org.qedeq.gui.se.control
Class QedeqController

java.lang.Object
  org.qedeq.gui.se.control.QedeqController

public class QedeqController

extends Object

Controller for a the GUI application. A Controller, which represents the classes connecting the model and the view, and is used to communicate between classes in the model and view. Connects the models and the views. Handles program flow. TODO mime 20070605: encapsulate actions that need another thread for later java versions: use Executor framework

Version:

$Revision: 1.4 $

Field Summary

(package private) static int

MAXIMUM_MODULE_HISTORY Maximum number of entries in history.

Constructor Summary

QedeqController(JFrame main)
Constructor.

Method Summary

(package private) void	addToModuleHistory(String url)
Action	getAboutAction() Get about action.
Action	getAddAction() Get action for adding a new QEDEQ module out of the web.
Action	getAddAllModulesFromQedeqAction() Get action for loading all QEDEQ modules for the current release from the QEDEQ web site.
Action	getAddFileAction() Get action for adding a new QEDEQ module from a local file.
Action	getCheckLogicAction() Get action for checking the logical correctness of the selected QEDEQ modules.
Action	getExitAction() Get exit action.
Action	getHelpAction() Get help action.
Action	getLatexAction() Get action for transforming the selected QEDEQ modules into LaTeX.
(package private) JFrame	getMainFrame()
char	getMnemonic(String key) Returns a mnemonic from the resource bundle.
(package private) ArrayList	getModuleHistory()
Action	getParserAction() Get parser window startup action.
Action	getPreferencesAction() Get preferences window startup action.
Action	getRemoveAllAction() Get action for removing all QEDEQ modules from memory.
Action	getRemoveLocalBufferAction() Get action for removing all QEDEQ modules from memory and local buffer.
ModuleProperties[]	getSelected() Get selected module.
String	getString(String key) This method returns a string from the resource bundle.
(package private) String[]	getSupportedLanguages(ModuleProperties prop)
(package private) void	selectionError()
void	setTreeCtrl(QedeqTreeCtrl treeCtrl) Set tree controller.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

MAXIMUM_MODULE_HISTORY

static final int MAXIMUM_MODULE_HISTORY

Maximum number of entries in history.

See Also:

Constant Field Values

Constructor Detail

QedeqController

public QedeqController(JFrame main)

Constructor.

Parameters:

main - Reference to main frame.

Method Detail

setTreeCtrl

public void setTreeCtrl(QedeqTreeCtrl treeCtrl)

Set tree controller.

Parameters:

treeCtrl - Tree controller.

getSelected

public ModuleProperties[] getSelected()
                               throws NothingSelectedException

Get selected module.

Returns:

Selected modules.

Throws:

NothingSelectedException - No modules were selected.

getAboutAction

public Action getAboutAction()

Get about action.

Returns:

Action.

getHelpAction

public Action getHelpAction()

Get help action.

Returns:

Action.

getPreferencesAction

public Action getPreferencesAction()

Get preferences window startup action.

Returns:

Action.

getParserAction

public Action getParserAction()

Get parser window startup action.

Returns:

Action.

getExitAction

public Action getExitAction()

Get exit action.

Returns:

Action.

getAddAction

public Action getAddAction()

Get action for adding a new QEDEQ module out of the web.

Returns:

Action.

getAddFileAction

public Action getAddFileAction()

Get action for adding a new QEDEQ module from a local file.

Returns:

Action.

getLatexAction

public Action getLatexAction()

Get action for transforming the selected QEDEQ modules into LaTeX.

Returns:

Action.

getCheckLogicAction

public Action getCheckLogicAction()

Get action for checking the logical correctness of the selected QEDEQ modules.

Returns:

Action.

getRemoveAllAction

public Action getRemoveAllAction()

Get action for removing all QEDEQ modules from memory.

Returns:

Action.

getRemoveLocalBufferAction

public Action getRemoveLocalBufferAction()

Get action for removing all QEDEQ modules from memory and local buffer.

Returns:

Action.

getAddAllModulesFromQedeqAction

public Action getAddAllModulesFromQedeqAction()

Get action for loading all QEDEQ modules for the current release from the QEDEQ web site.

Returns:

Action.

getString

public String getString(String key)

This method returns a string from the resource bundle.

Parameters:

key - Name to look for.

Returns:

Value.

getMnemonic

public char getMnemonic(String key)

Returns a mnemonic from the resource bundle. Typically used as keyboard shortcuts in menu items.

Parameters:

key - Name to look for.

Returns:

Mnemonic.

addToModuleHistory

void addToModuleHistory(String url)

getModuleHistory

ArrayList getModuleHistory()

getMainFrame

JFrame getMainFrame()

selectionError

void selectionError()

getSupportedLanguages

String[] getSupportedLanguages(ModuleProperties prop)