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