Uses of Interface
org.qedeq.kernel.se.common.Service

Packages that use Service

org.qedeq.kernel.bo.common	Basis classes for all packages.
org.qedeq.kernel.bo.job	Everything for the module service plugins
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.bo.service.basis	Contains business object controllers.
org.qedeq.kernel.bo.service.dependency	Plugin for loading all required modules.
org.qedeq.kernel.bo.service.heuristic	Plugin for model checking of formulas.
org.qedeq.kernel.bo.service.internal	Central module service plugin functionality.
org.qedeq.kernel.bo.service.latex	LaTeX export abilities of the kernel.
org.qedeq.kernel.bo.service.logic	Contains logical services.
org.qedeq.kernel.bo.service.unicode	UTF-8 export abilities of the kernel.
org.qedeq.kernel.se.common	Common classes.
org.qedeq.kernel.se.config	Herein is the configuration for the kernel.
org.qedeq.kernel.xml.dao	Load and persist QEDEQ XML modules.
org.qedeq.kernel.xml.handler.parser	Functionality to parse XML operator lists.

Uses of Service in org.qedeq.kernel.bo.common

Methods in org.qedeq.kernel.bo.common that return Service

Service	QedeqBo.getCurrentlyRunningService() Get currently running service.
Service	ModuleServiceCall.getService() Get service we work for.

Uses of Service in org.qedeq.kernel.bo.job

Methods in org.qedeq.kernel.bo.job that return Service

Service

InternalModuleServiceCallImpl.getService()

Constructors in org.qedeq.kernel.bo.job with parameters of type Service

InternalModuleServiceCallImpl(Service service, QedeqBo qedeq, Parameters config, Parameters parameters, InternalServiceJob process, ModuleServiceCall parent)
A new service process within the current thread.

Uses of Service in org.qedeq.kernel.bo.module

Methods in org.qedeq.kernel.bo.module with parameters of type Service

SourceFileException

KernelQedeqBo.createSourceFileException(Service service, ModuleDataException exception) Create exception out of ModuleDataException.

Uses of Service in org.qedeq.kernel.bo.service.basis

Subinterfaces of Service in org.qedeq.kernel.bo.service.basis

interface	InternalModuleServicePlugin Just a marker interface for an internal plugin.
interface	ModuleServicePlugin Represents a plugin and its services.

Methods in org.qedeq.kernel.bo.service.basis that return Service

Service

ControlVisitor.getService() Get service we work for.

Constructors in org.qedeq.kernel.bo.service.basis with parameters of type Service

ControlVisitor(Service service, KernelQedeqBo prop)
Constructor.

ModuleLabelsCreator(Service service, KernelQedeqBo prop)
Constructor.

Uses of Service in org.qedeq.kernel.bo.service.dependency

Classes in org.qedeq.kernel.bo.service.dependency that implement Service

class	LoadDirectlyRequiredModulesPlugin Load all imported modules.
class	LoadRequiredModulesPlugin Load all imported modules recursively.

Uses of Service in org.qedeq.kernel.bo.service.heuristic

Classes in org.qedeq.kernel.bo.service.heuristic that implement Service

class

DynamicHeuristicCheckerPlugin Plugin to check if QEDEQ module formulas are valid within a model.

Uses of Service in org.qedeq.kernel.bo.service.internal

Classes in org.qedeq.kernel.bo.service.internal that implement Service

class

DefaultInternalKernelServices This class provides a default implementation for the QEDEQ module services.

Methods in org.qedeq.kernel.bo.service.internal that return Service

Service

DefaultKernelQedeqBo.getCurrentlyRunningService()

Methods in org.qedeq.kernel.bo.service.internal with parameters of type Service

InternalModuleServiceCallImpl	ServiceProcessManager.createServiceCall(Service service, QedeqBo qedeq, Parameters configParameters, Parameters parameters, InternalServiceJob process) Create service call.
SourceFileException	DefaultKernelQedeqBo.createSourceFileException(Service service, ModuleDataException exception)
SourceFileExceptionList	DefaultKernelQedeqBo.createSourceFileExceptionList(Service service, ModuleDataException exception) Create exception out of ModuleDataException.
SourceFileExceptionList	DefaultKernelQedeqBo.createSourceFileExceptionList(Service service, ModuleDataException exception, Qedeq qedeq) Create exception out of ModuleDataException.
void	DefaultKernelQedeqBo.setCurrentlyRunningService(Service currentlyRunningService)

Uses of Service in org.qedeq.kernel.bo.service.latex

Classes in org.qedeq.kernel.bo.service.latex that implement Service

class

Qedeq2LatexPlugin Plugin to transfer a QEDEQ module into a LaTeX file.

Uses of Service in org.qedeq.kernel.bo.service.logic

Classes in org.qedeq.kernel.bo.service.logic that implement Service

class	FormalProofCheckerPlugin Checks if all propositions have a correct formal proof.
class	SimpleProofFinderPlugin Finds primitive formal proofs.
class	WellFormedCheckerPlugin Checks if all formulas of a QEDEQ module are well formed.

Uses of Service in org.qedeq.kernel.bo.service.unicode

Classes in org.qedeq.kernel.bo.service.unicode that implement Service

class	Qedeq2UnicodeTextPlugin Plugin to transfer a QEDEQ module into a UTF-8 text file.
class	Qedeq2Utf8Plugin Plugin to transfer a QEDEQ module into a UTF-8 text file.

Uses of Service in org.qedeq.kernel.se.common

Subinterfaces of Service in org.qedeq.kernel.se.common

interface

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

Methods in org.qedeq.kernel.se.common that return Service

Service

SourceFileException.getService() Get service that found the error.

Constructors in org.qedeq.kernel.se.common with parameters of type Service

SourceFileException(Service service, int errorCode, java.lang.String errorText, java.lang.Throwable exception, SourceArea errorArea, SourceArea referenceArea)
Constructor.

SourceFileException(Service service, QedeqException exception, SourceArea errorArea, SourceArea referenceArea)
Constructor.

Uses of Service in org.qedeq.kernel.se.config

Methods in org.qedeq.kernel.se.config with parameters of type Service

Parameters	QedeqConfig.getServiceEntries(Service service) Get service properties from configuration file.
boolean	QedeqConfig.getServiceKeyValue(Service service, java.lang.String key, boolean defaultValue) Get value for given service key.
int	QedeqConfig.getServiceKeyValue(Service service, java.lang.String key, int defaultValue) Get value for given service key.
java.lang.String	QedeqConfig.getServiceKeyValue(Service service, java.lang.String key, java.lang.String defaultValue) Get value for given service key.
void	QedeqConfig.setServiceKeyValue(Service service, java.lang.String key, boolean value) Set value for given service key.
void	QedeqConfig.setServiceKeyValue(Service service, java.lang.String key, int value) Set value for given service key.
void	QedeqConfig.setServiceKeyValue(Service service, java.lang.String key, java.lang.String value) Set value for given service key.
void	QedeqConfig.setServiceKeyValues(Service service, Parameters parameters) Set value for given service key.

Uses of Service in org.qedeq.kernel.xml.dao

Classes in org.qedeq.kernel.xml.dao that implement Service

class	Qedeq2Xml This class prints a QEDEQ module in XML format in an output stream.
class	XmlQedeqFileDao This class provides access methods for loading QEDEQ modules from XML files.

Uses of Service in org.qedeq.kernel.xml.handler.parser

Classes in org.qedeq.kernel.xml.handler.parser that implement Service

class

LoadXmlOperatorListUtility Load operator list from an XML file.