Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

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

Packages that use ModuleDataException
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.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.heuristic Plugin for model checking of formulas. 
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.mapper Contains mapper for XML objects. 
 

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

Subclasses of ModuleDataException in org.qedeq.kernel.bo.logic.common
 class ClassOperatorAlreadyExistsException
          A class operator was defined twice.
 class IdentityOperatorAlreadyExistsException
          The identity operator was defined twice.
 class LogicalCheckException
          This is the basis for an exception for logical errors within a QEDEQ module.
 

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

Subclasses of ModuleDataException in org.qedeq.kernel.bo.logic.model
 class HeuristicException
          Something went wrong during formula testing within model.
 

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

Subclasses of ModuleDataException in org.qedeq.kernel.bo.logic.proof.checker
 class ProofCheckException
          This is an exception for formal proof errors within a QEDEQ module.
 

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

Subclasses of ModuleDataException in org.qedeq.kernel.bo.logic.proof.common
 class ProofException
          Indicates we found something or have to abandon the search.
 class ProofFoundException
          Indicates we found a proof.
 class ProofNotFoundException
          Indicates we couldn't find a proof.
 

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

Subclasses of ModuleDataException in org.qedeq.kernel.bo.logic.wf
 class ElementCheckException
          This is an exception for logical errors within a QEDEQ module.
 class FormulaCheckException
          This is an exception for logical errors within a QEDEQ module.
 class TermCheckException
          This is an exception for logical errors within a QEDEQ module.
 

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

Subclasses of ModuleDataException in org.qedeq.kernel.bo.module
 class ReferenceLinkException
          A reference link resolution failed.
 

Methods in org.qedeq.kernel.bo.module with parameters of type ModuleDataException
 SourceFileException KernelQedeqBo.createSourceFileException(Service service, ModuleDataException exception)
          Create exception out of ModuleDataException.
 

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

Subclasses of ModuleDataException in org.qedeq.kernel.bo.service.basis
 class RuntimeVisitorException
          An unexpected runtime exception was thrown during a visit.
 

Methods in org.qedeq.kernel.bo.service.basis with parameters of type ModuleDataException
protected  void ControlVisitor.addError(ModuleDataException me)
          Add exception to error collection.
protected  void ControlVisitor.addWarning(ModuleDataException me)
          Add exception to warning collection.
 

Methods in org.qedeq.kernel.bo.service.basis that throw ModuleDataException
static QedeqVo QedeqVoBuilder.createQedeq(ModuleAddress address, Qedeq original)
          Create QedeqVo out of an Qedeq instance.
 

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

Subclasses of ModuleDataException in org.qedeq.kernel.bo.service.dependency
 class LoadRequiredModuleException
          Loading an required QEDEQ module failed.
 

Methods in org.qedeq.kernel.bo.service.dependency that throw ModuleDataException
 void LoadDirectlyRequiredModulesExecutor.visitEnter(Import imp)
          Visit import.
 

Uses of ModuleDataException in org.qedeq.kernel.bo.service.heuristic
 

Methods in org.qedeq.kernel.bo.service.heuristic that throw ModuleDataException
 void DynamicHeuristicCheckerExecutor.visitEnter(Axiom axiom)
           
 void DynamicHeuristicCheckerExecutor.visitEnter(ConditionalProof line)
           
 void DynamicHeuristicCheckerExecutor.visitEnter(FormalProofLine line)
           
 void DynamicHeuristicCheckerExecutor.visitEnter(FunctionDefinition definition)
           
 void DynamicHeuristicCheckerExecutor.visitEnter(InitialFunctionDefinition definition)
           
 void DynamicHeuristicCheckerExecutor.visitEnter(InitialPredicateDefinition definition)
           
 void DynamicHeuristicCheckerExecutor.visitEnter(PredicateDefinition definition)
           
 void DynamicHeuristicCheckerExecutor.visitEnter(Proposition proposition)
           
 void DynamicHeuristicCheckerExecutor.visitEnter(Rule rule)
           
 

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

