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.

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.

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.

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.

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.

loadStream(InputStream, StringBuffer) - Static method in class org.qedeq.kernel.utility.IoUtility

Reads contents of a stream into a string buffer.