org.qedeq.kernel.bo.common
Interface KernelServices

All Known Subinterfaces:

Kernel, KernelState

All Known Implementing Classes:

DefaultInternalKernelServices, KernelContext

public interface KernelServices

The main QEDEQ kernel methods are assembled here.

Author:

Michael Meyling

Method Summary

boolean	checkFormallyProved(ModuleAddress address) Check if all propositions of this and all required modules have correct formal proofs.
boolean	checkWellFormedness(ModuleAddress address) Check if all formulas of a QEDEQ module and its required modules are well formed.
void	clearAllPluginResults(ModuleAddress address) Clear all plugin warnings and errors for given module.
boolean	clearLocalBuffer() Clear local buffer and all loaded QEDEQ modules.
java.lang.Object	executePlugin(java.lang.String id, ModuleAddress address, java.lang.Object data) Execute plugin on given QEDEQ module.
ModuleAddress[]	getAllLoadedModules() Get list of all currently loaded QEDEQ modules.
ModuleAddress	getModuleAddress(java.io.File file) Get module address from URL.
ModuleAddress	getModuleAddress(java.lang.String url) Get module address from URL.
ModuleAddress	getModuleAddress(java.net.URL url) Get module address from URL.
ModuleService[]	getPlugins() Get all installed plugins.
QedeqBo	getQedeqBo(ModuleAddress address) Get QedeqBo for an address.
ServiceJob[]	getRunningServiceProcesses() Get all running service processes.
ServiceJob[]	getServiceProcesses() Get information about all service processes.
java.lang.String	getSource(ModuleAddress address) Get source of an QEDEQ module.
boolean	loadAllModulesFromQedeq() Load all QEDEQ modules from project web directory for current kernel.
QedeqBo	loadModule(ModuleAddress address) Get a certain module.
boolean	loadRequiredModules(ModuleAddress address) Get required modules of given module.
boolean	removeAllModules() Remove all modules from memory.
void	removeModule(ModuleAddress address) Remove a QEDEQ module from memory.
void	terminateAllServiceProcesses() Stop all currently running service executions.

Method Detail

removeAllModules

boolean removeAllModules()

Remove all modules from memory.

Returns:

Was removal successful?

clearLocalBuffer

boolean clearLocalBuffer()

Clear local buffer and all loaded QEDEQ modules.

Returns:

Was deletion successful?

loadModule

QedeqBo loadModule(ModuleAddress address)

Get a certain module. You can check the status to know if the loading was successful.

Parameters:

address - Address of module.

Returns:

Wanted module.

loadRequiredModules

boolean loadRequiredModules(ModuleAddress address)

Get required modules of given module. You can check the status to know if the loading was successful.

Parameters:

address - Address of module.

Returns:

Successful loading.

loadAllModulesFromQedeq

boolean loadAllModulesFromQedeq()

Load all QEDEQ modules from project web directory for current kernel.

Returns:

Successful loading.

removeModule

void removeModule(ModuleAddress address)

Remove a QEDEQ module from memory.

Parameters:

address - Remove module identified by this address.

getAllLoadedModules

ModuleAddress[] getAllLoadedModules()

Get list of all currently loaded QEDEQ modules.

Returns:

All currently loaded QEDEQ modules.

getQedeqBo

QedeqBo getQedeqBo(ModuleAddress address)

Get QedeqBo for an address.

Parameters:

address - Look for this address.

Returns:

Existing or new QedeqBo.

getSource

java.lang.String getSource(ModuleAddress address)
                           throws java.io.IOException

Get source of an QEDEQ module. If the module was not yet not buffered null is returned.

Parameters:

address - Address for QEDEQ module address.

Returns:

Contents of locally buffered QEDEQ module.

Throws:

java.io.IOException - Loading failed.

getModuleAddress

ModuleAddress getModuleAddress(java.net.URL url)
                               throws java.io.IOException

Get module address from URL.

Parameters:

url - URL for QEDEQ module.

Returns:

Module address.

Throws:

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

getModuleAddress

ModuleAddress getModuleAddress(java.lang.String url)
                               throws java.io.IOException

Get module address from URL.

Parameters:

url - URL for QEDEQ module.

Returns:

Module address.

Throws:

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

getModuleAddress

ModuleAddress getModuleAddress(java.io.File file)
                               throws java.io.IOException

Get module address from URL.

Parameters:

file - Local QEDEQ module.

Returns:

Module address.

Throws:

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

checkWellFormedness

boolean checkWellFormedness(ModuleAddress address)

Check if all formulas of a QEDEQ module and its required modules are well formed.

Parameters:

address - Module to check.

Returns:

Was check successful?

checkFormallyProved

boolean checkFormallyProved(ModuleAddress address)

Check if all propositions of this and all required modules have correct formal proofs.

Parameters:

address - Module to check.

Returns:

Was check successful?

getPlugins

ModuleService[] getPlugins()

Get all installed plugins.

Returns:

Installed plugins.

executePlugin

java.lang.Object executePlugin(java.lang.String id,
                               ModuleAddress address,
                               java.lang.Object data)
                               throws InterruptException

Execute plugin on given QEDEQ module.

Parameters:

id - Plugin id.

address - QEDEQ module address.

data - Process data. Additional data beside module.

Returns:

Plugin specific resulting object. Might be null.

Throws:

InterruptException - User canceled further processing.

clearAllPluginResults

void clearAllPluginResults(ModuleAddress address)

Clear all plugin warnings and errors for given module.

Parameters:

address - QEDEQ module address.

getServiceProcesses

ServiceJob[] getServiceProcesses()

Get information about all service processes.

Returns:

Result.

getRunningServiceProcesses

ServiceJob[] getRunningServiceProcesses()

Get all running service processes. But remember a running process might currently be blocked.

Returns:

All service running processes.

terminateAllServiceProcesses

void terminateAllServiceProcesses()

Stop all currently running service executions.