Methods in org.qedeq.kernel.bo.service.internal with parameters of type ModuleDataException
 SourceFileException DefaultKernelQedeqBo.createSourceFileException(Service service, ModuleDataException exception)
           
 SourceFileExceptionList DefaultKernelQedeqBo.createSourceFileExceptionList(Service service, ModuleDataException exception)
          Create exception out of ModuleDataException.
 SourceFileExceptionList DefaultKernelQedeqBo.createSourceFileExceptionList(Service service, ModuleDataException exception, Qedeq qedeq)
          Create exception out of ModuleDataException.
 

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

Subclasses of ModuleDataException in org.qedeq.kernel.bo.service.latex
 class LatexContentException
          Exception for LaTeX content problems.
 class LatexListDataException
          Data validation error for an LatexList element of a QEDEQ module.
 

Methods in org.qedeq.kernel.bo.service.latex that throw ModuleDataException
 void Qedeq2LatexExecutor.visitEnter(Add r)
           
 void Qedeq2LatexExecutor.visitEnter(ConditionalProof r)
           
 void Qedeq2LatexExecutor.visitEnter(Existential r)
           
 void Qedeq2LatexExecutor.visitEnter(Import imp)
           
 void Qedeq2LatexExecutor.visitEnter(ImportList imports)
           
 void QedeqBoDuplicateLanguageChecker.visitEnter(LatexList list)
           
 void Qedeq2LatexExecutor.visitEnter(ModusPonens r)
           
 void Qedeq2LatexExecutor.visitEnter(Rename r)
           
 void Qedeq2LatexExecutor.visitEnter(SubstFree r)
           
 void Qedeq2LatexExecutor.visitEnter(SubstFunc r)
           
 void Qedeq2LatexExecutor.visitEnter(SubstPred r)
           
 void Qedeq2LatexExecutor.visitEnter(Universal r)
           
 

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

Subclasses of ModuleDataException in org.qedeq.kernel.bo.service.logic
 class CheckRequiredModuleException
          Check failed error for an required QEDEQ module.
 

Methods in org.qedeq.kernel.bo.service.logic with parameters of type ModuleDataException
protected  void WellFormedCheckerExecutor.addError(ModuleDataException me)
           
protected  void FormalProofCheckerExecutor.addError(ModuleDataException me)
           
 

Methods in org.qedeq.kernel.bo.service.logic that throw ModuleDataException
 void ModuleConstantsExistenceCheckerImpl.init()
          Check if required QEDEQ modules mix without problems.
 void WellFormedCheckerExecutor.visitEnter(Axiom axiom)
           
 void FormalProofCheckerExecutor.visitEnter(Axiom axiom)
           
 void SimpleProofFinderExecutor.visitEnter(Axiom axiom)
           
 void WellFormedCheckerExecutor.visitEnter(FunctionDefinition definition)
           
 void FormalProofCheckerExecutor.visitEnter(FunctionDefinition definition)
           
 void SimpleProofFinderExecutor.visitEnter(FunctionDefinition definition)
           
 void FormalProofCheckerExecutor.visitEnter(Header header)
           
 void WellFormedCheckerExecutor.visitEnter(InitialFunctionDefinition definition)
           
 void FormalProofCheckerExecutor.visitEnter(InitialFunctionDefinition definition)
           
 void SimpleProofFinderExecutor.visitEnter(InitialFunctionDefinition definition)
           
 void WellFormedCheckerExecutor.visitEnter(InitialPredicateDefinition definition)
           
 void FormalProofCheckerExecutor.visitEnter(InitialPredicateDefinition definition)
           
 void SimpleProofFinderExecutor.visitEnter(InitialPredicateDefinition definition)
           
 void WellFormedCheckerExecutor.visitEnter(PredicateDefinition definition)
           
 void FormalProofCheckerExecutor.visitEnter(PredicateDefinition definition)
           
 void SimpleProofFinderExecutor.visitEnter(PredicateDefinition definition)
           
 void WellFormedCheckerExecutor.visitEnter(Proposition proposition)
           
 void FormalProofCheckerExecutor.visitEnter(Proposition proposition)
           
 void SimpleProofFinderExecutor.visitEnter(Proposition proposition)
           
 void WellFormedCheckerExecutor.visitEnter(Rule rule)
           
 void FormalProofCheckerExecutor.visitEnter(Rule rule)
           
 void SimpleProofFinderExecutor.visitEnter(Rule rule)
           
 void WellFormedCheckerExecutor.visitEnter(Specification specification)
           
 

