Uses of Class
org.qedeq.kernel.se.common.ModuleContext

Packages that use ModuleContext

org.qedeq.kernel.bo.common	Basis classes for all packages.
org.qedeq.kernel.bo.logic.common	Here are the common classes that every logical package needs.
org.qedeq.kernel.bo.logic.model	Here are simple model implementations.
org.qedeq.kernel.bo.logic.proof.checker	This package enables to check proofs with the basic rules.
org.qedeq.kernel.bo.logic.proof.common	Contains common proof classes.
org.qedeq.kernel.bo.logic.proof.finder	Proof finder can be found here.
org.qedeq.kernel.bo.logic.wf	Checking for being well-formed formulas.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.bo.service.basis	Contains business object controllers.
org.qedeq.kernel.bo.service.dependency	Plugin for loading all required modules.
org.qedeq.kernel.bo.service.internal	Central module service plugin functionality.
org.qedeq.kernel.bo.service.latex	LaTeX export abilities of the kernel.
org.qedeq.kernel.bo.service.logic	Contains logical services.
org.qedeq.kernel.bo.service.unicode	UTF-8 export abilities of the kernel.
org.qedeq.kernel.se.common	Common classes.
org.qedeq.kernel.se.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.dao	Load and persist QEDEQ XML modules.
org.qedeq.kernel.xml.mapper	Contains mapper for XML objects.

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

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

ModuleContext	NodeBo.getModuleContext() Get module context the node is within.
ModuleContext	ModuleReferenceList.getModuleContext(int index) Get import context of referenced module.

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

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

ModuleContext	PredicateConstant.getContext() Get context where the complete formula is.
ModuleContext	FunctionConstant.getContext() Get context where the complete formula is.
ModuleContext	ReferenceResolver.getReferenceContext(java.lang.String reference) Module context for proof line reference.

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

LogicalCheckExceptionList	FormulaChecker.checkFormula(Element element, ModuleContext context) Checks if an Element is a formula.
LogicalCheckExceptionList	FormulaChecker.checkFormula(Element element, ModuleContext context, ExistenceChecker existenceChecker) Checks if an Element is a formula.
LogicalCheckExceptionList	FormulaChecker.checkTerm(Element element, ModuleContext context) Check if Element is a term.
LogicalCheckExceptionList	FormulaChecker.checkTerm(Element element, ModuleContext context, ExistenceChecker existenceChecker) Check if Element is a term.

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

ClassOperatorAlreadyExistsException(int errorCode, java.lang.String message, ModuleContext context)
Constructor.

ClassOperatorAlreadyExistsException(int errorCode, java.lang.String message, ModuleContext context, ModuleContext reference)
Constructor.

FunctionConstant(FunctionKey key, ElementList completeFormula, ModuleContext context)
Constructor.

IdentityOperatorAlreadyExistsException(int errorCode, java.lang.String message, ModuleContext context)
Constructor.

IdentityOperatorAlreadyExistsException(int errorCode, java.lang.String message, ModuleContext context, ModuleContext reference)
Constructor.

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

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

LogicalCheckException(int errorCode, java.lang.String message, ModuleContext context)
Constructs an exception.

PredicateConstant(PredicateKey key, ElementList completeFormula, ModuleContext context)
Constructor.

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

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

protected ModuleContext

DynamicDirectInterpreter.getModuleContext()

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

Entity	DynamicDirectInterpreter.calculateTerm(ModuleContext moduleContext, Element term) Calculate the term value of a given term.
boolean	DynamicDirectInterpreter.calculateValue(ModuleContext moduleContext, Element formula) Calculate the truth value of a given formula is a tautology.

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

HeuristicException(int code, java.lang.String message, ModuleContext context)
Constructs an exception.

HeuristicException(int code, java.lang.String message, ModuleContext context, ModuleContext referenceContext)
Constructs an exception.

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

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

protected ModuleContext	ProofChecker1Impl.getCurrentContext() Get current context within original.
protected ModuleContext	ProofChecker2Impl.getCurrentContext() Get current context within original.
ModuleContext	ProofChecker2Impl.getReferenceContext(java.lang.String reference)

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

