org.qedeq.kernel.se.common
Interface ModuleService

All Superinterfaces:

Service

All Known Subinterfaces:

InternalModuleServicePlugin, ModuleServicePlugin

All Known Implementing Classes:

DynamicHeuristicCheckerPlugin, FormalProofCheckerPlugin, LoadDirectlyRequiredModulesPlugin, LoadRequiredModulesPlugin, LoadXmlOperatorListUtility, Qedeq2LatexPlugin, Qedeq2UnicodeTextPlugin, Qedeq2Utf8Plugin, Qedeq2Xml, SimpleProofFinderPlugin, WellFormedCheckerPlugin, XmlQedeqFileDao

public interface ModuleService
extends Service

Currently just a marker interface for services working mainly on one particular module.

Author:

Michael Meyling

Method Summary

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

getServiceAction, getServiceDescription, getServiceId