org.qedeq.kernel.se.visitor
Interface QedeqTraverser

All Known Implementing Classes:

QedeqNotNullTraverser

public interface QedeqTraverser

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

Author:

Michael Meyling

Method Summary

void	accept(Add reason) Traverse formal proof line reason.
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(ChangedRule rule) Traverse changed rule.
void	accept(ChangedRuleList list) Traverse changed rule list.
void	accept(Chapter chapter) Traverse chapter.
void	accept(ChapterList chapterList) Traverse chapter list.
void	accept(Conclusion conclusion) Traverse formal proof line conclusion.
void	accept(ConditionalProof line) Traverse formal proof line wit conditional proof.
void	accept(Element element) Traverse element.
void	accept(ElementList list) Traverse element list.
void	accept(Existential reason) Traverse formal proof line reason.
void	accept(FormalProof proof) Traverse formal proof.
void	accept(FormalProofLine proofLine) Traverse formal proof line.
void	accept(FormalProofLineList proofLineList) Traverse formal proof list.
void	accept(FormalProofList proofList) Traverse formal proof list.
void	accept(Formula formula) Traverse formula.
void	accept(FunctionDefinition definition) Traverse function definition.
void	accept(Header header) Traverse header.
void	accept(Hypothesis hypothesis) Traverse formal proof line hypothesis.
void	accept(Import imp) Traverse import.
void	accept(ImportList importList) Traverse import list.
void	accept(InitialFunctionDefinition definition) Traverse initial function definition.
void	accept(InitialPredicateDefinition definition) Traverse initial predicate definition.
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(ModusPonens reason) Traverse formal proof line reason.
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(Reason reason) Traverse formal proof line reason.
void	accept(Rename reason) Traverse formal proof line reason.
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(SubstFree reason) Traverse formal proof line reason.
void	accept(SubstFunc reason) Traverse formal proof line reason.
void	accept(SubstPred reason) Traverse formal proof line reason.
void	accept(Term term) Traverse term.
void	accept(Universal reason) Traverse formal proof line reason.
void	accept(UsedByList usedByList) Traverse used by list.
ModuleContext	getCurrentContext() Get current context within original.

Method Detail

getCurrentContext

ModuleContext getCurrentContext()

Get current context within original. Remember to use the copy constructor when trying to remember this context!

Returns:

Current context.

accept

void accept(Qedeq qedeq)
            throws ModuleDataException

Start with the top structure of a QEDEQ module.

Parameters:

qedeq - Traverse this element. Must not be null.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Header header)
            throws ModuleDataException

Traverse header.

Parameters:

header - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(UsedByList usedByList)
            throws ModuleDataException

Traverse used by list.

Parameters:

usedByList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(ImportList importList)
            throws ModuleDataException

Traverse import list.

Parameters:

importList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Import imp)
            throws ModuleDataException

Traverse import.

Parameters:

imp - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Specification specification)
            throws ModuleDataException

Traverse specification.

Parameters:

specification - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(LocationList locationList)
            throws ModuleDataException

Traverse location list.

Parameters:

locationList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Location location)
            throws ModuleDataException

Traverse location.

Parameters:

location - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(AuthorList authorList)
            throws ModuleDataException

Traverse author list.

Parameters:

authorList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Author author)
            throws ModuleDataException

Traverse author.

Parameters:

author - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(ChapterList chapterList)
            throws ModuleDataException

Traverse chapter list.

Parameters:

chapterList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Chapter chapter)
            throws ModuleDataException

Traverse chapter.

Parameters:

chapter - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(LiteratureItemList literatureItemList)
            throws ModuleDataException

Traverse literature item list.

Parameters:

literatureItemList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(LiteratureItem literatureItem)
            throws ModuleDataException

Traverse literature item.

Parameters:

literatureItem - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(SectionList sectionList)
            throws ModuleDataException

Traverse section list.

Parameters:

sectionList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Section section)
            throws ModuleDataException

Traverse section.

Parameters:

section - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(SubsectionList subsectionList)
            throws ModuleDataException

