|
Hilbert II - Version 0.03.04 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.qedeq.kernel.context.KernelContext
This class provides static access methods for basic informations.
| Method Summary | |
void |
clearLocalBuffer()
Clear local file buffer and all loaded QEDEQ modules. |
String[] |
getAllLoadedModules()
Get list of all currently loaded QEDEQ modules. |
String |
getBufferDirectory()
Get buffer directory for QEDEQ module files. |
QedeqConfig |
getConfig()
Get access to configuration parameters. |
String |
getDescriptiveKernelVersion()
Get descriptive version information of this kernel. |
String |
getGenerationDirectory()
Get directory for generated files. |
static KernelContext |
getInstance()
Get instance of kernel context. |
String |
getKernelVersion()
Get version of this kernel. |
String |
getKernelVersionDirectory()
Get relative version directory of this kernel. |
String |
getMaximalRuleVersion()
Get maximal supported rule version of this kernel. |
ModuleProperties |
getModuleProperties(String address)
Get ModuleProperties for an address. |
void |
init()
Initialisation of ModuleFactory. |
boolean |
isReady()
Is the kernel ready to perform its main tasks. |
boolean |
isRuleVersionSupported(String ruleVersion)
Is a given rule version supported? |
boolean |
loadAllModulesFromQedeq()
Load all QEDEQ modules from project web directory for current kernel. |
QedeqBo |
loadModule(ModuleAddress moduleAddress)
Get a certain module. |
QedeqBo |
loadModule(QedeqBo module,
Specification spec)
Load a certain module. |
QedeqBo |
loadModule(String address)
Get a certain module. |
void |
removeAllModules()
Remove all modules from memory. |
void |
shutdown()
Closes the kernel. |
void |
startup(ModuleFactory moduleFactory)
Starts the kernel. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
public static final KernelContext getInstance()
public final String getKernelVersion()
public final String getKernelVersionDirectory()
getKernelVersionDirectory in interface Kernelpublic final String getDescriptiveKernelVersion()
public final String getMaximalRuleVersion()
public final boolean isRuleVersionSupported(String ruleVersion)
ruleVersion - Check this one.
public void startup(ModuleFactory moduleFactory)
throws IOException
KernelState
startup in interface KernelStatemoduleFactory - Factory for loading QEDEQ modules.
IOException - Initialization failed.public boolean isReady()
KernelState
isReady in interface KernelStatepublic QedeqConfig getConfig()
KernelState
getConfig in interface KernelStatepublic void shutdown()
KernelState
shutdown in interface KernelStatepublic void init()
ModuleFactoryKernel
directly after switching into ready state. Calling this method in ready state is not
supported.
TODO mime 20070411: what about an appropriate closing method?
init in interface ModuleFactorypublic void removeAllModules()
ModuleFactory
removeAllModules in interface ModuleFactory
public void clearLocalBuffer()
throws IOException
ModuleFactory
clearLocalBuffer in interface ModuleFactoryIOException - Deletion of all buffered file was not successful.
public QedeqBo loadModule(String address)
throws XmlFileExceptionList
ModuleFactory
loadModule in interface ModuleFactoryaddress - Address of module.
XmlFileExceptionList - Module could not be successfully loaded.
public QedeqBo loadModule(ModuleAddress moduleAddress)
throws XmlFileExceptionList
ModuleFactory
loadModule in interface ModuleFactorymoduleAddress - Address of module.
XmlFileExceptionList - Module could not be successfully loaded.
public QedeqBo loadModule(QedeqBo module,
Specification spec)
throws XmlFileExceptionList
ModuleFactory
loadModule in interface ModuleFactorymodule - this is the current module.spec - specification of wanted module.
XmlFileExceptionList - Module could not be successfully loaded.public boolean loadAllModulesFromQedeq()
ModuleFactory
loadAllModulesFromQedeq in interface ModuleFactorypublic String[] getAllLoadedModules()
ModuleFactory
getAllLoadedModules in interface ModuleFactorypublic String getBufferDirectory()
ModuleFactory
getBufferDirectory in interface ModuleFactorypublic String getGenerationDirectory()
ModuleFactory
getGenerationDirectory in interface ModuleFactorypublic ModuleProperties getModuleProperties(String address)
ModuleFactoryModuleProperties for an address.
getModuleProperties in interface ModuleFactoryaddress - Look for this address.
ModuleProperties, if address is maleformed
null is returned.
|
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. |