Hilbert II - Version 0.03.04

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

Packages that use QedeqBo
org.qedeq.kernel.bo.control Contains business object controllers. 
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.context Provides access to the kernel.  
org.qedeq.kernel.latex LaTeX export abilities of the kernel.  
 

Uses of QedeqBo in org.qedeq.kernel.bo.control
 

Methods in org.qedeq.kernel.bo.control with parameters of type QedeqBo
static void QedeqBoFormalLogicChecker.check(String globalContext, QedeqBo qedeq)
          Checks if all formulas of a QEDEQ module are well formed.
static void QedeqBoDuplicateLanguageChecker.check(String globalContext, QedeqBo qedeq)
          Checks if all formulas of a QEDEQ module are well formed.
 

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

Classes in org.qedeq.kernel.bo.load that implement QedeqBo
 class DefaultQedeqBo
          A complete QEDEQ module.
 

Methods in org.qedeq.kernel.bo.load that return QedeqBo
protected  QedeqBo QedeqBoFactory.getQedeqCreated()
          Get currently created QEDEQ module.
 QedeqBo DefaultModuleProperties.getModule()
           
 QedeqBo DefaultModuleFactory.loadModule(String address)
          Get a certain module.
 QedeqBo DefaultModuleFactory.loadModule(ModuleAddress moduleAddress)
           
 QedeqBo DefaultModuleFactory.loadModule(QedeqBo module, Specification spec)
           
 

Methods in org.qedeq.kernel.bo.load with parameters of type QedeqBo
 void DefaultModuleProperties.setLoaded(QedeqBo module)
           
 QedeqBo DefaultModuleFactory.loadModule(QedeqBo module, Specification spec)
           
static ModuleAddress[] DefaultModuleAddress.getModulePaths(QedeqBo module, Specification spec)
          Get all potential module addresses from a module specification.
 

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

Methods in org.qedeq.kernel.bo.module that return QedeqBo
 QedeqBo ModuleProperties.getModule()
          Get module.
 QedeqBo ModuleFactory.loadModule(String address)
          Get a certain module.
 QedeqBo ModuleFactory.loadModule(ModuleAddress moduleAddress)
          Get a certain module.
 QedeqBo ModuleFactory.loadModule(QedeqBo module, Specification spec)
          Load a certain module.
 

Methods in org.qedeq.kernel.bo.module with parameters of type QedeqBo
 void ModuleProperties.setLoaded(QedeqBo module)
          Set checked and loaded state and module.
 QedeqBo ModuleFactory.loadModule(QedeqBo module, Specification spec)
          Load a certain module.
 

Uses of QedeqBo in org.qedeq.kernel.context
 

Methods in org.qedeq.kernel.context that return QedeqBo
 QedeqBo KernelContext.loadModule(String address)
           
 QedeqBo KernelContext.loadModule(ModuleAddress moduleAddress)
           
 QedeqBo KernelContext.loadModule(QedeqBo module, Specification spec)
           
 

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

Uses of QedeqBo in org.qedeq.kernel.latex
 

Methods in org.qedeq.kernel.latex with parameters of type QedeqBo
static void Qedeq2Xml.print(String globalContext, QedeqBo qedeq, TextOutput printer)
          Prints a XML representation of given QEDEQ module into a given output stream.
static void Qedeq2Latex.print(String globalContext, QedeqBo qedeq, TextOutput printer, String language, String level)
          Prints a XML representation of given QEDEQ module into a given output stream.
 

Constructors in org.qedeq.kernel.latex with parameters of type QedeqBo
Qedeq2Wiki(String context, QedeqBo qedeq)
          Constructor.
 


Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.