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

Packages that use InternalServiceJob

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.internal	Central module service plugin functionality.
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.

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

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

class

InternalServiceJobImpl Process info for a kernel service.

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

InternalServiceJob

InternalModuleServiceCallImpl.getInternalServiceProcess()

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

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

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

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

InternalServiceJob

InternalModuleServiceCall.getInternalServiceProcess() Return service process the call was initiated.

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

boolean	InternalKernelServices.checkFormallyProved(InternalServiceJob process, KernelQedeqBo qedeq) Check if all propositions of this and all required modules have correct formal proofs.
boolean	InternalKernelServices.checkWellFormedness(InternalServiceJob process, KernelQedeqBo qedeq) Check if all formulas of a QEDEQ module and its required modules are well formed.
java.lang.Object	InternalKernelServices.executePlugin(InternalServiceJob parent, java.lang.String id, KernelQedeqBo qedeq, java.lang.Object data) Execute plugin on given QEDEQ module.
KernelQedeqBo	InternalKernelServices.loadKernelModule(InternalServiceJob process, ModuleAddress address) Load QEDEQ module.
KernelQedeqBo	InternalKernelServices.loadKernelModule(InternalServiceJob process, ModuleAddress parent, Specification spec) Load specified QEDEQ module from QEDEQ parent module.
Qedeq	QedeqFileDao.loadQedeq(InternalServiceJob process, QedeqBo prop, java.io.File localFile) Load a QEDEQ module from file.
boolean	InternalKernelServices.loadRequiredModules(InternalServiceJob process, KernelQedeqBo qedeq) Get required modules of given module.
void	QedeqFileDao.saveQedeq(InternalServiceJob process, KernelQedeqBo prop, java.io.File localFile) Save a QEDEQ module as file.

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

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

void	ModuleLabelsCreator.createLabels(InternalServiceJob process, ModuleLabels labels) Fill QEDEQ module labels.
void	ControlVisitor.traverse(InternalServiceJob process) Start traverse of QedeqBo.

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

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

InternalServiceJob

ServiceProcessManager.createServiceJob(java.lang.String id) Create a service job for executing a plugin.

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

boolean	DefaultInternalKernelServices.checkFormallyProved(InternalServiceJob process, KernelQedeqBo qedeq)
boolean	DefaultInternalKernelServices.checkWellFormedness(InternalServiceJob process, KernelQedeqBo qedeq)
InternalModuleServiceCallImpl	ServiceProcessManager.createServiceCall(Service service, QedeqBo qedeq, Parameters configParameters, Parameters parameters, InternalServiceJob process) Create service call.
java.lang.Object	DefaultInternalKernelServices.executePlugin(InternalServiceJob process, java.lang.String id, KernelQedeqBo qedeq, java.lang.Object data)
java.lang.Object	ServiceProcessManager.executePlugin(java.lang.String id, KernelQedeqBo qedeq, java.lang.Object data, InternalServiceJob process) Execute a plugin on an QEDEQ module.
ModuleServiceResult	ServiceProcessManager.executeService(ModuleService service, ModuleServiceExecutor executor, QedeqBo qedeq, InternalServiceJob process)
KernelQedeqBo	DefaultInternalKernelServices.loadKernelModule(InternalServiceJob process, ModuleAddress address)
KernelQedeqBo	DefaultInternalKernelServices.loadKernelModule(InternalServiceJob process, ModuleAddress parent, Specification spec) Load specified QEDEQ module from QEDEQ parent module.
boolean	DefaultInternalKernelServices.loadRequiredModules(InternalServiceJob process, KernelQedeqBo qedeq)

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

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

void	WellFormedCheckerExecutor.traverse(InternalServiceJob process)

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

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

void	Qedeq2UnicodeVisitor.generateUtf8(InternalServiceJob process, AbstractOutput printer, java.lang.String language, java.lang.String level) Gives a UTF-8 representation of given QEDEQ module as InputStream.
java.lang.String	Qedeq2UnicodeTextExecutor.generateUtf8(InternalServiceJob process, java.lang.String language, java.lang.String level) Gives a UTF-8 representation of given QEDEQ module as InputStream.
java.lang.String	Qedeq2Utf8Executor.generateUtf8(InternalServiceJob process, java.lang.String language, java.lang.String level) Gives a UTF-8 representation of given QEDEQ module as InputStream.

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

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

Qedeq	XmlQedeqFileDao.loadQedeq(InternalServiceJob process, QedeqBo prop, java.io.File file)
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.
void	XmlQedeqFileDao.saveQedeq(InternalServiceJob process, KernelQedeqBo prop, java.io.File localFile)