|
Hilbert II - Version 0.03.04 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
State dependent methods for the kernel.
| Method Summary | |
QedeqConfig |
getConfig()
Get access to configuration parameters. |
boolean |
isReady()
Is the kernel ready to perform its main tasks. |
void |
shutdown()
Closes the kernel. |
void |
startup(ModuleFactory moduleFactory)
Starts the kernel. |
| Methods inherited from interface org.qedeq.kernel.bo.module.ModuleFactory |
clearLocalBuffer, getAllLoadedModules, getBufferDirectory, getGenerationDirectory, getModuleProperties, init, loadAllModulesFromQedeq, loadModule, loadModule, loadModule, removeAllModules |
| Method Detail |
public void startup(ModuleFactory moduleFactory)
throws IOException
moduleFactory - Factory for loading QEDEQ modules.
IOException - Initialization failed.public boolean isReady()
public QedeqConfig getConfig()
public void shutdown()
|
Hilbert II - Version 0.03.04 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |