Hilbert II - Version 0.03.04
A B C D E F G H I K L M N O P Q R S T U V W X

L

LIST_EXPECTED - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors
Error code.
LIST_EXPECTED_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors
Error message.
LIST_MUST_NOT_BE_NULL - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors
Error code.
LIST_MUST_NOT_BE_NULL_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors
Error message.
Latex - interface org.qedeq.kernel.base.module.Latex.
LaTeX text part.
LatexHandler - class org.qedeq.kernel.xml.handler.module.LatexHandler.
Parse header informations.
LatexHandler(AbstractSimpleHandler, String) - Constructor for class org.qedeq.kernel.xml.handler.module.LatexHandler
Handles LaTeX tags.
LatexList - interface org.qedeq.kernel.base.module.LatexList.
List of LaTeX text parts.
LatexListDataException - exception org.qedeq.kernel.bo.control.LatexListDataException.
Data validation error for an LatexList element of a QEDEQ module.
LatexListDataException(int, String, ModuleContext) - Constructor for class org.qedeq.kernel.bo.control.LatexListDataException
Constructor.
LatexListDataException(int, String, ModuleContext, ModuleContext) - Constructor for class org.qedeq.kernel.bo.control.LatexListDataException
Constructor.
LatexListHandler - class org.qedeq.kernel.xml.handler.module.LatexListHandler.
Parse header informations.
LatexListHandler(AbstractSimpleHandler, String) - Constructor for class org.qedeq.kernel.xml.handler.module.LatexListHandler
Handles LaTeX tags.
LatexListVo - class org.qedeq.kernel.dto.module.LatexListVo.
List of LaTeX text parts.
LatexListVo() - Constructor for class org.qedeq.kernel.dto.module.LatexListVo
Constructs an empty list of LaTeX text parts.
LatexMathParser - class org.qedeq.kernel.parser.LatexMathParser.
Parse LaTeX term or formula data into Terms.
LatexMathParser(TextInput, List) - Constructor for class org.qedeq.kernel.parser.LatexMathParser
Constructor.
LatexMathParser(StringBuffer, List) - Constructor for class org.qedeq.kernel.parser.LatexMathParser
Constructor.
LatexTextParser - class org.qedeq.kernel.latex.LatexTextParser.
Transform LaTeX into QEDEQ format.
LatexVo - class org.qedeq.kernel.dto.module.LatexVo.
LaTeX text part.
LatexVo(String, String) - Constructor for class org.qedeq.kernel.dto.module.LatexVo
Constructs a LaTeX text part.
LatexVo() - Constructor for class org.qedeq.kernel.dto.module.LatexVo
Constructs an empty LaTeX text part.
LinkList - interface org.qedeq.kernel.base.module.LinkList.
List of identifiers.
LinkListVo - class org.qedeq.kernel.dto.module.LinkListVo.
List of links.
LinkListVo() - Constructor for class org.qedeq.kernel.dto.module.LinkListVo
Constructs an empty list of links.
ListVisitor - interface org.qedeq.kernel.bo.visitor.ListVisitor.
Visit elements of the list package.
LiteratureItem - interface org.qedeq.kernel.base.module.LiteratureItem.
One reference of a bibliography.
LiteratureItemHandler - class org.qedeq.kernel.xml.handler.module.LiteratureItemHandler.
Handle bibliography entry.
LiteratureItemHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.LiteratureItemHandler
Constructor.
LiteratureItemList - interface org.qedeq.kernel.base.module.LiteratureItemList.
Bibliography, list of literature items.
LiteratureItemListHandler - class org.qedeq.kernel.xml.handler.module.LiteratureItemListHandler.
Parse literature list.
LiteratureItemListHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.LiteratureItemListHandler
Handles list of literatureItems.
LiteratureItemListVo - class org.qedeq.kernel.dto.module.LiteratureItemListVo.
List of literature references.
LiteratureItemListVo() - Constructor for class org.qedeq.kernel.dto.module.LiteratureItemListVo
Constructs an empty list of authors.
LiteratureItemVo - class org.qedeq.kernel.dto.module.LiteratureItemVo.
Single literature reference.
LiteratureItemVo() - Constructor for class org.qedeq.kernel.dto.module.LiteratureItemVo
Constructs a new section.
LoadXmlOperatorListUtility - class org.qedeq.kernel.xml.handler.parser.LoadXmlOperatorListUtility.
Load operator list from an XML file.
LoadingState - class org.qedeq.kernel.bo.module.LoadingState.
Represents a module state.
LoadingStateDescriptions - interface org.qedeq.kernel.bo.module.LoadingStateDescriptions.
This interface provides constants of this package.
Location - interface org.qedeq.kernel.base.module.Location.
Describes the "physical" directory location for a module.
LocationFoundException - exception org.qedeq.kernel.xml.mapper.LocationFoundException.
Thrown if the location was found.
LocationFoundException(ModuleContext) - Constructor for class org.qedeq.kernel.xml.mapper.LocationFoundException
Constructs an exception.
LocationList - interface org.qedeq.kernel.base.module.LocationList.
List of locations.
LocationListVo - class org.qedeq.kernel.dto.module.LocationListVo.
List of locations.
LocationListVo() - Constructor for class org.qedeq.kernel.dto.module.LocationListVo
Constructs an empty list of locations.
LocationNotFoundException - exception org.qedeq.kernel.xml.mapper.LocationNotFoundException.
Thrown if the location was not found.
LocationNotFoundException(ModuleContext) - Constructor for class org.qedeq.kernel.xml.mapper.LocationNotFoundException
Constructs an exception.
LocationVo - class org.qedeq.kernel.dto.module.LocationVo.
Describes the "physical" directory location for a module.
LocationVo(String) - Constructor for class org.qedeq.kernel.dto.module.LocationVo
Constructs a location description for a module.
LocationVo() - Constructor for class org.qedeq.kernel.dto.module.LocationVo
Constructs an empty location description for a module.
LogListener - interface org.qedeq.kernel.log.LogListener.
Log event listener.
LogListenerImpl - class org.qedeq.kernel.log.LogListenerImpl.
Listener that writes events to a stream.
LogListenerImpl() - Constructor for class org.qedeq.kernel.log.LogListenerImpl
Constructor.
LogListenerImpl(PrintStream) - Constructor for class org.qedeq.kernel.log.LogListenerImpl
Constructor.
LogicalCheckException - exception org.qedeq.kernel.bo.logic.LogicalCheckException.
This is the basis for an exception for logical errors within a QEDEQ module.
LogicalCheckException(int, String, Element, ModuleContext, ModuleContext) - Constructor for class org.qedeq.kernel.bo.logic.LogicalCheckException
Constructs an exception.
LogicalCheckException(int, String, Element, ModuleContext) - Constructor for class org.qedeq.kernel.bo.logic.LogicalCheckException
Constructs an exception.
LogicalEquivalence - class org.qedeq.kernel.bo.logic.LogicalEquivalence.
This class deals with Elements and could check if two formulas are logically equivalent.
levelPrint(String) - Method in class org.qedeq.kernel.utility.TextOutput
Print spaces and text to output.
levelPrintln(String) - Method in class org.qedeq.kernel.utility.TextOutput
Print spaces, text and new line to output.
loadAllModulesFromQedeq() - Method in class org.qedeq.kernel.bo.load.DefaultModuleFactory
 
