|
Hilbert II - Version 0.03.08 | ||||||||||
| 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 buffer and all loaded QEDEQ modules. |
ModuleAddress[] |
getAllLoadedModules()
Get list of all currently loaded QEDEQ modules. |
File |
getBufferDirectory()
Get buffer directory for QEDEQ module files. |
File |
getGenerationDirectory()
Get directory for generated files. |
File |
getLocalFilePath(ModuleAddress address)
Transform an URL address into a local file path where the QEDEQ module is buffered. |
ModuleAddress |
getModuleAddress(File file)
Get module address from URL. |
ModuleAddress |
getModuleAddress(String url)
Get module address from URL. |
ModuleAddress |
getModuleAddress(URL url)
Get module address from URL. |
ModuleProperties |
getModuleProperties(ModuleAddress address)
Get ModuleProperties for an address. |
boolean |
loadAllModulesFromQedeq()
Load all QEDEQ modules from project web directory for current kernel. |
ModuleProperties |
loadModule(ModuleAddress address)
Get a certain module. |
ModuleProperties |
loadModule(QedeqBo module,
Specification spec)
Load a certain module. |
void |
loadRequiredModules(ModuleAddress address)
Get a certain module. |
void |
removeAllModules()
Remove all modules from memory. |
void |
removeModule(ModuleAddress address)
Remove a certain module. |
void |
startup()
Initialisation of ModuleFactory. |
| Method Detail |
public void startup()
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 ModuleProperties loadModule(ModuleAddress address)
throws SourceFileExceptionList
address - Address of module.
SourceFileExceptionList - Module could not be successfully loaded.
public ModuleProperties loadModule(QedeqBo module,
Specification spec)
throws SourceFileExceptionList
module - This is the current module.spec - Specification of wanted module.
SourceFileExceptionList - Module could not be successfully loaded.
public void loadRequiredModules(ModuleAddress address)
throws SourceFileExceptionList
address - Address of module.
SourceFileExceptionList - Required modules could not be successfully loaded.
This can also happen if the required modules references
form a circle.public boolean loadAllModulesFromQedeq()
public void removeModule(ModuleAddress address)
throws IOException
address - Address of module.
IOException - Module could not be successfully removed.public ModuleAddress[] getAllLoadedModules()
public File getBufferDirectory()
public File getGenerationDirectory()
public ModuleProperties getModuleProperties(ModuleAddress address)
ModuleProperties for an address.
address - Look for this address.
ModuleProperties, if address is maleformed
null is returned.public File getLocalFilePath(ModuleAddress address)
null is returned.
address - Get local address for this QEDEQ module address.
address.
public ModuleAddress getModuleAddress(URL url)
throws IOException
url - URL for QEDEQ module.
IOException - URL has not the correct format for referencing a QEDEQ module.
public ModuleAddress getModuleAddress(String url)
throws IOException
url - URL for QEDEQ module.
IOException - URL has not the correct format for referencing a QEDEQ module.
public ModuleAddress getModuleAddress(File file)
throws IOException
file - Local QEDEQ module.
IOException - URL has not the correct format for referencing a QEDEQ module.
|
Hilbert II - Version 0.03.08 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |