Uses of Class
org.qedeq.kernel.se.visitor.InterruptException

Packages that use InterruptException

org.qedeq.kernel.bo	Provides access to the kernel.
org.qedeq.kernel.bo.common	Basis classes for all packages.
org.qedeq.kernel.bo.logic.proof.common	Contains common proof classes.
org.qedeq.kernel.bo.logic.proof.finder	Proof finder can be found here.
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.internal	Central module service plugin functionality.
org.qedeq.kernel.bo.service.logic	Contains logical services.

Uses of InterruptException in org.qedeq.kernel.bo

Methods in org.qedeq.kernel.bo that throw InterruptException

java.lang.Object

KernelContext.executePlugin(java.lang.String pluginName, ModuleAddress address, java.lang.Object data)

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

Methods in org.qedeq.kernel.bo.common that throw InterruptException

java.lang.Object

KernelServices.executePlugin(java.lang.String id, ModuleAddress address, java.lang.Object data) Execute plugin on given QEDEQ module.

Uses of InterruptException in org.qedeq.kernel.bo.logic.proof.common

Methods in org.qedeq.kernel.bo.logic.proof.common that throw InterruptException

void	ProofFinder.findProof(Element formula, FormalProofLineList proof, ModuleContext context, Parameters parameters, ModuleLogListener log, Element2Utf8 transform) Finds a formal proof.

Uses of InterruptException in org.qedeq.kernel.bo.logic.proof.finder

Methods in org.qedeq.kernel.bo.logic.proof.finder that throw InterruptException

void	ProofFinderImpl.findProof(Element formula, FormalProofLineList proof, ModuleContext context, Parameters parameters, ModuleLogListener log, Element2Utf8 trans)

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

Methods in org.qedeq.kernel.bo.module that throw InterruptException

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.
boolean	InternalKernelServices.loadRequiredModules(InternalServiceJob process, KernelQedeqBo qedeq) Get required modules of given module.
boolean	ModuleArbiter.lockRequiredModule(InternalModuleServiceCall call) Lock QEDEQ module for exclusive read and write access.

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

Methods in org.qedeq.kernel.bo.service.basis that throw InterruptException

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

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

Methods in org.qedeq.kernel.bo.service.dependency that throw InterruptException

java.lang.Object

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

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

Methods in org.qedeq.kernel.bo.service.internal that throw InterruptException

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)
boolean	ModuleArbiterImpl.lockRequiredModule(InternalModuleServiceCall call)

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

Methods in org.qedeq.kernel.bo.service.logic that throw InterruptException

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)