org.qedeq.kernel.xml.mapper
Class Context2SimpleXPath

java.lang.Object
  org.qedeq.kernel.se.visitor.AbstractModuleVisitor
      org.qedeq.kernel.xml.mapper.Context2SimpleXPath

All Implemented Interfaces:

ListVisitor, QedeqVisitor

public final class Context2SimpleXPath
extends AbstractModuleVisitor

Map content string to SimpleXPath string. This class makes it possible to transfer an location of an Qedeq object into an XPath like position description for an XML file representation of that object.

See getXPath(ModuleContext, Qedeq) for further details.

TODO mime 20070217: It seems to work this way but: this class assumes that we can find QEDEQ/CHAPTER[2]/SECTION[4]/SUBSECTIONS/SUBSECTION[2] even if we have some ../NODE s inbetween. (Example: NODE, NODE, SUBSECTION, NODE, SUBSECTION, NODE..) Is this still a correct XPath? (Old solution was usage of "*") Seems ok for official XPath specification, but does it work for our SimpleXPathFinder?

Author:

Michael Meyling

Method Summary

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

Methods inherited from class org.qedeq.kernel.se.visitor.AbstractModuleVisitor

visitEnter, visitEnter, visitLeave, visitLeave, visitLeave, visitLeave

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getXPath

public static SimpleXPath getXPath(ModuleContext find,
                                   Qedeq qedeq)
                            throws ModuleDataException

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]. This is due to the fact that SUBSECTION contains a sequence of SUBSECTION or NODE elements. The transformation depends not only from the context but also from the concrete QEDEQ module.

Especially the transformation of formula location information in their XML counterpart demands parsing the whole formula.

Parameters:

find - Find this location.

qedeq - Within this QEDEQ object.

Returns:

XPath for this location in the XML document.

Throws:

ModuleDataException - Problem with module data.

visitEnter

public final void visitEnter(Qedeq qedeq)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

qedeq - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Qedeq qedeq)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

qedeq - End visit of this element.

visitEnter

public final void visitEnter(Header header)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

header - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Header header)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

header - End visit of this element.

visitEnter

public final void visitEnter(Specification specification)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

specification - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Specification specification)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

specification - End visit of this element.

visitEnter

public final void visitEnter(LatexList latexList)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

latexList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(LatexList latexList)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

latexList - End visit of this element.

visitEnter

public final void visitEnter(Latex latex)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

latex - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Latex latex)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

latex - End visit of this element.

visitEnter

public final void visitEnter(LocationList locationList)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

locationList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(LocationList locationList)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

locationList - End visit of this element.

visitEnter

public final void visitEnter(Location location)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

location - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Location location)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

location - End visit of this element.

visitEnter

public final void visitEnter(AuthorList authorList)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

authorList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(AuthorList authorList)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

authorList - End visit of this element.

visitEnter

public final void visitEnter(Author author)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

author - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Author author)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

author - End visit of this element.

visitEnter

public final void visitEnter(ImportList importList)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

importList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(ImportList importList)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

importList - End visit of this element.

visitEnter

public final void visitEnter(Import imp)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

imp - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Import imp)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

imp - End visit of this element.

visitEnter

public final void visitEnter(UsedByList usedByList)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

usedByList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(UsedByList usedByList)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

usedByList - End visit of this element.

visitEnter

public final void visitEnter(ChapterList chapterList)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

chapterList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(ChapterList chapterList)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

chapterList - End visit of this element.

visitEnter

public final void visitEnter(Chapter chapter)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

chapter - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Chapter chapter)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

chapter - End visit of this element.

visitEnter

public final void visitEnter(SectionList sectionList)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

sectionList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(SectionList sectionList)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

sectionList - End visit of this element.

visitEnter

public final void visitEnter(Section section)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

section - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Section section)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

section - End visit of this element.

visitEnter

public final void visitEnter(SubsectionList subsectionList)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

subsectionList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(SubsectionList subsectionList)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

subsectionList - End visit of this element.

