org.qedeq.kernel.bo.visitor
Interface QedeqVisitor

All Superinterfaces:

ListVisitor

All Known Implementing Classes:

AbstractModuleVisitor

public interface QedeqVisitor

extends ListVisitor

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

Version:

$Revision: 1.2 $

Method Summary

void	visitEnter(Author author) Visit certain element.
void	visitEnter(AuthorList authorList) Visit certain element.
void	visitEnter(Axiom axiom) Visit certain element.
void	visitEnter(Chapter chapter) Visit certain element.
void	visitEnter(ChapterList chapterList) 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(Import imp) Visit certain element.
void	visitEnter(ImportList importList) 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(Node authorList) 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(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(Term term) Visit certain element.
void	visitEnter(UsedByList usedByList) Visit certain element.
void	visitEnter(VariableList variableList) 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(Chapter chapter) Visit certain element.
void	visitLeave(ChapterList chapterList) 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(Import imp) Visit certain element.
void	visitLeave(ImportList importList) 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(Node authorList) 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(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(Term term) Visit certain element.
void	visitLeave(UsedByList usedByList) Visit certain element.
void	visitLeave(VariableList variableList) Visit certain element.

Methods inherited from interface org.qedeq.kernel.bo.visitor.ListVisitor

visitEnter, visitEnter, visitLeave, visitLeave

Method Detail

visitEnter

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public void visitEnter(Node authorList)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

authorList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public void visitEnter(UsedByList usedByList)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

usedByList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

public void visitEnter(VariableList variableList)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

variableList - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public void visitLeave(Node authorList)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

authorList - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public void visitLeave(UsedByList usedByList)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

usedByList - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

public void visitLeave(VariableList variableList)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

variableList - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.