Constructors in org.qedeq.kernel.bo.service.logic that throw ModuleDataException
ModuleConstantsExistenceCheckerImpl(KernelQedeqBo prop)
          Constructor.
 

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

Subclasses of ModuleDataException in org.qedeq.kernel.bo.service.unicode
 class UnicodeException
          Exception for QEDEQ into unicode conversion problems.
 

Methods in org.qedeq.kernel.bo.service.unicode that throw ModuleDataException
 void Qedeq2UnicodeVisitor.visitEnter(Add r)
           
 void Qedeq2UnicodeVisitor.visitEnter(ConditionalProof r)
           
 void Qedeq2UnicodeVisitor.visitEnter(Existential r)
           
 void Qedeq2UnicodeVisitor.visitEnter(ImportList imports)
           
 void Qedeq2UnicodeVisitor.visitEnter(ModusPonens r)
           
 void Qedeq2UnicodeVisitor.visitEnter(Rename r)
           
 void Qedeq2UnicodeVisitor.visitEnter(SubstFree r)
           
 void Qedeq2UnicodeVisitor.visitEnter(SubstFunc r)
           
 void Qedeq2UnicodeVisitor.visitEnter(SubstPred r)
           
 void Qedeq2UnicodeVisitor.visitEnter(Universal r)
           
 

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

Subclasses of ModuleDataException in org.qedeq.kernel.se.common
 class IllegalModuleDataException
          Data validation error for a QEDEQ module.
 

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

Subclasses of ModuleDataException in org.qedeq.kernel.se.visitor
 class InterruptException
          An interruption was set during a visit.
 

