Hilbert II - Version 0.03.09

org.qedeq.gui.se.control
Class QedeqController

java.lang.Object
  extended byorg.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. LATER mime 20070605: encapsulate actions that need another thread for later java versions: use Executor framework

Version:
$Revision: 1.5 $

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.
 Action getRemoveModuleAction()
          Get action for removing all seelected QEDEQ modules from memory.
 QedeqBo[] getSelected()
          Get selected module.
 String getString(String key)
          This method returns a string from the resource bundle.
(package private)  String[] getSupportedLanguages(QedeqBo 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 QedeqBo[] 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.

getRemoveModuleAction

public Action getRemoveModuleAction()
Get action for removing all seelected 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(QedeqBo prop)

Hilbert II - Version 0.03.09

©left GNU General Public Licence
All Rights Reserved.