|
Hilbert II - Version 0.03.08 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.qedeq.kernel.bo.load.DefaultModuleFactory
This class provides access methods for loading QEDEQ modules.
| Constructor Summary | |
DefaultModuleFactory(Kernel kernel)
Constructor. |
|
| Method Summary | |
void |
autoReloadLastSessionChecked()
If configured load all QEDEQ modules that where successfully loaded the last time. |
void |
clearLocalBuffer()
Clear local file 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 relative local file path. |
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. |
boolean |
loadPreviouslySuccessfullyLoadedModules()
Load all previously checked QEDEQ modules. |
void |
loadRequiredModules(ModuleAddress address)
Get a certain module. |
void |
removeAllModules()
Remove all modules from memory. |
void |
removeModule(ModuleAddress address)
Remove a QEDEQ module from memory. |
void |
removeModule(ModuleProperties prop)
Remove a QEDEQ module from memory. |
void |
startup()
Initialisation of ModuleFactory. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public DefaultModuleFactory(Kernel kernel)
kernel - For kernel access.| Method Detail |
public void startup()
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?
startup in interface ModuleFactorypublic void autoReloadLastSessionChecked()
public void removeAllModules()
ModuleFactory
removeAllModules in interface ModuleFactory
public void removeModule(ModuleAddress address)
throws IOException
removeModule in interface ModuleFactoryaddress - Remove module identified by this address.
IOException - Module is not known to the kernel.public void removeModule(ModuleProperties prop)
prop - Remove module identified by this property.
public void clearLocalBuffer()
throws IOException
clearLocalBuffer in interface ModuleFactoryIOException - Deletion of all buffered file was not successful.
public ModuleProperties loadModule(ModuleAddress address)
throws SourceFileExceptionList
loadModule in interface ModuleFactoryaddress - Address of module.
SourceFileExceptionList - Module could not be successfully loaded.
public ModuleProperties loadModule(QedeqBo module,
Specification spec)
throws SourceFileExceptionList
ModuleFactory
loadModule in interface ModuleFactorymodule - This is the current module.spec - Specification of wanted module.
SourceFileExceptionList - Module could not be successfully loaded.public ModuleAddress[] getAllLoadedModules()
ModuleFactory
getAllLoadedModules in interface ModuleFactory
public void loadRequiredModules(ModuleAddress address)
throws SourceFileExceptionList
ModuleFactory
loadRequiredModules in interface ModuleFactoryaddress - 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 loadPreviouslySuccessfullyLoadedModules()
public boolean loadAllModulesFromQedeq()
ModuleFactory
loadAllModulesFromQedeq in interface ModuleFactorypublic final File getLocalFilePath(ModuleAddress address)
getLocalFilePath in interface ModuleFactoryaddress - Transform this URL.
public File getBufferDirectory()
ModuleFactory
getBufferDirectory in interface ModuleFactorypublic File getGenerationDirectory()
ModuleFactory
getGenerationDirectory in interface ModuleFactorypublic ModuleProperties getModuleProperties(ModuleAddress address)
ModuleFactoryModuleProperties for an address.
getModuleProperties in interface ModuleFactoryaddress - Look for this address.
ModuleProperties, if address is maleformed
null is returned.
public ModuleAddress getModuleAddress(URL url)
throws IOException
ModuleFactory
getModuleAddress in interface ModuleFactoryurl - URL for QEDEQ module.
IOException - URL has not the correct format for referencing a QEDEQ module.
public ModuleAddress getModuleAddress(String url)
throws IOException
ModuleFactory
getModuleAddress in interface ModuleFactoryurl - URL for QEDEQ module.
IOException - URL has not the correct format for referencing a QEDEQ module.
public ModuleAddress getModuleAddress(File file)
throws IOException
ModuleFactory
getModuleAddress in interface ModuleFactoryfile - 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. |