org.qedeq.kernel.bo.control
Interface InternalKernelServices

All Superinterfaces:

KernelServices

All Known Implementing Classes:

DefaultInternalKernelServices

public interface InternalKernelServices

extends KernelServices

The kernel internal service methods are assembled here.

Version:

$Revision: 1.1 $

Method Summary

File	getBufferDirectory() Get buffer directory for QEDEQ module files.
File	getGenerationDirectory() Get directory for generated files.
KernelQedeqBo	getKernelQedeqBo(ModuleAddress address) Get KernelQedeqBo for an address.
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.
void	startup() Initialisation of services.

Methods inherited from interface org.qedeq.kernel.bo.module.KernelServices

checkModule, clearLocalBuffer, getAllLoadedModules, getModuleAddress, getModuleAddress, getQedeqBo, getSource, getSourceFileExceptionList, loadAllModulesFromQedeq, loadModule, loadRequiredModules, removeAllModules, removeModule

Method Detail

startup

public void startup()

Initialisation of services. This method should be called from the 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? TODO mime 20080213: should not be here! Implementation detail!

getBufferDirectory

public File getBufferDirectory()

Get buffer directory for QEDEQ module files.

Returns:

buffer directory.

getGenerationDirectory

public File getGenerationDirectory()

Get directory for generated files.

Returns:

Generation directory.

getKernelQedeqBo

public KernelQedeqBo getKernelQedeqBo(ModuleAddress address)

Get KernelQedeqBo for an address.

Parameters:

address - Look for this address.

Returns:

Existing or new KernelQedeqBo, if address is malformed null is returned.

getLocalFilePath

public File getLocalFilePath(ModuleAddress address)

Transform an URL address into a local file path where the QEDEQ module is buffered. If the module is not buffered null is returned.

Parameters:

address - Get local address for this QEDEQ module address.

Returns:

Local file path for that address.

getModuleAddress

public ModuleAddress getModuleAddress(File file)
                               throws IOException

Get module address from URL.

Specified by:

getModuleAddress in interface KernelServices

Parameters:

file - Local QEDEQ module.

Returns:

Module address.

Throws:

IOException - URL has not the correct format for referencing a QEDEQ module.