Traverse subsection list.

Parameters:

subsectionList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Subsection subsection)
            throws ModuleDataException

Traverse subsection list.

Parameters:

subsection - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Node node)
            throws ModuleDataException

Traverse node.

Parameters:

node - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Axiom axiom)
            throws ModuleDataException

Traverse axiom.

Parameters:

axiom - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(PredicateDefinition definition)
            throws ModuleDataException

Traverse predicate definition.

Parameters:

definition - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(InitialPredicateDefinition definition)
            throws ModuleDataException

Traverse initial predicate definition.

Parameters:

definition - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(InitialFunctionDefinition definition)
            throws ModuleDataException

Traverse initial function definition.

Parameters:

definition - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(FunctionDefinition definition)
            throws ModuleDataException

Traverse function definition.

Parameters:

definition - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Proposition proposition)
            throws ModuleDataException

Traverse proposition.

Parameters:

proposition - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Rule rule)
            throws ModuleDataException

Traverse rule.

Parameters:

rule - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(ChangedRuleList list)
            throws ModuleDataException

Traverse changed rule list.

Parameters:

list - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(ChangedRule rule)
            throws ModuleDataException

Traverse changed rule.

Parameters:

rule - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(LinkList linkList)
            throws ModuleDataException

Traverse link list.

Parameters:

linkList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(FormalProofList proofList)
            throws ModuleDataException

Traverse formal proof list.

Parameters:

proofList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(FormalProof proof)
            throws ModuleDataException

Traverse formal proof.

Parameters:

proof - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(FormalProofLineList proofLineList)
            throws ModuleDataException

Traverse formal proof list.

Parameters:

proofLineList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(FormalProofLine proofLine)
            throws ModuleDataException

Traverse formal proof line.

Parameters:

proofLine - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Reason reason)
            throws ModuleDataException

Traverse formal proof line reason.

Parameters:

reason - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(ModusPonens reason)
            throws ModuleDataException

Traverse formal proof line reason.

Parameters:

reason - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Add reason)
            throws ModuleDataException

Traverse formal proof line reason.

Parameters:

reason - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Rename reason)
            throws ModuleDataException

Traverse formal proof line reason.

Parameters:

reason - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(SubstFree reason)
            throws ModuleDataException

Traverse formal proof line reason.

Parameters:

reason - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(SubstFunc reason)
            throws ModuleDataException

Traverse formal proof line reason.

Parameters:

reason - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(SubstPred reason)
            throws ModuleDataException

Traverse formal proof line reason.

Parameters:

reason - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Existential reason)
            throws ModuleDataException

Traverse formal proof line reason.

Parameters:

reason - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Universal reason)
            throws ModuleDataException

Traverse formal proof line reason.

Parameters:

reason - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(ConditionalProof line)
            throws ModuleDataException

Traverse formal proof line wit conditional proof.

Parameters:

line - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Hypothesis hypothesis)
            throws ModuleDataException

Traverse formal proof line hypothesis.

Parameters:

hypothesis - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Conclusion conclusion)
            throws ModuleDataException

Traverse formal proof line conclusion.

Parameters:

conclusion - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(ProofList proofList)
            throws ModuleDataException

Traverse proof list.

Parameters:

proofList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Proof proof)
            throws ModuleDataException

Traverse proof.

Parameters:

proof - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Formula formula)
            throws ModuleDataException

Traverse formula.

Parameters:

formula - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Term term)
            throws ModuleDataException

Traverse term.

Parameters:

term - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(LatexList latexList)
            throws ModuleDataException

Traverse latex list.

Parameters:

latexList - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Latex latex)
            throws ModuleDataException

Traverse latex.

Parameters:

latex - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Element element)
            throws ModuleDataException

Traverse element.

Parameters:

element - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(Atom atom)
            throws ModuleDataException

Traverse atom.

Parameters:

atom - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.

accept

void accept(ElementList list)
            throws ModuleDataException

Traverse element list.

Parameters:

list - Traverse this element.

Throws:

ModuleDataException - Severe error during occurred.