org.qedeq.kernel.bo.service.basis
Interface ModuleServicePlugin

All Superinterfaces:

ModuleService, Service

All Known Subinterfaces:

InternalModuleServicePlugin

All Known Implementing Classes:

DynamicHeuristicCheckerPlugin, FormalProofCheckerPlugin, LoadDirectlyRequiredModulesPlugin, LoadRequiredModulesPlugin, Qedeq2LatexPlugin, Qedeq2UnicodeTextPlugin, Qedeq2Utf8Plugin, SimpleProofFinderPlugin, WellFormedCheckerPlugin

public interface ModuleServicePlugin
extends ModuleService

Represents a plugin and its services.

Author:

Michael Meyling

Method Summary

ModuleServicePluginExecutor	createExecutor(KernelQedeqBo qedeq, Parameters parameters) Create execution instance for this plugin.
void	setDefaultValuesForEmptyPluginParameters(Parameters parameters) Set default configuration parameters.

Methods inherited from interface org.qedeq.kernel.se.common.Service

getServiceAction, getServiceDescription, getServiceId

Method Detail

createExecutor

ModuleServicePluginExecutor createExecutor(KernelQedeqBo qedeq,
                                           Parameters parameters)

Create execution instance for this plugin.

Parameters:

qedeq - QEDEQ module to work on.

parameters - Plugin specific parameters. Might not be null.

Returns:

Instance to execute the plugin.

setDefaultValuesForEmptyPluginParameters

void setDefaultValuesForEmptyPluginParameters(Parameters parameters)

Set default configuration parameters.

Parameters:

parameters - Plugin specific parameters. Non existing key value pairs will be replaced by default values.