loadAllModulesFromQedeq() - Method in interface org.qedeq.kernel.bo.module.ModuleFactory
Load all QEDEQ modules from project web directory for current kernel.
loadAllModulesFromQedeq() - Method in class org.qedeq.kernel.context.KernelContext
 
loadFile(String) - Static method in class org.qedeq.kernel.utility.IoUtility
Reads a file and returns the contents as a String.
loadFile(String, StringBuffer) - Static method in class org.qedeq.kernel.utility.IoUtility
Reads contents of a file into a string buffer.
loadFile(File, StringBuffer) - Static method in class org.qedeq.kernel.utility.IoUtility
Reads contents of a file into a string buffer.
loadFile(URL, StringBuffer) - Static method in class org.qedeq.kernel.utility.IoUtility
Reads contents of an URL into a string buffer.
loadFileBinary(File) - Static method in class org.qedeq.kernel.utility.IoUtility
Reads a file and returns the contents as a String.
loadModule(String) - Method in class org.qedeq.kernel.bo.load.DefaultModuleFactory
Get a certain module.
loadModule(ModuleAddress) - Method in class org.qedeq.kernel.bo.load.DefaultModuleFactory
 
loadModule(QedeqBo, Specification) - Method in class org.qedeq.kernel.bo.load.DefaultModuleFactory
 
