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

Packages that use ModuleAddress

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.internal	Central module service plugin functionality.
org.qedeq.kernel.se.common	Common classes.
org.qedeq.kernel.se.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.

Uses of ModuleAddress in org.qedeq.kernel.bo

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

ModuleAddress[]	KernelContext.getAllLoadedModules()
ModuleAddress	KernelContext.getModuleAddress(java.io.File file)
ModuleAddress	KernelContext.getModuleAddress(java.lang.String url)
ModuleAddress	KernelContext.getModuleAddress(java.net.URL url)

Methods in org.qedeq.kernel.bo with parameters of type ModuleAddress

boolean	KernelContext.checkFormallyProved(ModuleAddress address)
boolean	KernelContext.checkWellFormedness(ModuleAddress address)
void	KernelContext.clearAllPluginResults(ModuleAddress address)
java.lang.Object	KernelContext.executePlugin(java.lang.String pluginName, ModuleAddress address, java.lang.Object data)
QedeqBo	KernelContext.getQedeqBo(ModuleAddress address)
java.lang.String	KernelContext.getSource(ModuleAddress address)
QedeqBo	KernelContext.loadModule(ModuleAddress address)
boolean	KernelContext.loadRequiredModules(ModuleAddress address)
void	KernelContext.removeModule(ModuleAddress address)

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

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

ModuleAddress[]	KernelServices.getAllLoadedModules() Get list of all currently loaded QEDEQ modules.
ModuleAddress	QedeqBo.getModuleAddress() Get ModuleAddress of module.
ModuleAddress	KernelServices.getModuleAddress(java.io.File file) Get module address from URL.
ModuleAddress	KernelServices.getModuleAddress(java.lang.String url) Get module address from URL.
ModuleAddress	KernelServices.getModuleAddress(java.net.URL url) Get module address from URL.

Methods in org.qedeq.kernel.bo.common with parameters of type ModuleAddress

boolean	KernelServices.checkFormallyProved(ModuleAddress address) Check if all propositions of this and all required modules have correct formal proofs.
boolean	KernelServices.checkWellFormedness(ModuleAddress address) Check if all formulas of a QEDEQ module and its required modules are well formed.
void	KernelServices.clearAllPluginResults(ModuleAddress address) Clear all plugin warnings and errors for given module.
java.lang.Object	KernelServices.executePlugin(java.lang.String id, ModuleAddress address, java.lang.Object data) Execute plugin on given QEDEQ module.
QedeqBo	KernelServices.getQedeqBo(ModuleAddress address) Get QedeqBo for an address.
java.lang.String	KernelServices.getSource(ModuleAddress address) Get source of an QEDEQ module.
QedeqBo	KernelServices.loadModule(ModuleAddress address) Get a certain module.
boolean	KernelServices.loadRequiredModules(ModuleAddress address) Get required modules of given module.
void	KernelServices.removeModule(ModuleAddress address) Remove a QEDEQ module from memory.

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

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

KernelQedeqBo	InternalKernelServices.getKernelQedeqBo(ModuleAddress address) Get KernelQedeqBo for an address.
java.io.File	InternalKernelServices.getLocalFilePath(ModuleAddress address) Transform an URL address into a local file path where the QEDEQ module is buffered.
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.

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

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

static QedeqVo

QedeqVoBuilder.createQedeq(ModuleAddress address, Qedeq original) Create QedeqVo out of an Qedeq instance.

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

QedeqVoBuilder(ModuleAddress address)
Constructor.

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

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

ModuleAddress[]	DefaultInternalKernelServices.getAllLoadedModules()
ModuleAddress	DefaultKernelQedeqBo.getModuleAddress()
ModuleAddress	DefaultInternalKernelServices.getModuleAddress(java.io.File file)
ModuleAddress	DefaultInternalKernelServices.getModuleAddress(java.lang.String url)
ModuleAddress	DefaultInternalKernelServices.getModuleAddress(java.net.URL url)

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

boolean	DefaultInternalKernelServices.checkFormallyProved(ModuleAddress address)
boolean	DefaultInternalKernelServices.checkWellFormedness(ModuleAddress address)
void	DefaultInternalKernelServices.clearAllPluginResults(ModuleAddress address)
java.lang.Object	DefaultInternalKernelServices.executePlugin(java.lang.String id, ModuleAddress address, java.lang.Object data)
KernelQedeqBo	DefaultInternalKernelServices.getKernelQedeqBo(ModuleAddress address)
java.io.File	DefaultInternalKernelServices.getLocalFilePath(ModuleAddress address)
QedeqBo	DefaultInternalKernelServices.getQedeqBo(ModuleAddress address)
java.lang.String	DefaultInternalKernelServices.getSource(ModuleAddress address)
java.lang.String[]	DefaultInternalKernelServices.getSourceFileExceptionList(ModuleAddress address) Get description of source file exception list.
KernelQedeqBo	DefaultInternalKernelServices.loadKernelModule(InternalServiceJob process, ModuleAddress address)
KernelQedeqBo	DefaultInternalKernelServices.loadKernelModule(InternalServiceJob process, ModuleAddress parent, Specification spec) Load specified QEDEQ module from QEDEQ parent module.
QedeqBo	DefaultInternalKernelServices.loadModule(ModuleAddress address)
boolean	DefaultInternalKernelServices.loadRequiredModules(ModuleAddress address)
void	DefaultInternalKernelServices.removeModule(ModuleAddress address)

Constructors in org.qedeq.kernel.bo.service.internal with parameters of type ModuleAddress

DefaultKernelQedeqBo(InternalKernelServices services, ModuleAddress address)
Creates new module properties.

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

Classes in org.qedeq.kernel.se.common that implement ModuleAddress

class

DefaultModuleAddress An object of this class represents an address for a QEDEQ module.

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

ModuleAddress	ModuleContext.getModuleLocation() Get location information about module.
ModuleAddress[]	ModuleAddress.getModulePaths(Specification spec) Get all potential module addresses from a module specification.
ModuleAddress[]	DefaultModuleAddress.getModulePaths(Specification spec)

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

DefaultModuleAddress(java.lang.String address, ModuleAddress parent)
Constructor.

ModuleContext(ModuleAddress moduleLocation)
Constructor.

ModuleContext(ModuleAddress moduleLocation, java.lang.String locationWithinModule)
Constructor.

ModuleContext(ModuleAddress moduleLocation, java.lang.String locationWithinModule, SourcePosition startDelta, SourcePosition endDelta)
Constructor.

Uses of ModuleAddress in org.qedeq.kernel.se.visitor

Constructors in org.qedeq.kernel.se.visitor with parameters of type ModuleAddress

QedeqNotNullTraverser(ModuleAddress globalContext)
Constructor.

QedeqNotNullTraverser(ModuleAddress globalContext, QedeqVisitor visitor)
Constructor.