org.qedeq.kernel.bo.visitor
Interface QedeqTransverser

All Known Implementing Classes:

QedeqNotNullTransverser

public interface QedeqTransverser

Traverse a QEDEQ module and visit all elements. All contained elements are called recursively. See QedeqVisitor.

Version:

$Revision: 1.2 $

Method Summary

void	accept(Atom atom) Traverse atom.
void	accept(Author author) Traverse author.
void	accept(AuthorList authorList) Traverse author list.
void	accept(Axiom axiom) Traverse axiom.
void	accept(Chapter chapter) Traverse chapter.
void	accept(ChapterList chapterList) Traverse chapter list.
void	accept(Element element) Traverse element.
void	accept(ElementList list) Traverse element list.
void	accept(Formula formula) Traverse formula.
void	accept(FunctionDefinition definition) Traverse function definition.
void	accept(Header header) Traverse header.
void	accept(Import imp) Traverse import.
void	accept(ImportList importList) Traverse import list.
void	accept(Latex latex) Traverse latex.
void	accept(LatexList latexList) Traverse latex list.
void	accept(LinkList linkList) Traverse link list.
void	accept(LiteratureItem literatureItem) Traverse literature item.
void	accept(LiteratureItemList literatureItemList) Traverse literature item list.
void	accept(Location location) Traverse location.
void	accept(LocationList locationList) Traverse location list.
void	accept(Node node) Traverse node.
void	accept(PredicateDefinition definition) Traverse predicate definition.
void	accept(Proof proof) Traverse proof.
void	accept(ProofList proofList) Traverse proof list.
void	accept(Proposition proposition) Traverse proposition.
void	accept(Qedeq qedeq) Start with the top structure of a QEDEQ module.
void	accept(Rule rule) Traverse rule.
void	accept(Section section) Traverse section.
void	accept(SectionList sectionList) Traverse section list.
void	accept(Specification specification) Traverse specification.
void	accept(Subsection subsection) Traverse subsection list.
void	accept(SubsectionList subsectionList) Traverse subsection list.
void	accept(Term term) Traverse term.
void	accept(UsedByList usedByList) Traverse used by list.
void	accept(VariableList variableList) Traverse variable list.

Method Detail

accept

public void accept(Qedeq qedeq)
            throws ModuleDataException

Start with the top structure of a QEDEQ module.

Parameters:

qedeq - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Header header)
            throws ModuleDataException

Traverse header.

Parameters:

header - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(UsedByList usedByList)
            throws ModuleDataException

Traverse used by list.

Parameters:

usedByList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(ImportList importList)
            throws ModuleDataException

Traverse import list.

Parameters:

importList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Import imp)
            throws ModuleDataException

Traverse import.

Parameters:

imp - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Specification specification)
            throws ModuleDataException

Traverse specification.

Parameters:

specification - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(LocationList locationList)
            throws ModuleDataException

Traverse location list.

Parameters:

locationList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Location location)
            throws ModuleDataException

Traverse location.

Parameters:

location - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(AuthorList authorList)
            throws ModuleDataException

Traverse author list.

Parameters:

authorList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Author author)
            throws ModuleDataException

Traverse author.

Parameters:

author - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(ChapterList chapterList)
            throws ModuleDataException

Traverse chapter list.

Parameters:

chapterList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Chapter chapter)
            throws ModuleDataException

Traverse chapter.

Parameters:

chapter - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(LiteratureItemList literatureItemList)
            throws ModuleDataException

Traverse literature item list.

Parameters:

literatureItemList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(LiteratureItem literatureItem)
            throws ModuleDataException

Traverse literature item.

Parameters:

literatureItem - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(SectionList sectionList)
            throws ModuleDataException

Traverse section list.

Parameters:

sectionList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Section section)
            throws ModuleDataException

Traverse section.

Parameters:

section - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(SubsectionList subsectionList)
            throws ModuleDataException

Traverse subsection list.

Parameters:

subsectionList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Subsection subsection)
            throws ModuleDataException

Traverse subsection list.

Parameters:

subsection - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Node node)
            throws ModuleDataException

Traverse node.

Parameters:

node - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Axiom axiom)
            throws ModuleDataException

Traverse axiom.

Parameters:

axiom - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(PredicateDefinition definition)
            throws ModuleDataException

Traverse predicate definition.

Parameters:

definition - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(FunctionDefinition definition)
            throws ModuleDataException

Traverse function definition.

Parameters:

definition - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Proposition proposition)
            throws ModuleDataException

Traverse proposition.

Parameters:

proposition - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Rule rule)
            throws ModuleDataException

Traverse rule.

Parameters:

rule - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(LinkList linkList)
            throws ModuleDataException

Traverse link list.

Parameters:

linkList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(VariableList variableList)
            throws ModuleDataException

Traverse variable list.

Parameters:

variableList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(ProofList proofList)
            throws ModuleDataException

Traverse proof list.

Parameters:

proofList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Proof proof)
            throws ModuleDataException

Traverse proof.

Parameters:

proof - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Formula formula)
            throws ModuleDataException

Traverse formula.

Parameters:

formula - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Term term)
            throws ModuleDataException

Traverse term.

Parameters:

term - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(LatexList latexList)
            throws ModuleDataException

Traverse latex list.

Parameters:

latexList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Latex latex)
            throws ModuleDataException

Traverse latex.

Parameters:

latex - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Element element)
            throws ModuleDataException

Traverse element.

Parameters:

element - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(Atom atom)
            throws ModuleDataException

Traverse atom.

Parameters:

atom - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

public void accept(ElementList list)
            throws ModuleDataException

Traverse element list.

Parameters:

list - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.