loadModule(String) - Method in interface org.qedeq.kernel.bo.module.ModuleFactory
Get a certain module.
loadModule(ModuleAddress) - Method in interface org.qedeq.kernel.bo.module.ModuleFactory
Get a certain module.
loadModule(QedeqBo, Specification) - Method in interface org.qedeq.kernel.bo.module.ModuleFactory
Load a certain module.
loadModule(String) - Method in class org.qedeq.kernel.context.KernelContext
 
loadModule(ModuleAddress) - Method in class org.qedeq.kernel.context.KernelContext
 
loadModule(QedeqBo, Specification) - Method in class org.qedeq.kernel.context.KernelContext
 
loadPreviouslySuccessfullyLoadedModules() - Method in class org.qedeq.kernel.bo.load.DefaultModuleFactory
Load all previously checked QEDEQ modules.
loadStream(InputStream, StringBuffer) - Static method in class org.qedeq.kernel.utility.IoUtility
Reads contents of a stream into a string buffer.
localizeInFileSystem(String) - Method in class org.qedeq.kernel.bo.load.DefaultModuleAddress
Transform an URL address into a local file path.
localizeInFileSystem(String) - Method in interface org.qedeq.kernel.bo.module.ModuleAddress
Transform an URL address into a local file path.
logFailureReply(String, String) - Method in interface org.qedeq.kernel.log.LogListener
Log failure reply for an request.
logFailureReply(String, String) - Method in class org.qedeq.kernel.log.LogListenerImpl
 
logFailureReply(String, String) - Method in class org.qedeq.kernel.log.QedeqLog
 
logFailureState(String, URL, String) - Method in interface org.qedeq.kernel.log.LogListener
Log failure state for URL.
logFailureState(String, URL, String) - Method in class org.qedeq.kernel.log.LogListenerImpl
 
logFailureState(String, URL, String) - Method in class org.qedeq.kernel.log.QedeqLog
 
logMessage(String) - Method in interface org.qedeq.kernel.log.LogListener
Log message.
logMessage(String) - Method in class org.qedeq.kernel.log.LogListenerImpl
 
logMessage(String) - Method in class org.qedeq.kernel.log.QedeqLog
 
logMessageState(String, URL) - Method in interface org.qedeq.kernel.log.LogListener
Log message state for URL.
logMessageState(String, URL) - Method in class org.qedeq.kernel.log.LogListenerImpl
 
logMessageState(String, URL) - Method in class org.qedeq.kernel.log.QedeqLog
 
logRequest(String) - Method in interface org.qedeq.kernel.log.LogListener
Log request.
logRequest(String) - Method in class org.qedeq.kernel.log.LogListenerImpl
 
logRequest(String) - Method in class org.qedeq.kernel.log.QedeqLog
 
logSuccessfulReply(String) - Method in interface org.qedeq.kernel.log.LogListener
Log successful reply for an request.
logSuccessfulReply(String) - Method in class org.qedeq.kernel.log.LogListenerImpl
 
logSuccessfulReply(String) - Method in class org.qedeq.kernel.log.QedeqLog
 
logSuccessfulState(String, URL) - Method in interface org.qedeq.kernel.log.LogListener
Log successful state for URL.
logSuccessfulState(String, URL) - Method in class org.qedeq.kernel.log.LogListenerImpl
 
logSuccessfulState(String, URL) - Method in class org.qedeq.kernel.log.QedeqLog
 

Hilbert II - Version 0.03.04
A B C D E F G H I K L M N O P Q R S T U V W X
©left GNU General Public Licence
All Rights Reserved.