Methods in org.qedeq.kernel.se.visitor that throw ModuleDataException
 void QedeqNotNullTraverser.accept(Add reason)
           
 void QedeqTraverser.accept(Add reason)
          Traverse formal proof line reason.
 void QedeqNotNullTraverser.accept(Atom atom)
           
 void QedeqTraverser.accept(Atom atom)
          Traverse atom.
 void QedeqNotNullTraverser.accept(Author author)
           
 void QedeqTraverser.accept(Author author)
          Traverse author.
 void QedeqNotNullTraverser.accept(AuthorList authorList)
           
 void QedeqTraverser.accept(AuthorList authorList)
          Traverse author list.
 void QedeqNotNullTraverser.accept(Axiom axiom)
           
 void QedeqTraverser.accept(Axiom axiom)
          Traverse axiom.
 void QedeqNotNullTraverser.accept(ChangedRule rule)
           
 void QedeqTraverser.accept(ChangedRule rule)
          Traverse changed rule.
 void QedeqNotNullTraverser.accept(ChangedRuleList list)
           
 void QedeqTraverser.accept(ChangedRuleList list)
          Traverse changed rule list.
 void QedeqNotNullTraverser.accept(Chapter chapter)
           
 void QedeqTraverser.accept(Chapter chapter)
          Traverse chapter.
 void QedeqNotNullTraverser.accept(ChapterList chapterList)
           
 void QedeqTraverser.accept(ChapterList chapterList)
          Traverse chapter list.
 void QedeqNotNullTraverser.accept(Conclusion conclusion)
           
 void QedeqTraverser.accept(Conclusion conclusion)
          Traverse formal proof line conclusion.
 void QedeqNotNullTraverser.accept(ConditionalProof reason)
           
 void QedeqTraverser.accept(ConditionalProof line)
          Traverse formal proof line wit conditional proof.
 void QedeqNotNullTraverser.accept(Element element)
           
 void QedeqTraverser.accept(Element element)
          Traverse element.
 void QedeqNotNullTraverser.accept(ElementList list)
           
 void QedeqTraverser.accept(ElementList list)
          Traverse element list.
 void QedeqNotNullTraverser.accept(Existential reason)
           
 void QedeqTraverser.accept(Existential reason)
          Traverse formal proof line reason.
 void QedeqNotNullTraverser.accept(FormalProof proof)
           
 void QedeqTraverser.accept(FormalProof proof)
          Traverse formal proof.
 void QedeqNotNullTraverser.accept(FormalProofLine proofLine)
           
 void QedeqTraverser.accept(FormalProofLine proofLine)
          Traverse formal proof line.
 void QedeqNotNullTraverser.accept(FormalProofLineList proofLineList)
           
 void QedeqTraverser.accept(FormalProofLineList proofLineList)
          Traverse formal proof list.
 void QedeqNotNullTraverser.accept(FormalProofList proofList)
           
 void QedeqTraverser.accept(FormalProofList proofList)
          Traverse formal proof list.
 void QedeqNotNullTraverser.accept(Formula formula)
           
 void QedeqTraverser.accept(Formula formula)
          Traverse formula.
 void QedeqNotNullTraverser.accept(FunctionDefinition definition)
           
 void QedeqTraverser.accept(FunctionDefinition definition)
          Traverse function definition.
 void QedeqNotNullTraverser.accept(Header header)
           
 void QedeqTraverser.accept(Header header)
          Traverse header.
 void QedeqNotNullTraverser.accept(Hypothesis hypothesis)
           
 void QedeqTraverser.accept(Hypothesis hypothesis)
          Traverse formal proof line hypothesis.
 void QedeqNotNullTraverser.accept(Import imp)
           
 void QedeqTraverser.accept(Import imp)
          Traverse import.
 void QedeqNotNullTraverser.accept(ImportList importList)
           
 void QedeqTraverser.accept(ImportList importList)
          Traverse import list.
 void QedeqNotNullTraverser.accept(InitialFunctionDefinition definition)
           
 void QedeqTraverser.accept(InitialFunctionDefinition definition)
          Traverse initial function definition.
 void QedeqNotNullTraverser.accept(InitialPredicateDefinition definition)
           
 void QedeqTraverser.accept(InitialPredicateDefinition definition)
          Traverse initial predicate definition.
 void QedeqNotNullTraverser.accept(Latex latex)
           
 void QedeqTraverser.accept(Latex latex)
          Traverse latex.
 void QedeqNotNullTraverser.accept(LatexList latexList)
           
 void QedeqTraverser.accept(LatexList latexList)
          Traverse latex list.
 void QedeqNotNullTraverser.accept(LinkList linkList)
           
 void QedeqTraverser.accept(LinkList linkList)
          Traverse link list.
 void QedeqNotNullTraverser.accept(LiteratureItem item)
           
 void QedeqTraverser.accept(LiteratureItem literatureItem)
          Traverse literature item.
 void QedeqNotNullTraverser.accept(LiteratureItemList literatureItemList)
           
 void QedeqTraverser.accept(LiteratureItemList literatureItemList)
          Traverse literature item list.
 void QedeqNotNullTraverser.accept(Location location)
           
 void QedeqTraverser.accept(Location location)
          Traverse location.
 void QedeqNotNullTraverser.accept(LocationList locationList)
           
 void QedeqTraverser.accept(LocationList locationList)
          Traverse location list.
 void QedeqNotNullTraverser.accept(ModusPonens reason)
           
 void QedeqTraverser.accept(ModusPonens reason)
          Traverse formal proof line reason.
 void QedeqNotNullTraverser.accept(Node node)
           
 void QedeqTraverser.accept(Node node)
          Traverse node.
 void QedeqNotNullTraverser.accept(PredicateDefinition definition)
           
 void QedeqTraverser.accept(PredicateDefinition definition)
          Traverse predicate definition.
 void QedeqNotNullTraverser.accept(Proof proof)
           
 void QedeqTraverser.accept(Proof proof)
          Traverse proof.
 void QedeqNotNullTraverser.accept(ProofList proofList)
           
 void QedeqTraverser.accept(ProofList proofList)
          Traverse proof list.
 void QedeqNotNullTraverser.accept(Proposition proposition)
           
 void QedeqTraverser.accept(Proposition proposition)
          Traverse proposition.
 void QedeqNotNullTraverser.accept(Qedeq qedeq)
           
 void QedeqTraverser.accept(Qedeq qedeq)
          Start with the top structure of a QEDEQ module.
 void QedeqNotNullTraverser.accept(Reason reason)
           
 void QedeqTraverser.accept(Reason reason)
          Traverse formal proof line reason.
 void QedeqNotNullTraverser.accept(Rename reason)
           
 void QedeqTraverser.accept(Rename reason)
          Traverse formal proof line reason.
 void QedeqNotNullTraverser.accept(Rule rule)
           
 void QedeqTraverser.accept(Rule rule)
          Traverse rule.
 void QedeqNotNullTraverser.accept(Section section)
           
 void QedeqTraverser.accept(Section section)
          Traverse section.
 void QedeqNotNullTraverser.accept(SectionList sectionList)
           
 void QedeqTraverser.accept(SectionList sectionList)
          Traverse section list.
 void QedeqNotNullTraverser.accept(Specification specification)
           
 void QedeqTraverser.accept(Specification specification)
          Traverse specification.
 void QedeqNotNullTraverser.accept(Subsection subsection)
           
 void QedeqTraverser.accept(Subsection subsection)
          Traverse subsection list.
 void QedeqNotNullTraverser.accept(SubsectionList subsectionList)
           
 void QedeqTraverser.accept(SubsectionList subsectionList)
          Traverse subsection list.
 void QedeqNotNullTraverser.accept(SubstFree reason)
           
 void QedeqTraverser.accept(SubstFree reason)
          Traverse formal proof line reason.
 void QedeqNotNullTraverser.accept(SubstFunc reason)
           
 void QedeqTraverser.accept(SubstFunc reason)
          Traverse formal proof line reason.
 void QedeqNotNullTraverser.accept(SubstPred reason)
           
 void QedeqTraverser.accept(SubstPred reason)
          Traverse formal proof line reason.
 void QedeqNotNullTraverser.accept(Term term)
           
 void QedeqTraverser.accept(Term term)
          Traverse term.
 void QedeqNotNullTraverser.accept(Universal reason)
           
 void QedeqTraverser.accept(Universal reason)
          Traverse formal proof line reason.
 void QedeqNotNullTraverser.accept(UsedByList usedByList)
           
 void QedeqTraverser.accept(UsedByList usedByList)
          Traverse used by list.
 void QedeqVisitor.visitEnter(Add reason)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Add reason)
           
 void AbstractModuleVisitor.visitEnter(Atom atom)
           
 void ListVisitor.visitEnter(Atom atom)
          Visit certain element.
 void QedeqVisitor.visitEnter(Author author)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Author author)
           
 void QedeqVisitor.visitEnter(AuthorList authorList)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(AuthorList authorList)
           
 void QedeqVisitor.visitEnter(Axiom axiom)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Axiom axiom)
           
 void QedeqVisitor.visitEnter(ChangedRule rule)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(ChangedRule rule)
           
 void QedeqVisitor.visitEnter(ChangedRuleList list)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(ChangedRuleList rule)
           
 void QedeqVisitor.visitEnter(Chapter chapter)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Chapter chapter)
           
 void QedeqVisitor.visitEnter(ChapterList chapterList)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(ChapterList chapterList)
           
 void QedeqVisitor.visitEnter(Conclusion conclusion)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Conclusion conclusion)
           
 void QedeqVisitor.visitEnter(ConditionalProof reason)
          Visit conditional proof line.
 void AbstractModuleVisitor.visitEnter(ConditionalProof reason)
           
 void AbstractModuleVisitor.visitEnter(ElementList list)
           
 void ListVisitor.visitEnter(ElementList list)
          Visit certain element.
 void QedeqVisitor.visitEnter(Existential reason)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Existential reason)
           
 void QedeqVisitor.visitEnter(FormalProof proof)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(FormalProof proof)
           
 void QedeqVisitor.visitEnter(FormalProofLine proofLine)
          Visit formal proof line (but not an conditional proof line).
 void AbstractModuleVisitor.visitEnter(FormalProofLine proofLine)
           
 void QedeqVisitor.visitEnter(FormalProofLineList proofLineList)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(FormalProofLineList proofLineList)
           
 void QedeqVisitor.visitEnter(FormalProofList proofList)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(FormalProofList proofList)
           
 void QedeqVisitor.visitEnter(Formula formula)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Formula formula)
           
 void QedeqVisitor.visitEnter(FunctionDefinition functionDefinition)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(FunctionDefinition functionDefinition)
           
 void QedeqVisitor.visitEnter(Header header)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Header header)
           
 void QedeqVisitor.visitEnter(Hypothesis hypothesis)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Hypothesis hypothesis)
           
 void QedeqVisitor.visitEnter(Import imp)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Import imp)
           
 void QedeqVisitor.visitEnter(ImportList importList)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(ImportList importList)
           
 void QedeqVisitor.visitEnter(InitialFunctionDefinition functionDefinition)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(InitialFunctionDefinition functionDefinition)
           
 void QedeqVisitor.visitEnter(InitialPredicateDefinition predicateDefinition)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(InitialPredicateDefinition predicateDefinition)
           
 void QedeqVisitor.visitEnter(Latex latex)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Latex latex)
           
 void QedeqVisitor.visitEnter(LatexList latexList)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(LatexList latexList)
           
 void QedeqVisitor.visitEnter(LinkList linkList)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(LinkList linkList)
           
 void QedeqVisitor.visitEnter(LiteratureItem literatureItem)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(LiteratureItem literatureItem)
           
 void QedeqVisitor.visitEnter(LiteratureItemList literatureItemList)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(LiteratureItemList literatureItemList)
           
 void QedeqVisitor.visitEnter(Location location)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Location location)
           
 void QedeqVisitor.visitEnter(LocationList locationList)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(LocationList locationList)
           
 void QedeqVisitor.visitEnter(ModusPonens reason)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(ModusPonens reason)
           
 void QedeqVisitor.visitEnter(Node node)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Node node)
           
 void QedeqVisitor.visitEnter(PredicateDefinition predicateDefinition)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(PredicateDefinition predicateDefinition)
           
 void QedeqVisitor.visitEnter(Proof proof)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Proof proof)
           
 void QedeqVisitor.visitEnter(ProofList proofList)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(ProofList proofList)
           
 void QedeqVisitor.visitEnter(Proposition proposition)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Proposition proposition)
           
 void QedeqVisitor.visitEnter(Qedeq qedeq)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Qedeq qedeq)
           
 void QedeqVisitor.visitEnter(Reason reason)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Reason reason)
           
 void QedeqVisitor.visitEnter(Rename reason)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Rename reason)
           
 void QedeqVisitor.visitEnter(Rule rule)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Rule rule)
           
 void QedeqVisitor.visitEnter(Section section)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Section section)
           
 void QedeqVisitor.visitEnter(SectionList sectionList)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(SectionList sectionList)
           
 void QedeqVisitor.visitEnter(Specification specification)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Specification specification)
           
 void QedeqVisitor.visitEnter(Subsection subsection)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Subsection subsection)
           
 void QedeqVisitor.visitEnter(SubsectionList subsectionList)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(SubsectionList subsectionList)
           
 void QedeqVisitor.visitEnter(SubsectionType subsectionType)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(SubsectionType subsectionType)
           
 void QedeqVisitor.visitEnter(SubstFree reason)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(SubstFree reason)
           
 void QedeqVisitor.visitEnter(SubstFunc reason)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(SubstFunc reason)
           
 void QedeqVisitor.visitEnter(SubstPred reason)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(SubstPred reason)
           
 void QedeqVisitor.visitEnter(Term term)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Term term)
           
 void QedeqVisitor.visitEnter(Universal reason)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(Universal reason)
           
 void QedeqVisitor.visitEnter(UsedByList usedByList)
          Visit certain element.
 void AbstractModuleVisitor.visitEnter(UsedByList usedByList)
           
 void QedeqVisitor.visitLeave(Add reason)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Add reason)
           
 void AbstractModuleVisitor.visitLeave(Atom atom)
           
 void ListVisitor.visitLeave(Atom atom)
          Visit certain element.
 void QedeqVisitor.visitLeave(Author author)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Author author)
           
 void QedeqVisitor.visitLeave(AuthorList authorList)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(AuthorList authorList)
           
 void QedeqVisitor.visitLeave(Axiom axiom)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Axiom axiom)
           
 void QedeqVisitor.visitLeave(ChangedRule rule)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(ChangedRule rule)
           
 void QedeqVisitor.visitLeave(ChangedRuleList list)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(ChangedRuleList rule)
           
 void QedeqVisitor.visitLeave(Chapter chapter)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Chapter chapter)
           
 void QedeqVisitor.visitLeave(ChapterList chapterList)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(ChapterList chapterList)
           
 void QedeqVisitor.visitLeave(Conclusion conclusion)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Conclusion conclusion)
           
 void QedeqVisitor.visitLeave(ConditionalProof reason)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(ConditionalProof reason)
           
 void AbstractModuleVisitor.visitLeave(ElementList list)
           
 void ListVisitor.visitLeave(ElementList list)
          Visit certain element.
 void QedeqVisitor.visitLeave(Existential reason)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Existential reason)
           
 void QedeqVisitor.visitLeave(FormalProof proof)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(FormalProof proof)
           
 void QedeqVisitor.visitLeave(FormalProofLine proofLine)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(FormalProofLine proofLine)
           
 void QedeqVisitor.visitLeave(FormalProofLineList proofLineList)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(FormalProofLineList proofLineList)
           
 void QedeqVisitor.visitLeave(FormalProofList proofList)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(FormalProofList proofList)
           
 void QedeqVisitor.visitLeave(Formula formula)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Formula formula)
           
 void QedeqVisitor.visitLeave(FunctionDefinition functionDefinition)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(FunctionDefinition functionDefinition)
           
 void QedeqVisitor.visitLeave(Header header)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Header header)
           
 void QedeqVisitor.visitLeave(Hypothesis hypothesis)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Hypothesis hypothesis)
           
 void QedeqVisitor.visitLeave(Import imp)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Import imp)
           
 void QedeqVisitor.visitLeave(ImportList importList)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(ImportList importList)
           
 void QedeqVisitor.visitLeave(InitialFunctionDefinition functionDefinition)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(InitialFunctionDefinition functionDefinition)
           
 void QedeqVisitor.visitLeave(InitialPredicateDefinition predicateDefinition)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(InitialPredicateDefinition predicateDefinition)
           
 void QedeqVisitor.visitLeave(Latex latex)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Latex latex)
           
 void QedeqVisitor.visitLeave(LatexList latexList)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(LatexList latexList)
           
 void QedeqVisitor.visitLeave(LinkList linkList)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(LinkList linkList)
           
 void QedeqVisitor.visitLeave(LiteratureItem literatureItem)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(LiteratureItem literatureItem)
           
 void QedeqVisitor.visitLeave(LiteratureItemList literatureItemList)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(LiteratureItemList literatureItemList)
           
 void QedeqVisitor.visitLeave(Location location)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Location location)
           
 void QedeqVisitor.visitLeave(LocationList locationList)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(LocationList locationList)
           
 void QedeqVisitor.visitLeave(ModusPonens reason)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(ModusPonens reason)
           
 void QedeqVisitor.visitLeave(Node node)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Node authorList)
           
 void QedeqVisitor.visitLeave(PredicateDefinition predicateDefinition)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(PredicateDefinition predicateDefinition)
           
 void QedeqVisitor.visitLeave(Proof proof)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Proof proof)
           
 void QedeqVisitor.visitLeave(ProofList proofList)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(ProofList proofList)
           
 void QedeqVisitor.visitLeave(Proposition proposition)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Proposition proposition)
           
 void QedeqVisitor.visitLeave(Qedeq qedeq)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Qedeq qedeq)
           
 void QedeqVisitor.visitLeave(Reason reason)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Reason reason)
           
 void QedeqVisitor.visitLeave(Rename reason)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Rename reason)
           
 void QedeqVisitor.visitLeave(Rule rule)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Rule rule)
           
 void QedeqVisitor.visitLeave(Section section)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Section section)
           
 void QedeqVisitor.visitLeave(SectionList sectionList)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(SectionList sectionList)
           
 void QedeqVisitor.visitLeave(Specification specification)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Specification specification)
           
 void QedeqVisitor.visitLeave(Subsection subsection)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Subsection subsection)
           
 void QedeqVisitor.visitLeave(SubsectionList subsectionList)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(SubsectionList subsectionList)
           
 void QedeqVisitor.visitLeave(SubsectionType subsectionType)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(SubsectionType subsectionType)
           
 void QedeqVisitor.visitLeave(SubstFree reason)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(SubstFree reason)
           
 void QedeqVisitor.visitLeave(SubstFunc reason)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(SubstFunc reason)
           
 void QedeqVisitor.visitLeave(SubstPred reason)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(SubstPred reason)
           
 void QedeqVisitor.visitLeave(Term term)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Term term)
           
 void QedeqVisitor.visitLeave(Universal reason)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(Universal reason)
           
 void QedeqVisitor.visitLeave(UsedByList usedByList)
          Visit certain element.
 void AbstractModuleVisitor.visitLeave(UsedByList usedByList)
           
 

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