LogicalCheckExceptionList	ProofChecker1Impl.checkProof(Element formula, FormalProofLineList proof, RuleChecker checker, ModuleContext moduleContext, ReferenceResolver resolver)
LogicalCheckExceptionList	ProofChecker0Impl.checkProof(Element formula, FormalProofLineList proof, RuleChecker checker, ModuleContext moduleContext, ReferenceResolver resolver)
LogicalCheckExceptionList	ProofChecker2Impl.checkProof(Element formula, FormalProofLineList proof, RuleChecker checker, ModuleContext moduleContext, ReferenceResolver resolver)
LogicalCheckExceptionList	ProofChecker1Impl.checkRule(Rule rule, ModuleContext context, RuleChecker checker, ReferenceResolver resolver)
LogicalCheckExceptionList	ProofChecker0Impl.checkRule(Rule rule, ModuleContext context, RuleChecker checker, ReferenceResolver resolver)
LogicalCheckExceptionList	ProofChecker2Impl.checkRule(Rule rule, ModuleContext context, RuleChecker checker, ReferenceResolver resolver)

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

ProofCheckException(int errorCode, java.lang.String message, Element element, ModuleContext context)
Constructs an exception.

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

ProofCheckException(int errorCode, java.lang.String message, ModuleContext context)
Constructs an exception.

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

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

LogicalCheckExceptionList	ProofChecker.checkProof(Element formula, FormalProofLineList proof, RuleChecker checker, ModuleContext context, ReferenceResolver resolver) Checks if a formal proof is ok.
LogicalCheckExceptionList	ProofChecker.checkRule(Rule rule, ModuleContext context, RuleChecker checker, ReferenceResolver resolver) Checks if a rule declaration is ok for the proof checker.
void	ProofFinder.findProof(Element formula, FormalProofLineList proof, ModuleContext context, Parameters parameters, ModuleLogListener log, Element2Utf8 transform) Finds a formal proof.

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

ProofException(int errorCode, java.lang.String message, FormalProofLineList lines, ModuleContext context)
Constructor.

ProofFoundException(int errorCode, java.lang.String message, FormalProofLineList lines, ModuleContext context)
Constructor.

ProofNotFoundException(int errorCode, java.lang.String message, ModuleContext context)
Constructor.

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

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

void	ProofFinderImpl.findProof(Element formula, FormalProofLineList proof, ModuleContext context, Parameters parameters, ModuleLogListener log, Element2Utf8 trans)

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

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

protected ModuleContext

FormulaCheckerImpl.getCurrentContext() Get current context within original.

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

LogicalCheckExceptionList	FormulaCheckerImpl.checkFormula(Element element, ModuleContext context)
LogicalCheckExceptionList	FormulaCheckerImpl.checkFormula(Element element, ModuleContext context, ExistenceChecker existenceChecker)
LogicalCheckExceptionList	FormulaCheckerImpl.checkTerm(Element element, ModuleContext context) Check if Element is a term.
LogicalCheckExceptionList	FormulaCheckerImpl.checkTerm(Element element, ModuleContext context, ExistenceChecker existenceChecker) Check if Element is a term.

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

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

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

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

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

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

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

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

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

ModuleContext	ModuleLabels.getFunctionContext(java.lang.String name, int argumentNumber) Get function context.
ModuleContext	KernelNodeBo.getModuleContext() Get module context the node is within.
ModuleContext	KernelModuleReferenceList.getModuleContext(int index)
ModuleContext	ModuleLabels.getPredicateContext(java.lang.String name, int argumentNumber) Get predicate context.
ModuleContext	ModuleLabels.getRuleContext(RuleKey key) Get rule context.

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

void	KernelModuleReferenceList.add(ModuleContext context, java.lang.String label, QedeqBo prop) Add module reference to list.
void	ModuleLabels.addChangedRule(java.lang.String label, Rule definition, ChangedRule cr, ModuleContext context) Add rule definition.
void	ModuleLabels.addFunction(FunctionDefinition definition, ModuleContext context) Add function definition.
void	ModuleLabels.addLabel(ModuleContext context, java.lang.String label) Add unique label for module.
void	KernelModuleReferenceList.addLabelUnique(ModuleContext context, java.lang.String label, QedeqBo prop) Add module reference to list.
void	ModuleLabels.addNode(ModuleContext context, NodeVo node, KernelQedeqBo qedeq, QedeqNumbers data) Add node with certain id.
void	ModuleLabels.addPredicate(PredicateDefinition definition, ModuleContext context) Add predicate definition.
void	ModuleLabels.addRule(java.lang.String label, Rule definition, ModuleContext context) Add rule definition.
SourceArea	QedeqFileDao.createSourceArea(Qedeq qedeq, ModuleContext context) Get area in source file for QEDEQ module context.
void	ModuleConstantsExistenceChecker.setClassOperatorModule(KernelQedeqBo classOperatorModule, ModuleContext context) Set if the class operator is already defined.
void	ModuleConstantsExistenceChecker.setIdentityOperatorDefined(java.lang.String identityOperator, KernelQedeqBo identityOperatorModule, ModuleContext context) Set the identity operator.

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

