org.qedeq.kernel.se.visitor
Interface QedeqVisitor

All Superinterfaces:

ListVisitor

All Known Implementing Classes:

AbstractModuleVisitor, Context2SimpleXPath, ControlVisitor, DynamicHeuristicCheckerExecutor, FormalProofCheckerExecutor, LoadDirectlyRequiredModulesExecutor, LoadRequiredModulesExecutor, ModuleLabelsCreator, Qedeq2LatexExecutor, Qedeq2UnicodeVisitor, Qedeq2Xml, QedeqBoDuplicateLanguageChecker, SimpleProofFinderExecutor, WellFormedCheckerExecutor

public interface QedeqVisitor
extends ListVisitor

Here are all elements to visit assembled that can be visited within a QEDEQ module.

Author:

Michael Meyling

Method Summary

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(Existential reason) Visit certain element.
void	visitEnter(FormalProof proof) Visit certain element.
void	visitEnter(FormalProofLine proofLine) Visit formal proof line (but not an conditional proof line).
void	visitEnter(FormalProofLineList proofLineList) Visit certain element.
void	visitEnter(FormalProofList proofList) Visit certain element.
void	visitEnter(Formula formula) Visit certain element.
void	visitEnter(FunctionDefinition functionDefinition) 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 functionDefinition) Visit certain element.
void	visitEnter(InitialPredicateDefinition predicateDefinition) 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 literatureItem) Visit certain element.
void	visitEnter(LiteratureItemList literatureItemList) 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 predicateDefinition) 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(SubsectionType subsectionType) 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(Existential reason) Visit certain element.
void	visitLeave(FormalProof proof) Visit certain element.
void	visitLeave(FormalProofLine proofLine) Visit certain element.
void	visitLeave(FormalProofLineList proofLineList) Visit certain element.
void	visitLeave(FormalProofList proofList) Visit certain element.
void	visitLeave(Formula formula) Visit certain element.
void	visitLeave(FunctionDefinition functionDefinition) 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 functionDefinition) Visit certain element.
void	visitLeave(InitialPredicateDefinition predicateDefinition) 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 literatureItem) Visit certain element.
void	visitLeave(LiteratureItemList literatureItemList) 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 predicateDefinition) Visit certain element.
void	visitLeave(Proof proof) Visit certain element.
void	visitLeave(ProofList proofList) 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(SubsectionType subsectionType) 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 interface org.qedeq.kernel.se.visitor.ListVisitor

visitEnter, visitEnter, visitLeave, visitLeave

Method Detail

visitEnter

void visitEnter(Author author)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

author - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(AuthorList authorList)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

authorList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Axiom axiom)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

axiom - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Chapter chapter)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

chapter - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(ChapterList chapterList)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

chapterList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Formula formula)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

formula - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(InitialFunctionDefinition functionDefinition)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

functionDefinition - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(FunctionDefinition functionDefinition)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

functionDefinition - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Header header)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

header - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Import imp)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

imp - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(ImportList importList)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

importList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Latex latex)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

latex - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(LatexList latexList)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

latexList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(LinkList linkList)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

linkList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(LiteratureItem literatureItem)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

literatureItem - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(LiteratureItemList literatureItemList)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

literatureItemList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Location location)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

location - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(LocationList locationList)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

locationList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Node node)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

node - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(InitialPredicateDefinition predicateDefinition)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

predicateDefinition - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(PredicateDefinition predicateDefinition)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

predicateDefinition - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(FormalProof proof)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

proof - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(FormalProofList proofList)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

proofList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(FormalProofLine proofLine)
                throws ModuleDataException

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

Parameters:

proofLine - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Reason reason)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

reason - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(ModusPonens reason)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Add reason)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Rename reason)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(SubstFree reason)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(SubstFunc reason)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(SubstPred reason)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Existential reason)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Universal reason)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(ConditionalProof reason)
                throws ModuleDataException

Visit conditional proof line.

Parameters:

reason - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Hypothesis hypothesis)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

hypothesis - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Conclusion conclusion)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

conclusion - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(FormalProofLineList proofLineList)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

proofLineList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Proof proof)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

proof - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(ProofList proofList)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

proofList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Proposition proposition)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

proposition - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Qedeq qedeq)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

qedeq - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Rule rule)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

rule - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(ChangedRuleList list)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

list - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(ChangedRule rule)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

rule - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Section section)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

section - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(SectionList sectionList)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

sectionList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Specification specification)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

specification - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Subsection subsection)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

subsection - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(SubsectionList subsectionList)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

subsectionList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(SubsectionType subsectionType)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

subsectionType - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(Term term)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

term - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(UsedByList usedByList)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

usedByList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Author author)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

author - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(AuthorList authorList)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

authorList - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Axiom axiom)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

axiom - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Chapter chapter)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

chapter - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(ChapterList chapterList)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

chapterList - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Formula formula)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

formula - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(InitialFunctionDefinition functionDefinition)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

functionDefinition - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(FunctionDefinition functionDefinition)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

functionDefinition - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Header header)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

header - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Import imp)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

imp - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(ImportList importList)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

importList - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Latex latex)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

latex - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(LatexList latexList)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

latexList - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(LinkList linkList)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

linkList - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(LiteratureItem literatureItem)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

literatureItem - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(LiteratureItemList literatureItemList)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

literatureItemList - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Location location)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

location - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(LocationList locationList)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

locationList - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Node node)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

node - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(InitialPredicateDefinition predicateDefinition)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

predicateDefinition - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(PredicateDefinition predicateDefinition)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

predicateDefinition - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(FormalProofList proofList)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

proofList - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(FormalProof proof)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

proof - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(FormalProofLine proofLine)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

proofLine - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Reason reason)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

reason - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(FormalProofLineList proofLineList)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

proofLineList - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(ModusPonens reason)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

reason - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Add reason)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

reason - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Rename reason)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

reason - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(SubstFree reason)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

reason - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(SubstFunc reason)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

reason - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(SubstPred reason)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

reason - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Existential reason)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

reason - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Universal reason)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

reason - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(ConditionalProof reason)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

reason - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Hypothesis hypothesis)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

hypothesis - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Conclusion conclusion)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

conclusion - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Proof proof)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

proof - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(ProofList proofList)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

proofList - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Proposition proposition)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

proposition - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Qedeq qedeq)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

qedeq - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Rule rule)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

rule - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(ChangedRuleList list)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

list - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(ChangedRule rule)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

rule - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Section section)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

section - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(SectionList sectionList)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

sectionList - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Specification specification)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

specification - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Subsection subsection)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

subsection - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(SubsectionList subsectionList)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

subsectionList - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(SubsectionType subsectionType)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

subsectionType - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Term term)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

term - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(UsedByList usedByList)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

usedByList - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.