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

M

MAXIMUM - Static variable in class org.qedeq.kernel.common.SyntaxExceptionList

Maximum number of exceptions.

MISSING_ATTRIBUTE_CODE - Static variable in class org.qedeq.kernel.common.SyntaxException

Error code for missing attribute.

MISSING_ATTRIBUTE_TEXT_1 - Static variable in class org.qedeq.kernel.common.SyntaxException

Missing attribute text.

MISSING_ATTRIBUTE_TEXT_2 - Static variable in class org.qedeq.kernel.common.SyntaxException

Missing attribute, part two.

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

Error code.

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

Error message.

MathParser - class org.qedeq.kernel.parser.MathParser.

Parse term or formula data into Terms.

MathParser(MementoTextInput, List) - Constructor for class org.qedeq.kernel.parser.MathParser

Constructor.

MathematicalState - class org.qedeq.kernel.bo.module.MathematicalState.

Represents a mathematical module state.

MathematicalStateDescriptions - interface org.qedeq.kernel.bo.module.MathematicalStateDescriptions.

This interface provides primitive constants for the MathematicalState.

MementoTextInput - class org.qedeq.kernel.parser.MementoTextInput.

Remember TextInput positions.

MementoTextInput(TextInput) - Constructor for class org.qedeq.kernel.parser.MementoTextInput

Constructor.

ModuleAddress - interface org.qedeq.kernel.bo.module.ModuleAddress.

An address for a QEDEQ module.

ModuleContext - class org.qedeq.kernel.bo.module.ModuleContext.

Define context for an instance of Qedeq.

ModuleContext(String, String) - Constructor for class org.qedeq.kernel.bo.module.ModuleContext

Constructor.

ModuleContext(String) - Constructor for class org.qedeq.kernel.bo.module.ModuleContext

Constructor.

ModuleContext(ModuleContext) - Constructor for class org.qedeq.kernel.bo.module.ModuleContext

Copy constructor.

ModuleContext(ModuleContext, String) - Constructor for class org.qedeq.kernel.bo.module.ModuleContext

Constructor.

ModuleDataException - exception org.qedeq.kernel.bo.module.ModuleDataException.

Data validation error for a QEDEQ module.

ModuleDataException(int, String, ModuleContext, ModuleContext, Exception) - Constructor for class org.qedeq.kernel.bo.module.ModuleDataException

Constructor.

ModuleDataException(int, String, ModuleContext, ModuleContext) - Constructor for class org.qedeq.kernel.bo.module.ModuleDataException

Constructor.

ModuleDataException(int, String, ModuleContext, Exception) - Constructor for class org.qedeq.kernel.bo.module.ModuleDataException

Constructor.

ModuleDataException(int, String, ModuleContext) - Constructor for class org.qedeq.kernel.bo.module.ModuleDataException

Constructor.

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

Converts a ModuleDataException into a XmlFileException.

ModuleEventListener - interface org.qedeq.kernel.log.ModuleEventListener.

Interface for an QEDEQ module event listener.

ModuleEventListenerLog - class org.qedeq.kernel.log.ModuleEventListenerLog.

Listener that writes events to the QedeqLog.

ModuleEventListenerLog() - Constructor for class org.qedeq.kernel.log.ModuleEventListenerLog

Constructor.

ModuleEventLog - class org.qedeq.kernel.log.ModuleEventLog.

This class organizes the logging of module events.

ModuleFactory - interface org.qedeq.kernel.bo.module.ModuleFactory.

Access to QEDEQ modules.

ModuleFileNotFoundException - exception org.qedeq.kernel.bo.load.ModuleFileNotFoundException.

QEDEQ module file was not found in local file buffer.

ModuleFileNotFoundException(String) - Constructor for class org.qedeq.kernel.bo.load.ModuleFileNotFoundException

Constructor.

ModuleLabels - class org.qedeq.kernel.bo.module.ModuleLabels.

Maps labels of an module to their elements.

ModuleLabels() - Constructor for class org.qedeq.kernel.bo.module.ModuleLabels

Constructs a new empty module label list.

ModuleLoadingException - exception org.qedeq.kernel.bo.load.ModuleLoadingException.

Error during module loading.

ModuleLoadingException(int, String, ModuleContext, Exception) - Constructor for class org.qedeq.kernel.bo.load.ModuleLoadingException

Constructor.

ModuleLoadingException(int, String, ModuleContext, ModuleContext) - Constructor for class org.qedeq.kernel.bo.load.ModuleLoadingException

Constructor.

ModuleProperties - interface org.qedeq.kernel.bo.module.ModuleProperties.

Represents a module and its states.

Modules - class org.qedeq.kernel.bo.load.Modules.

Encapsulates all modules.

Modules() - Constructor for class org.qedeq.kernel.bo.load.Modules

main(String[]) - Static method in class org.qedeq.kernel.rel.test.gui.ParserPane

main(String[]) - Static method in class org.qedeq.kernel.rel.test.gui.Xml2OtherGui

Main method.

main(String[]) - Static method in class org.qedeq.kernel.rel.test.text.Xml2Latex

Main method.

main(String[]) - Static method in class org.qedeq.kernel.rel.test.text.Xml2Wiki

Main method.

main(String[]) - Static method in class org.qedeq.kernel.rel.test.text.Xml2Xml

Main method.

main(String[]) - Static method in class org.qedeq.kernel.xml.tracker.XPathLocationFinder

Main method.

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

Remember current position.

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

Remember current position.

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

Remember current position.

matchesElements(SimpleXPath, SimpleXPath) - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath

Match the elements and occurrences of this finder object and current elements?

matchesElementsBegining(SimpleXPath, SimpleXPath) - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath

Match the elements and occurrences of this finder object and current elements?

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

Remove elements from another EqualFormulaSet from this set.

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

Remove elements from another ElementSet from this set.