org.qedeq.kernel.bo.service.logic
Class WellFormedCheckerPlugin

java.lang.Object
  org.qedeq.kernel.bo.service.logic.WellFormedCheckerPlugin

All Implemented Interfaces:

InternalModuleServicePlugin, ModuleServicePlugin, ModuleService, Service

public final class WellFormedCheckerPlugin
extends java.lang.Object
implements InternalModuleServicePlugin

Checks if all formulas of a QEDEQ module are well formed. Also dependency checks are included.

Author:

Michael Meyling

Constructor Summary

WellFormedCheckerPlugin()

Method Summary

ModuleServicePluginExecutor	createExecutor(KernelQedeqBo qedeq, Parameters parameters) Create execution instance for this plugin.
java.lang.String	getServiceAction() Get service action name.
java.lang.String	getServiceDescription() Get service description.
java.lang.String	getServiceId() Get service id.
void	setDefaultValuesForEmptyPluginParameters(Parameters parameters) Set default configuration parameters.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

WellFormedCheckerPlugin

public WellFormedCheckerPlugin()

Method Detail

getServiceId

public java.lang.String getServiceId()

Description copied from interface: Service

Get service id.

Specified by:

getServiceId in interface Service

Returns:

Service id.

getServiceAction

public java.lang.String getServiceAction()

Description copied from interface: Service

Get service action name. This is what the service does.

Specified by:

getServiceAction in interface Service

Returns:

Service action name.

getServiceDescription

public java.lang.String getServiceDescription()

Description copied from interface: Service

Get service description.

Specified by:

getServiceDescription in interface Service

Returns:

Description of service.

createExecutor

public ModuleServicePluginExecutor createExecutor(KernelQedeqBo qedeq,
                                                  Parameters parameters)

Description copied from interface: ModuleServicePlugin

Create execution instance for this plugin.

Specified by:

createExecutor in interface ModuleServicePlugin

Parameters:

qedeq - QEDEQ module to work on.

parameters - Plugin specific parameters. Might not be null.

Returns:

Instance to execute the plugin.

setDefaultValuesForEmptyPluginParameters

public void setDefaultValuesForEmptyPluginParameters(Parameters parameters)

Description copied from interface: ModuleServicePlugin

Set default configuration parameters.

Specified by:

setDefaultValuesForEmptyPluginParameters in interface ModuleServicePlugin

Parameters:

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