Uses of Class
org.qedeq.kernel.bo.module.ModuleContext

Packages that use ModuleContext

org.qedeq.kernel.bo.control	Contains business object controllers.
org.qedeq.kernel.bo.load	Load QEDEQ module files from local system or from the internet.
org.qedeq.kernel.bo.logic	Contains the logical abilities of the kernel.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.bo.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.
org.qedeq.kernel.xml.mapper	Contains mapper for XML objects.

Uses of ModuleContext in org.qedeq.kernel.bo.control

Methods in org.qedeq.kernel.bo.control that return ModuleContext

ModuleContext	QedeqBoFormalLogicChecker.getCurrentContext() Get current context within original.
ModuleContext	QedeqBoDuplicateLanguageChecker.getCurrentContext() Get current context within original.

Constructors in org.qedeq.kernel.bo.control with parameters of type ModuleContext

LatexListDataException(int errorCode, String message, ModuleContext context)
Constructor.

LatexListDataException(int errorCode, String message, ModuleContext context, ModuleContext reference)
Constructor.

Uses of ModuleContext in org.qedeq.kernel.bo.load

Methods in org.qedeq.kernel.bo.load that return ModuleContext

protected ModuleContext	QedeqBoFactory.getCurrentContext() Get current context within original.
ModuleContext	DefaultModuleAddress.createModuleContext() Get module address as ModuleContext.

Constructors in org.qedeq.kernel.bo.load with parameters of type ModuleContext

ModuleLoadingException(int errorCode, String message, ModuleContext context, Exception e)
Constructor.

ModuleLoadingException(int errorCode, String message, ModuleContext context, ModuleContext reference)
Constructor.

Uses of ModuleContext in org.qedeq.kernel.bo.logic

Methods in org.qedeq.kernel.bo.logic that return ModuleContext

protected ModuleContext

FormulaChecker.getCurrentContext() Get current context within original.

Methods in org.qedeq.kernel.bo.logic with parameters of type ModuleContext

static void	FormulaChecker.checkFormula(Element element, ModuleContext context) Is Element a formula?
static void	FormulaChecker.checkFormula(Element element, ModuleContext context, ExistenceChecker existenceChecker) Is Element a formula?
static void	FormulaChecker.checkTerm(Element element, ModuleContext context) Is Element a term?
static void	FormulaChecker.checkTerm(Element element, ModuleContext context, ExistenceChecker existenceChecker) Is Element a term?

Constructors in org.qedeq.kernel.bo.logic with parameters of type ModuleContext

TermCheckException(int errorCode, String message, Element element, ModuleContext context, ModuleContext referenceContext)
Constructs an exception.

TermCheckException(int errorCode, String message, Element element, ModuleContext context)
Constructs an exception.

LogicalCheckException(int errorCode, String message, Element element, ModuleContext context, ModuleContext referenceContext)
Constructs an exception.

LogicalCheckException(int errorCode, String message, Element element, ModuleContext context)
Constructs an exception.

FormulaCheckException(int errorCode, String message, Element element, ModuleContext context, ModuleContext referenceContext)
Constructs an exception.

FormulaCheckException(int errorCode, String message, Element element, ModuleContext context)
Constructs an exception.

ElementCheckException(int errorCode, String message, Element element, ModuleContext context, ModuleContext referenceContext)
Constructs an exception.

ElementCheckException(int errorCode, String message, Element element, ModuleContext context)
Constructs an exception.

Uses of ModuleContext in org.qedeq.kernel.bo.module

Methods in org.qedeq.kernel.bo.module that return ModuleContext

ModuleContext	ModuleDataException.getContext() Get context information about error location.
ModuleContext	ModuleDataException.getReferenceContext() Get additional context information about another associated location.
ModuleContext	ModuleAddress.createModuleContext() Get module address as ModuleContext.

Methods in org.qedeq.kernel.bo.module with parameters of type ModuleContext

void	ModuleLabels.addNode(ModuleContext context, NodeVo node) Add node with certain id.

Constructors in org.qedeq.kernel.bo.module with parameters of type ModuleContext

ModuleDataException(int errorCode, String message, ModuleContext context, ModuleContext referenceContext, Exception cause)
Constructor.

ModuleDataException(int errorCode, String message, ModuleContext context, ModuleContext referenceContext)
Constructor.

ModuleDataException(int errorCode, String message, ModuleContext context, Exception cause)
Constructor.

ModuleDataException(int errorCode, String message, ModuleContext context)
Constructor.

ModuleContext(ModuleContext original)
Copy constructor.

ModuleContext(ModuleContext main, String moduleLocation)
Constructor.

IllegalModuleDataException(int errorCode, String message, ModuleContext context, ModuleContext referenceContext, Exception cause)
Constructor.

IllegalModuleDataException(int errorCode, String message, ModuleContext context, Exception cause)
Constructor.

IllegalModuleDataException(int errorCode, String message, ModuleContext context)
Constructor.

Uses of ModuleContext in org.qedeq.kernel.bo.visitor

Methods in org.qedeq.kernel.bo.visitor that return ModuleContext

ModuleContext

QedeqNotNullTransverser.getCurrentContext() Get current context within original.

Uses of ModuleContext in org.qedeq.kernel.xml.mapper

Methods in org.qedeq.kernel.xml.mapper with parameters of type ModuleContext

static SourceArea	ModuleDataException2XmlFileException.createSourceArea(Qedeq qedeq, ModuleContext context) Get area in XML source file for QEDEQ module context.
static String	Context2XPathOld.getFileName(ModuleContext context) Deprecated.
static String	Context2XPathOld.getXPath(ModuleContext context) Deprecated.
static SimpleXPath	Context2SimpleXPathOld.getXPath(ModuleContext context) Deprecated.
static SimpleXPath	Context2SimpleXPath.getXPath(ModuleContext find, Qedeq qedeq) This method finds a ModuleContext something like getChapterList().get(4).getSectionList().get(0).getSubsectionList().get(4).getLatex().get(0) within a Qedeq module and returns a kind of XPath location for an associated XML document: QEDEQ/CHAPTER[5]/SECTION/SUBSECTIONS/SUBSECTION[2]/TEXT/LATEX At this example one can already see that getSubsectionList().get(4) is transformed into SUBSECTIONS/SUBSECTION[2].

Constructors in org.qedeq.kernel.xml.mapper with parameters of type ModuleContext

LocationNotFoundException(ModuleContext context)
Constructs an exception.

LocationFoundException(ModuleContext context)
Constructs an exception.