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

C

CLASS_OP - Static variable in interface org.qedeq.kernel.bo.logic.Operators

Operator string for class operator.

CLASS_OPERATOR_STILL_UNKNOWN - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error code.

CLASS_OPERATOR_STILL_UNKNOWN_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error message.

CONJUNCTION_OPERATOR - Static variable in interface org.qedeq.kernel.bo.logic.Operators

Operator string for logical "and".

CR - Static variable in class org.qedeq.kernel.utility.TextInput

Char marking end of input line.

Chapter - interface org.qedeq.kernel.base.module.Chapter.

Chapter.

ChapterHandler - class org.qedeq.kernel.xml.handler.module.ChapterHandler.

Handles a chapter.

ChapterHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.ChapterHandler

Constructor.

ChapterList - interface org.qedeq.kernel.base.module.ChapterList.

List of chapters.

ChapterListVo - class org.qedeq.kernel.dto.module.ChapterListVo.

List of chapters.

ChapterListVo() - Constructor for class org.qedeq.kernel.dto.module.ChapterListVo

Constructs an empty list of chapters.

ChapterVo - class org.qedeq.kernel.dto.module.ChapterVo.

Chapter.

ChapterVo() - Constructor for class org.qedeq.kernel.dto.module.ChapterVo

Constructs a new chapter.

CheckRequiredModuleException - exception org.qedeq.kernel.bo.control.CheckRequiredModuleException.

Check failed error for an required QEDEQ module.

CheckRequiredModuleException(int, String, ModuleContext) - Constructor for class org.qedeq.kernel.bo.control.CheckRequiredModuleException

Constructor.

CheckRequiredModuleException(int, String, ModuleContext, ModuleContext) - Constructor for class org.qedeq.kernel.bo.control.CheckRequiredModuleException

Constructor.

ClassOperatorAlreadyExistsException - exception org.qedeq.kernel.bo.control.ClassOperatorAlreadyExistsException.

A class operator was defined twice.

ClassOperatorAlreadyExistsException(int, String, ModuleContext) - Constructor for class org.qedeq.kernel.bo.control.ClassOperatorAlreadyExistsException

Constructor.

ClassOperatorAlreadyExistsException(int, String, ModuleContext, ModuleContext) - Constructor for class org.qedeq.kernel.bo.control.ClassOperatorAlreadyExistsException

Constructor.

ClassOperatorExistenceChecker - interface org.qedeq.kernel.bo.logic.ClassOperatorExistenceChecker.

Check if the class operator is already defined.

ClosingBracketMissingException - exception org.qedeq.kernel.parser.ClosingBracketMissingException.

Closing bracket expected but is missing.

ClosingBracketMissingException(long, String, String) - Constructor for class org.qedeq.kernel.parser.ClosingBracketMissingException

Constructor.

ConfigAccess - class org.qedeq.kernel.config.ConfigAccess.

This class reads entries from property files.

ConfigAccess(File, String) - Constructor for class org.qedeq.kernel.config.ConfigAccess

Get access for a config file.

Context2SimpleXPath - class org.qedeq.kernel.xml.mapper.Context2SimpleXPath.

Map content string to SimpleXPath string.

Context2SimpleXPathOld - class org.qedeq.kernel.xml.mapper.Context2SimpleXPathOld.

Deprecated.

Context2XPathOld - class org.qedeq.kernel.xml.mapper.Context2XPathOld.

Deprecated.

