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 - 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".

CPTextField - class org.qedeq.kernel.rel.test.gui.CPTextField.

TextField with Cut and Paste.

CPTextField() - Constructor for class org.qedeq.kernel.rel.test.gui.CPTextField

Constructor.

CPTextField(String) - Constructor for class org.qedeq.kernel.rel.test.gui.CPTextField

Constructor with initial text.

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.

CheckException - exception org.qedeq.kernel.bo.logic.CheckException.

This is an exception for logical errors within a QEDEQ module.

CheckException(int, String, Element, ModuleContext, ModuleContext) - Constructor for class org.qedeq.kernel.bo.logic.CheckException

Constructs an exception.

CheckException(int, String, Element, ModuleContext) - Constructor for class org.qedeq.kernel.bo.logic.CheckException

Constructs an exception.

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) - Constructor for class org.qedeq.kernel.parser.ClosingBracketMissingException

Constructor.

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

Parses complete qedeq modules.

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

Map content string to SimpleXPath string.

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(String, QedeqBo) - 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) - Static method in class org.qedeq.kernel.bo.logic.FormulaChecker

Is Element a formula?

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

Is Element a formula?

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

Is Element a term?

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

Is Element a term?

classOperatorExists() - Method in class org.qedeq.kernel.bo.control.QedeqBoFormalLogicChecker

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.EverythingExists

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

Reset tab level to zero.

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.parser.TextOutput

Close output.

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.

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.AtomImpl

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

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.control.QedeqBoFactory

Create QedeqBo out of an Qedeq instance.

createMissingAttributeException(String, String) - Static method in class org.qedeq.kernel.xml.parser.SyntaxException

Create exception for missing attribute within a tag.

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

Creates necessary parent directories for a file.

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

Create QedeqBo out of an Qedeq instance.

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.

createUnexpectedTagException(String) - Static method in class org.qedeq.kernel.xml.parser.SyntaxException

Create exception for unexpected tag.

createUnexpectedTextDataException(String, String) - Static method in class org.qedeq.kernel.xml.parser.SyntaxException

Create exception for unexpected text data within a tag.