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

An address for a QEDEQ module.

ModuleConstantsExistenceChecker - class org.qedeq.kernel.bo.control.ModuleConstantsExistenceChecker.

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

ModuleConstantsExistenceChecker(KernelQedeqBo) - Constructor for class org.qedeq.kernel.bo.control.ModuleConstantsExistenceChecker

Constructor.

ModuleContext - class org.qedeq.kernel.common.ModuleContext.

Define context for an instance of Qedeq.

ModuleContext(ModuleAddress, String) - Constructor for class org.qedeq.kernel.common.ModuleContext

Constructor.

ModuleContext(ModuleAddress) - Constructor for class org.qedeq.kernel.common.ModuleContext

Constructor.

ModuleContext(ModuleContext) - Constructor for class org.qedeq.kernel.common.ModuleContext

Copy constructor.

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

Constructor.

ModuleDataException - exception org.qedeq.kernel.common.ModuleDataException.

Data validation error for a QEDEQ module.

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

Constructor.

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

Constructor.

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

Constructor.

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

Constructor.

ModuleDependencies - interface org.qedeq.kernel.common.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.

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

QEDEQ module file was not found in local file buffer.

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

Constructor.

ModuleLabels - class org.qedeq.kernel.common.ModuleLabels.

Maps labels of an QEDEQ module to their nodes.

ModuleLabels() - Constructor for class org.qedeq.kernel.common.ModuleLabels

Constructs a new empty module label list.

ModuleLabelsCreator - class org.qedeq.kernel.bo.control.ModuleLabelsCreator.

Create mapping from labels to NodeVo for a QEDEQ module.

ModuleLabelsCreator(KernelQedeqBo) - Constructor for class org.qedeq.kernel.bo.control.ModuleLabelsCreator

Constructor.

ModuleLoader - interface org.qedeq.kernel.bo.control.ModuleLoader.

An instance of this interface can load a local file.

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

Error during module loading.

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

Constructor.

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

Constructor.

ModuleReferenceList - interface org.qedeq.kernel.common.ModuleReferenceList.

Represents a reference list of 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.