changeHandler(AbstractSimpleHandler, String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.parser.AbstractSimpleHandler

Change current handler to new one.

changeHandler(AbstractSimpleHandler, String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.parser.SaxDefaultHandler

Change current handler to new one.

characters(String, String) - Method in class org.qedeq.kernel.xml.handler.list.ElementHandler

characters(String, String) - Method in class org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler

characters(String, String) - Method in class org.qedeq.kernel.xml.handler.module.LatexHandler

characters(String, String) - Method in class org.qedeq.kernel.xml.handler.module.LatexListHandler

characters(String, String) - Method in class org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler

characters(String, String) - Method in class org.qedeq.kernel.xml.parser.AbstractSimpleHandler

Called at end of element elementName.

characters(char[], int, int) - Method in class org.qedeq.kernel.xml.parser.SaxDefaultHandler

characters(char[], int, int) - Method in class org.qedeq.kernel.xml.tracker.XPathLocationParser

check(ModuleAddress, QedeqBo) - Static method in class org.qedeq.kernel.bo.control.QedeqBoDuplicateLanguageChecker

Checks if all formulas of a QEDEQ module are well formed.

check(ModuleProperties) - Static method in class org.qedeq.kernel.bo.control.QedeqBoFormalLogicChecker

Checks if all formulas of a QEDEQ module are well formed.

checkEquivalence(Element, Element) - Static method in class org.qedeq.kernel.bo.logic.LogicalEquivalence

Assures that two words are logically equivalent.

checkError() - Method in class org.qedeq.kernel.utility.TextOutput

Did any error occur during output?

checkFormula(Element, ModuleContext, ExistenceChecker) - Static method in class org.qedeq.kernel.bo.logic.FormulaChecker

Is Element a formula?

checkFormula(Element, ModuleContext) - Static method in class org.qedeq.kernel.bo.logic.FormulaChecker

Is Element a formula?

checkTerm(Element, ModuleContext, ExistenceChecker) - Static method in class org.qedeq.kernel.bo.logic.FormulaChecker

Is Element a term?

checkTerm(Element, ModuleContext) - Static method in class org.qedeq.kernel.bo.logic.FormulaChecker

Is Element a term?

classOperatorExists() - Method in interface org.qedeq.kernel.bo.logic.ClassOperatorExistenceChecker

Check if the class operator is already defined.

classOperatorExists() - Method in class org.qedeq.kernel.bo.logic.DefaultExistenceChecker

classOperatorExists() - Method in class org.qedeq.kernel.bo.logic.EverythingExists

clear() - Method in class org.qedeq.kernel.bo.logic.DefaultExistenceChecker

Empty all definitions.

clearLevel() - Method in class org.qedeq.kernel.utility.TextOutput

Reset tab level to zero.

clearLocalBuffer() - Method in class org.qedeq.kernel.bo.load.DefaultModuleFactory

Clear local file buffer and all loaded QEDEQ modules.

clearLocalBuffer() - Method in interface org.qedeq.kernel.bo.module.ModuleFactory

Clear local buffer and all loaded QEDEQ modules.

clearLocalBuffer() - Method in class org.qedeq.kernel.context.KernelContext

clearMark() - Method in class org.qedeq.kernel.latex.LatexTextParser

Forget last remembered position.

clearMark() - Method in class org.qedeq.kernel.parser.MathParser

Forget last remembered position.

clearMark() - Method in class org.qedeq.kernel.parser.MementoTextInput

Forget last remembered position.

close() - Method in class org.qedeq.kernel.utility.TextOutput

Close output.

closeReader(Reader) - Static method in class org.qedeq.kernel.utility.IoUtility

Closes input reader without exception.

closeStream(InputStream) - Static method in class org.qedeq.kernel.utility.IoUtility

Closes input stream without exception.

compareFilesBinary(File, File) - Static method in class org.qedeq.kernel.utility.IoUtility

Compare two files.

contains(EqualFormula) - Method in class org.qedeq.kernel.bo.logic.EqualFormulaSet

Is element in set?

contains(Element) - Method in class org.qedeq.kernel.dto.list.ElementSet

Is element in set?

copy() - Method in interface org.qedeq.kernel.base.list.Element

Returns an identical object (maybe "this").

copy() - Method in class org.qedeq.kernel.dto.list.DefaultAtom

copy() - Method in class org.qedeq.kernel.dto.list.DefaultElementList

copyFile(File, File) - Static method in class org.qedeq.kernel.utility.IoUtility

Copies a file to a different location.

create(Qedeq) - Method in class org.qedeq.kernel.bo.load.QedeqBoFactory

Create DefaultQedeqBo out of an Qedeq instance.

createAbsolutePath(String) - Method in class org.qedeq.kernel.config.QedeqConfig

Get file path starting from basis directory of this application.

createByRuntimeException(RuntimeException) - Static method in class org.qedeq.kernel.xml.common.XmlSyntaxException

Create exception for a programming error.

createEmptyAttributeException(String, String) - Static method in class org.qedeq.kernel.xml.common.XmlSyntaxException

Create exception for empty attribute within a tag.

createMissingAttributeException(String, String) - Static method in class org.qedeq.kernel.xml.common.XmlSyntaxException

Create exception for missing attribute within a tag.

createModuleContext() - Method in class org.qedeq.kernel.bo.load.DefaultModuleAddress

Get module address as ModuleContext.

createModuleContext() - Method in interface org.qedeq.kernel.bo.module.ModuleAddress

Get module address as ModuleContext.

createNecessaryDirectories(File) - Static method in class org.qedeq.kernel.utility.IoUtility

Creates necessary parent directories for a file.

createQedeq(ModuleAddress, Qedeq) - Static method in class org.qedeq.kernel.bo.load.QedeqBoFactory

Create DefaultQedeqBo out of an Qedeq instance.

createRelativeAddress(String, String) - Static method in class org.qedeq.kernel.bo.load.DefaultModuleAddress

Create relative address from orgin to next.

createRelativePath(File, File) - Static method in class org.qedeq.kernel.utility.IoUtility

Create relative address from orgin to next.

createSAXParseException(Exception) - Method in class org.qedeq.kernel.xml.parser.SaxDefaultHandler

Wraps exception in new SAXParseException including parsing position information.

createSAXParseException(String) - Method in class org.qedeq.kernel.xml.parser.SaxDefaultHandler

Creates new SAXParseException including parsing position information.

createSourceArea(Qedeq, ModuleContext) - Static method in class org.qedeq.kernel.xml.mapper.ModuleDataException2XmlFileException

Get area in XML source file for QEDEQ module context.

createUnexpectedTagException(String) - Static method in class org.qedeq.kernel.xml.common.XmlSyntaxException

Create exception for unexpected tag.

createUnexpectedTextDataException(String, String) - Static method in class org.qedeq.kernel.xml.common.XmlSyntaxException

Create exception for unexpected text data within a tag.

createXmlFileExceptionList(ModuleDataException, Qedeq) - Static method in class org.qedeq.kernel.xml.mapper.ModuleDataException2XmlFileException

Create exception out of ModuleDataException.