|
Hilbert II - Version 0.03.04 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Access to QEDEQ modules.
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. |
String |
getGenerationDirectory()
Get directory for generated files. |
ModuleProperties |
getModuleProperties(String address)
Get ModuleProperties for an address. |
void |
init()
Initialisation of ModuleFactory. |
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. |
Method Detail |
public void init()
Kernel
directly after switching into ready state. Calling this method in ready state is not
supported.
TODO mime 20070411: what about an appropriate closing method?
public void removeAllModules()
public void clearLocalBuffer() throws IOException
IOException
- Deletion of all buffered file was not successful.public QedeqBo loadModule(String address) throws XmlFileExceptionList
address
- Address of module.
XmlFileExceptionList
- Module could not be successfully loaded.public QedeqBo loadModule(ModuleAddress moduleAddress) throws XmlFileExceptionList
moduleAddress
- Address of module.
XmlFileExceptionList
- Module could not be successfully loaded.public QedeqBo loadModule(QedeqBo module, Specification spec) throws XmlFileExceptionList
module
- this is the current module.spec
- specification of wanted module.
XmlFileExceptionList
- Module could not be successfully loaded.public boolean loadAllModulesFromQedeq()
public String[] getAllLoadedModules()
public String getBufferDirectory()
public String getGenerationDirectory()
public ModuleProperties getModuleProperties(String address)
ModuleProperties
for an address.
address
- 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. |