Uses of Class
org.qedeq.kernel.context.ModuleContext

Packages that use ModuleContext

org.qedeq.kernel.bo.control	Contains business object controllers.
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.context	Provides access to the kernel.
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.
protected ModuleContext	QedeqBoFactory.getCurrentContext() Get current context within original.

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.

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.

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

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

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.

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

Constructors in org.qedeq.kernel.context with parameters of type ModuleContext

ModuleContext(ModuleContext original)
Copy constructor.

ModuleContext(ModuleContext main, String moduleLocation)
Constructor.

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

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

static String	Context2XPath.getFileName(ModuleContext context) Get file path out of context information.
static String	Context2XPath.getXPath(ModuleContext context) Get XPath out of context information.
static SimpleXPath	Context2SimpleXPath.getXPath(ModuleContext context) Transform context information into XML specific location information.