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

Packages that use ModuleService

org.qedeq.kernel.bo	Provides access to the kernel.
org.qedeq.kernel.bo.common	Basis classes for all packages.
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.xml.dao	Load and persist QEDEQ XML modules.
org.qedeq.kernel.xml.handler.common	Common handlers for parsing XML.
org.qedeq.kernel.xml.handler.parser	Functionality to parse XML operator lists.
org.qedeq.kernel.xml.parser	Connection to SAX XML parsers.

Uses of ModuleService in org.qedeq.kernel.bo

Methods in org.qedeq.kernel.bo that return ModuleService

ModuleService[]

KernelContext.getPlugins()

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

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

ModuleService[]

KernelServices.getPlugins() Get all installed plugins.

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

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

void	KernelQedeqBo.addPluginErrorsAndWarnings(ModuleService plugin, SourceFileExceptionList errors, SourceFileExceptionList warnings) Add errors and warnings for service.

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

Subinterfaces of ModuleService 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.

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

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

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

Constructors in org.qedeq.kernel.bo.service.dependency with parameters of type ModuleService

LoadDirectlyRequiredModulesExecutor(ModuleService plugin, KernelQedeqBo prop, Parameters parameter)
Constructor.

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

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

class

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

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

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

ModuleService[]

DefaultInternalKernelServices.getPlugins()

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

void	DefaultKernelQedeqBo.addPluginErrorsAndWarnings(ModuleService plugin, SourceFileExceptionList errors, SourceFileExceptionList warnings)
void	StateManager.addPluginResults(ModuleService plugin, SourceFileExceptionList errors, SourceFileExceptionList warnings) Add the plugin execution errors and warnings.
void	PluginResultManager.addResult(ModuleService plugin, SourceFileExceptionList errors, SourceFileExceptionList warnings) Add results of a plugin.
ModuleServiceResult	ServiceProcessManager.executeService(ModuleService service, ModuleServiceExecutor executor, QedeqBo qedeq, InternalServiceJob process)

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

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

class

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

Constructors in org.qedeq.kernel.bo.service.latex with parameters of type ModuleService

Qedeq2LatexExecutor(ModuleService plugin, KernelQedeqBo prop, Parameters parameters)
Constructor.

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

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

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 ModuleService in org.qedeq.kernel.bo.service.unicode

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

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.

Constructors in org.qedeq.kernel.bo.service.unicode with parameters of type ModuleService

Qedeq2UnicodeVisitor(ModuleService plugin, KernelQedeqBo prop, boolean info, int maximumColumn, boolean addWarnings, boolean brief)
Constructor.

Qedeq2Utf8Executor(ModuleService plugin, KernelQedeqBo prop, Parameters parameters)
Constructor.

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

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

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.

Methods in org.qedeq.kernel.xml.dao with parameters of type ModuleService

static void

Qedeq2Xml.print(InternalServiceJob process, ModuleService plugin, KernelQedeqBo bo, TextOutput printer) Prints a XML representation of given QEDEQ module into a given output stream.

Constructors in org.qedeq.kernel.xml.dao with parameters of type ModuleService

Qedeq2Xml(ModuleService plugin, KernelQedeqBo bo, TextOutput printer)
Constructor.

Uses of ModuleService in org.qedeq.kernel.xml.handler.common

Methods in org.qedeq.kernel.xml.handler.common that return ModuleService

ModuleService	AbstractSimpleHandler.getPlugin() Get current plugin we work for.
ModuleService	SaxDefaultHandler.getPlugin() Get plugin we work for.

Constructors in org.qedeq.kernel.xml.handler.common with parameters of type ModuleService

SaxDefaultHandler(ModuleService plugin)
Constructor.

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

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

class

LoadXmlOperatorListUtility Load operator list from an XML file.

Uses of ModuleService in org.qedeq.kernel.xml.parser

Constructors in org.qedeq.kernel.xml.parser with parameters of type ModuleService

SaxErrorHandler(ModuleService plugin, java.lang.String url, SourceFileExceptionList list)
Constructor.

SaxParser(ModuleService plugin, SaxDefaultHandler handler)
Constructor.