visitEnter

public final void visitEnter(Subsection subsection)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

subsection - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Subsection subsection)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

subsection - End visit of this element.

visitEnter

public final void visitEnter(Node node)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

node - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Node node)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

node - End visit of this element.

visitEnter

public final void visitEnter(Axiom axiom)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

axiom - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Axiom axiom)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

axiom - End visit of this element.

visitEnter

public final void visitEnter(Proposition proposition)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

proposition - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Proposition proposition)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

proposition - End visit of this element.

visitEnter

public final void visitEnter(ProofList proofList)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

proofList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

public final void visitEnter(Proof proof)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

proof - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Proof proof)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

proof - End visit of this element.

visitEnter

public final void visitEnter(FormalProofList proofList)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

proofList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

public final void visitEnter(FormalProof proof)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

proof - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(FormalProof proof)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

proof - End visit of this element.

visitEnter

public final void visitEnter(FormalProofLineList list)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

list - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(FormalProofLineList list)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

list - End visit of this element.

visitEnter

public final void visitEnter(FormalProofLine line)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit formal proof line (but not an conditional proof line).

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

line - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(FormalProofLine line)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

line - End visit of this element.

visitEnter

public final void visitEnter(ConditionalProof reason)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit conditional proof line.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(ConditionalProof reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public final void visitEnter(Reason reason)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Reason reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public final void visitEnter(Add reason)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Add reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public final void visitEnter(ModusPonens reason)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(ModusPonens reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public final void visitEnter(Rename reason)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Rename reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public final void visitEnter(SubstFree reason)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(SubstFree reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public final void visitEnter(SubstFunc reason)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(SubstFunc reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public final void visitEnter(SubstPred reason)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(SubstPred reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public final void visitEnter(Existential reason)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Existential reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public final void visitEnter(Universal reason)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Universal reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public final void visitEnter(Hypothesis hypothesis)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

hypothesis - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Hypothesis hypothesis)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

hypothesis - End visit of this element.

visitEnter

public final void visitEnter(Conclusion conclusion)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

conclusion - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Conclusion conclusion)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

conclusion - End visit of this element.

visitEnter

public final void visitEnter(InitialPredicateDefinition definition)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

definition - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(InitialPredicateDefinition definition)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

definition - End visit of this element.

visitEnter

public final void visitEnter(PredicateDefinition definition)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

definition - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(PredicateDefinition definition)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

definition - End visit of this element.

visitEnter

public final void visitEnter(InitialFunctionDefinition definition)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

definition - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(InitialFunctionDefinition definition)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

definition - End visit of this element.

visitEnter

public final void visitEnter(FunctionDefinition definition)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

definition - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(FunctionDefinition definition)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

definition - End visit of this element.

visitEnter

public final void visitEnter(Rule rule)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

rule - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Rule rule)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

rule - End visit of this element.

visitEnter

public final void visitEnter(ChangedRuleList list)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

list - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(ChangedRuleList list)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

list - End visit of this element.

visitEnter

public final void visitEnter(ChangedRule rule)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

rule - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(ChangedRule rule)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

rule - End visit of this element.

visitEnter

public final void visitEnter(LinkList linkList)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

linkList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(LinkList linkList)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

linkList - End visit of this element.

visitEnter

public final void visitEnter(Formula formula)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

formula - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Formula formula)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

formula - End visit of this element.

visitEnter

public final void visitEnter(Term term)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

term - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(Term term)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

term - End visit of this element.

visitEnter

public final void visitEnter(ElementList list)
                      throws ModuleDataException

Description copied from interface: ListVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface ListVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

list - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(ElementList list)

Description copied from interface: ListVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface ListVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

list - End visit of this element.

visitEnter

public final void visitEnter(LiteratureItemList list)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

list - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(LiteratureItemList list)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

list - End visit of this element.

visitEnter

public final void visitEnter(LiteratureItem item)
                      throws ModuleDataException

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

item - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public final void visitLeave(LiteratureItem item)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

item - End visit of this element.