org.qedeq.kernel.se.common
Interface Service

All Known Subinterfaces:

InternalModuleServicePlugin, ModuleService, ModuleServicePlugin

All Known Implementing Classes:

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

public interface Service

Represents a service and its basic properties.

Author:

Michael Meyling

Method Summary

java.lang.String	getServiceAction() Get service action name.
java.lang.String	getServiceDescription() Get service description.
java.lang.String	getServiceId() Get service id.

Method Detail

getServiceId

java.lang.String getServiceId()

Get service id.

Returns:

Service id.

getServiceAction

java.lang.String getServiceAction()

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

Returns:

Service action name.

getServiceDescription

java.lang.String getServiceDescription()

Get service description.

Returns:

Description of service.