org.qedeq.kernel.bo.common
Interface Kernel

All Superinterfaces:

KernelServices

All Known Implementing Classes:

DefaultInternalKernelServices

public interface Kernel
extends KernelServices

Service methods inclusive kernel integration methods.

Author:

Michael Meyling

Method Summary

void	shutdownServices() Shutdown of services.
void	startupServices() Initialization of services.

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

checkFormallyProved, checkWellFormedness, clearAllPluginResults, clearLocalBuffer, executePlugin, getAllLoadedModules, getModuleAddress, getModuleAddress, getModuleAddress, getPlugins, getQedeqBo, getRunningServiceProcesses, getServiceProcesses, getSource, loadAllModulesFromQedeq, loadModule, loadRequiredModules, removeAllModules, removeModule, terminateAllServiceProcesses

Method Detail

startupServices

void startupServices()

Initialization 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.

shutdownServices

void shutdownServices()

Shutdown of services.