KernelNodeBo(NodeVo node, ModuleContext context, KernelQedeqBo qedeq, QedeqNumbers data)
Constructor.

ReferenceLinkException(int errorCode, java.lang.String message, ModuleContext context)
Constructor.

ReferenceLinkException(int errorCode, java.lang.String message, ModuleContext context, ModuleContext reference)
Constructor.

Uses of ModuleContext in org.qedeq.kernel.bo.service.basis

Methods in org.qedeq.kernel.bo.service.basis that return ModuleContext

ModuleContext	ControlVisitor.getCurrentContext() Get current context within original.
protected ModuleContext	QedeqVoBuilder.getCurrentContext() Get current context within original.

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

Reference

ControlVisitor.getReference(java.lang.String reference, ModuleContext context, boolean addWarning, boolean addError) Get link for given reference.

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

RuntimeVisitorException(ModuleContext context, java.lang.RuntimeException exception)
Constructor.

Uses of ModuleContext in org.qedeq.kernel.bo.service.dependency

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

LoadRequiredModuleException(int errorCode, java.lang.String message, ModuleContext context)
Constructor.

LoadRequiredModuleException(int errorCode, java.lang.String message, ModuleContext context, ModuleContext reference)
Constructor.

Uses of ModuleContext in org.qedeq.kernel.bo.service.internal

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

SourceArea

DefaultKernelQedeqBo.createSourceArea(Qedeq qedeq, ModuleContext context) Create area in source file for QEDEQ module context.

Uses of ModuleContext in org.qedeq.kernel.bo.service.latex

Methods in org.qedeq.kernel.bo.service.latex that return ModuleContext

ModuleContext

Qedeq2LatexExecutor.getCurrentContext(SourcePosition startDelta, SourcePosition endDelta) Get current module context.

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

LatexContentException(int code, java.lang.String message, ModuleContext context)
Constructs an exception.

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

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

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

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

ModuleContext

FormalProofCheckerExecutor.getReferenceContext(java.lang.String reference)

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

void	ModuleConstantsExistenceCheckerImpl.setClassOperatorModule(KernelQedeqBo classOperatorModule, ModuleContext context) Set if the class operator is already defined.
void	ModuleConstantsExistenceCheckerImpl.setIdentityOperatorDefined(java.lang.String identityOperator, KernelQedeqBo identityOperatorModule, ModuleContext context) Set the identity operator.

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

CheckRequiredModuleException(int errorCode, java.lang.String message, ModuleContext context)
Construct a required module loading failure.

CheckRequiredModuleException(int errorCode, java.lang.String message, ModuleContext context, ModuleContext reference)
Construct a required module loading failure.

Uses of ModuleContext in org.qedeq.kernel.bo.service.unicode

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

UnicodeException(int code, java.lang.String message, ModuleContext context)
Constructs an exception.

Uses of ModuleContext in org.qedeq.kernel.se.common

Methods in org.qedeq.kernel.se.common that return ModuleContext

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

Constructors in org.qedeq.kernel.se.common with parameters of type ModuleContext

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

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

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

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

ModuleContext(ModuleContext original)
Copy constructor.

ModuleContext(ModuleContext main, java.lang.String moduleLocation)
Constructor.

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

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

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

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

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

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

ModuleContext	QedeqNotNullTraverser.getCurrentContext()
ModuleContext	QedeqTraverser.getCurrentContext() Get current context within original.

Methods in org.qedeq.kernel.se.visitor with parameters of type ModuleContext

void	ContextChecker.checkContext(Qedeq qedeq, ModuleContext context) Check it this context is valid.
void	DefaultContextChecker.checkContext(Qedeq qedeq, ModuleContext context) We don't check anything.

Constructors in org.qedeq.kernel.se.visitor with parameters of type ModuleContext

InterruptException(ModuleContext context)
Constructor.

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

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

SourceArea

XmlQedeqFileDao.createSourceArea(Qedeq qedeq, ModuleContext context)

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

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

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

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

LocationFoundException(ModuleContext context)
Constructs an exception.

LocationNotFoundException(ModuleContext context, java.lang.String matching, java.lang.String find)
Constructs an exception.