Uses of Interface
org.qedeq.kernel.bo.module.InternalModuleServiceCall

Packages that use InternalModuleServiceCall

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.

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

Classes in org.qedeq.kernel.bo.job that implement InternalModuleServiceCall

class

InternalModuleServiceCallImpl Single call for a service.

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

InternalModuleServiceCall

InternalServiceJobImpl.getInternalServiceCall()

Methods in org.qedeq.kernel.bo.job with parameters of type InternalModuleServiceCall

void	InternalServiceJobImpl.setInternalServiceCall(InternalModuleServiceCall call)

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

Methods in org.qedeq.kernel.bo.module that return InternalModuleServiceCall

InternalModuleServiceCall

InternalServiceJob.getInternalServiceCall() Get currently running service call.

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

boolean	ModuleArbiter.lockRequiredModule(InternalModuleServiceCall call) Lock QEDEQ module for exclusive read and write access.
void	InternalServiceJob.setInternalServiceCall(InternalModuleServiceCall call) Service call.
boolean	ModuleArbiter.unlockRequiredModule(InternalModuleServiceCall call) Unlock module again.

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

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

InternalModuleServiceCall

ControlVisitor.getInternalServiceCall() Get service call we work in.

Methods in org.qedeq.kernel.bo.service.basis with parameters of type InternalModuleServiceCall

java.lang.Object	ModuleServicePluginExecutor.executePlugin(InternalModuleServiceCall call, java.lang.Object data) Execute plugin.
void	ModuleServiceExecutor.executeService(InternalModuleServiceCall call) Execute service.

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

Methods in org.qedeq.kernel.bo.service.dependency with parameters of type InternalModuleServiceCall

java.lang.Object	LoadRequiredModulesExecutor.executePlugin(InternalModuleServiceCall call, java.lang.Object data)
java.lang.Object	LoadDirectlyRequiredModulesExecutor.executePlugin(InternalModuleServiceCall call, java.lang.Object data)

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

Methods in org.qedeq.kernel.bo.service.heuristic with parameters of type InternalModuleServiceCall

java.lang.Object

DynamicHeuristicCheckerExecutor.executePlugin(InternalModuleServiceCall call, java.lang.Object data)

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

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

void	ServiceProcessManager.endServiceCall(InternalModuleServiceCall call) End service call by unlocking previously locked module.
boolean	ModuleArbiterImpl.lockRequiredModule(InternalModuleServiceCall call)
boolean	ModuleArbiterImpl.unlockRequiredModule(InternalModuleServiceCall call)

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

Methods in org.qedeq.kernel.bo.service.latex with parameters of type InternalModuleServiceCall

static void	QedeqBoDuplicateLanguageChecker.check(InternalModuleServiceCall call) Checks if all formulas of a QEDEQ module are well formed.
java.io.InputStream	Qedeq2LatexExecutor.createLatex(InternalModuleServiceCall call, java.lang.String language, java.lang.String level) Get an input stream for the LaTeX creation.
java.lang.Object	Qedeq2LatexExecutor.executePlugin(InternalModuleServiceCall call, java.lang.Object data)
java.io.File	Qedeq2LatexExecutor.generateLatex(InternalModuleServiceCall call, java.lang.String language, java.lang.String level) Gives a LaTeX representation of given QEDEQ module as InputStream.

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

Methods in org.qedeq.kernel.bo.service.logic with parameters of type InternalModuleServiceCall

java.lang.Object	WellFormedCheckerExecutor.executePlugin(InternalModuleServiceCall call, java.lang.Object data)
java.lang.Object	FormalProofCheckerExecutor.executePlugin(InternalModuleServiceCall call, java.lang.Object data)
java.lang.Object	SimpleProofFinderExecutor.executePlugin(InternalModuleServiceCall call, java.lang.Object data)

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

Methods in org.qedeq.kernel.bo.service.unicode with parameters of type InternalModuleServiceCall

java.lang.Object	Qedeq2UnicodeTextExecutor.executePlugin(InternalModuleServiceCall call, java.lang.Object data)
java.lang.Object	Qedeq2Utf8Executor.executePlugin(InternalModuleServiceCall call, java.lang.Object data)