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

All Superinterfaces:

ModuleService, ModuleServicePlugin, Service

All Known Implementing Classes:

FormalProofCheckerPlugin, LoadDirectlyRequiredModulesPlugin, LoadRequiredModulesPlugin, WellFormedCheckerPlugin

public interface InternalModuleServicePlugin
extends ModuleServicePlugin

Just a marker interface for an internal plugin.

Author:

Michael Meyling

Method Summary

Methods inherited from interface org.qedeq.kernel.bo.service.basis.ModuleServicePlugin

createExecutor, setDefaultValuesForEmptyPluginParameters

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

getServiceAction, getServiceDescription, getServiceId