Subclasses of ModuleDataException in org.qedeq.kernel.xml.mapper
 class LocationFoundException
          Thrown if the location was found.
 class LocationNotFoundException
          Thrown if the location was not found.
 

Methods in org.qedeq.kernel.xml.mapper that throw ModuleDataException
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
 void Context2SimpleXPath.visitEnter(Add reason)
           
 void Context2SimpleXPath.visitEnter(Author author)
           
 void Context2SimpleXPath.visitEnter(AuthorList authorList)
           
 void Context2SimpleXPath.visitEnter(Axiom axiom)
           
 void Context2SimpleXPath.visitEnter(ChangedRule rule)
           
 void Context2SimpleXPath.visitEnter(ChangedRuleList list)
           
 void Context2SimpleXPath.visitEnter(Chapter chapter)
           
 void Context2SimpleXPath.visitEnter(ChapterList chapterList)
           
 void Context2SimpleXPath.visitEnter(Conclusion conclusion)
           
 void Context2SimpleXPath.visitEnter(ConditionalProof reason)
           
 void Context2SimpleXPath.visitEnter(ElementList list)
           
 void Context2SimpleXPath.visitEnter(Existential reason)
           
 void Context2SimpleXPath.visitEnter(FormalProof proof)
           
 void Context2SimpleXPath.visitEnter(FormalProofLine line)
           
 void Context2SimpleXPath.visitEnter(FormalProofLineList list)
           
 void Context2SimpleXPath.visitEnter(FormalProofList proofList)
           
 void Context2SimpleXPath.visitEnter(Formula formula)
           
 void Context2SimpleXPath.visitEnter(FunctionDefinition definition)
           
 void Context2SimpleXPath.visitEnter(Header header)
           
 void Context2SimpleXPath.visitEnter(Hypothesis hypothesis)
           
 void Context2SimpleXPath.visitEnter(Import imp)
           
 void Context2SimpleXPath.visitEnter(ImportList importList)
           
 void Context2SimpleXPath.visitEnter(InitialFunctionDefinition definition)
           
 void Context2SimpleXPath.visitEnter(InitialPredicateDefinition definition)
           
 void Context2SimpleXPath.visitEnter(Latex latex)
           
 void Context2SimpleXPath.visitEnter(LatexList latexList)
           
 void Context2SimpleXPath.visitEnter(LinkList linkList)
           
 void Context2SimpleXPath.visitEnter(LiteratureItem item)
           
 void Context2SimpleXPath.visitEnter(LiteratureItemList list)
           
 void Context2SimpleXPath.visitEnter(Location location)
           
 void Context2SimpleXPath.visitEnter(LocationList locationList)
           
 void Context2SimpleXPath.visitEnter(ModusPonens reason)
           
 void Context2SimpleXPath.visitEnter(Node node)
           
 void Context2SimpleXPath.visitEnter(PredicateDefinition definition)
           
 void Context2SimpleXPath.visitEnter(Proof proof)
           
 void Context2SimpleXPath.visitEnter(ProofList proofList)
           
 void Context2SimpleXPath.visitEnter(Proposition proposition)
           
 void Context2SimpleXPath.visitEnter(Qedeq qedeq)
           
 void Context2SimpleXPath.visitEnter(Reason reason)
           
 void Context2SimpleXPath.visitEnter(Rename reason)
           
 void Context2SimpleXPath.visitEnter(Rule rule)
           
 void Context2SimpleXPath.visitEnter(Section section)
           
 void Context2SimpleXPath.visitEnter(SectionList sectionList)
           
 void Context2SimpleXPath.visitEnter(Specification specification)
           
 void Context2SimpleXPath.visitEnter(Subsection subsection)
           
 void Context2SimpleXPath.visitEnter(SubsectionList subsectionList)
           
 void Context2SimpleXPath.visitEnter(SubstFree reason)
           
 void Context2SimpleXPath.visitEnter(SubstFunc reason)
           
 void Context2SimpleXPath.visitEnter(SubstPred reason)
           
 void Context2SimpleXPath.visitEnter(Term term)
           
 void Context2SimpleXPath.visitEnter(Universal reason)
           
 void Context2SimpleXPath.visitEnter(UsedByList usedByList)
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    
Copyright © 2014. All Rights Reserved.