Hilbert II - Version 0.03.04

Uses of Interface
org.qedeq.kernel.base.module.Specification

Packages that use Specification
org.qedeq.kernel.base.module The main functionalities of qedeq modules are described here. 
org.qedeq.kernel.bo.load Load QEDEQ module files from local system or from the internet.  
org.qedeq.kernel.bo.module Business objects for qedeq modules. 
org.qedeq.kernel.bo.visitor The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.  
org.qedeq.kernel.context Provides access to the kernel.  
org.qedeq.kernel.dto.module Value objects for qedeq modules.  
org.qedeq.kernel.latex LaTeX export abilities of the kernel.  
org.qedeq.kernel.xml.mapper Contains mapper for XML objects. 
 

Uses of Specification in org.qedeq.kernel.base.module
 

Methods in org.qedeq.kernel.base.module that return Specification
 Specification UsedByList.get(int index)
          Get index-th element of list.
 Specification Import.getSpecification()
          Get import specification.
 Specification Header.getSpecification()
          Get module specification.
 

Uses of Specification in org.qedeq.kernel.bo.load
 

Methods in org.qedeq.kernel.bo.load with parameters of type Specification
 QedeqBo DefaultModuleFactory.loadModule(QedeqBo module, Specification spec)
           
static String DefaultModuleAddress.getModuleFileName(Specification spec)
          Get the file name of the specified module.
static ModuleAddress[] DefaultModuleAddress.getModulePaths(QedeqBo module, Specification spec)
          Get all potential module addresses from a module specification.
 

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

Methods in org.qedeq.kernel.bo.module with parameters of type Specification
 QedeqBo ModuleFactory.loadModule(QedeqBo module, Specification spec)
          Load a certain module.
 

Uses of Specification in org.qedeq.kernel.bo.visitor
 

Methods in org.qedeq.kernel.bo.visitor with parameters of type Specification
 void QedeqVisitor.visitEnter(Specification specification)
          Visit certain element.
 void QedeqVisitor.visitLeave(Specification specification)
          Visit certain element.
 void QedeqTransverser.accept(Specification specification)
          Traverse specification.
 void QedeqNotNullTransverser.accept(Specification specification)
           
 void AbstractModuleVisitor.visitEnter(Specification specification)
           
 void AbstractModuleVisitor.visitLeave(Specification specification)
           
 

Uses of Specification in org.qedeq.kernel.context
 

Methods in org.qedeq.kernel.context with parameters of type Specification
 QedeqBo KernelContext.loadModule(QedeqBo module, Specification spec)
           
 

Uses of Specification in org.qedeq.kernel.dto.module
 

Classes in org.qedeq.kernel.dto.module that implement Specification
 class SpecificationVo
          Describes a specification of a module, that means its name, versions and possible "physical" locations.
 

Methods in org.qedeq.kernel.dto.module that return Specification
 Specification UsedByListVo.get(int index)
           
 Specification ImportVo.getSpecification()
           
 Specification HeaderVo.getSpecification()
           
 

Uses of Specification in org.qedeq.kernel.latex
 

Methods in org.qedeq.kernel.latex with parameters of type Specification
 void Qedeq2Xml.visitEnter(Specification specification)
           
 void Qedeq2Xml.visitLeave(Specification specification)
           
 

Uses of Specification in org.qedeq.kernel.xml.mapper
 

Methods in org.qedeq.kernel.xml.mapper with parameters of type Specification
 void Context2SimpleXPath.visitEnter(Specification specification)
           
 void Context2SimpleXPath.visitLeave(Specification specification)
           
 


Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.