org.qedeq.kernel.bo.common
Interface KernelState

All Superinterfaces:

KernelServices

public interface KernelState
extends KernelServices

State changing methods for the kernel.

Author:

Michael Meyling

Method Summary

void	init(QedeqConfig config, Kernel moduleServices, KernelProperties basic) Kernel initialisation.
void	shutdown() Closes the kernel.
void	startup() Start the kernel.

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

init

void init(QedeqConfig config,
          Kernel moduleServices,
          KernelProperties basic)
          throws java.io.IOException

Kernel initialisation.

Parameters:

config - Configuration access.

moduleServices - Various kernel services are supported here.

basic - Basic kernel properties.

Throws:

java.lang.IllegalStateException - Kernel is already initialized.

java.io.IOException - Initialization failed.

startup

void startup()

Start the kernel.

shutdown

void shutdown()

Closes the kernel.