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

M

MISSING_ATTRIBUTE_CODE - Static variable in class org.qedeq.kernel.xml.common.XmlSyntaxException

Error code for missing attribute.

MISSING_ATTRIBUTE_TEXT_1 - Static variable in class org.qedeq.kernel.xml.common.XmlSyntaxException

Missing attribute text.

MISSING_ATTRIBUTE_TEXT_2 - Static variable in class org.qedeq.kernel.xml.common.XmlSyntaxException

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.

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(URL, String) - Constructor for class org.qedeq.kernel.bo.module.ModuleContext

Constructor.

ModuleContext(URL) - 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 SourceFileException.

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

A QEDEQ module URL and the URLs of the modules it requires and its dependents.

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

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

Represents a reference list of modules.

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

Constructs an empty list of module references.

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