|
Hilbert II - Version 0.03.04 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Traverse a QEDEQ module and visit all elements.
All contained elements are called recursively.
See QedeqVisitor
.
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 |
public void accept(Qedeq qedeq) throws ModuleDataException
qedeq
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Header header) throws ModuleDataException
header
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(UsedByList usedByList) throws ModuleDataException
usedByList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(ImportList importList) throws ModuleDataException
importList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Import imp) throws ModuleDataException
imp
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Specification specification) throws ModuleDataException
specification
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(LocationList locationList) throws ModuleDataException
locationList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Location location) throws ModuleDataException
location
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(AuthorList authorList) throws ModuleDataException
authorList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Author author) throws ModuleDataException
author
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(ChapterList chapterList) throws ModuleDataException
chapterList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Chapter chapter) throws ModuleDataException
chapter
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(LiteratureItemList literatureItemList) throws ModuleDataException
literatureItemList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(LiteratureItem literatureItem) throws ModuleDataException
literatureItem
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(SectionList sectionList) throws ModuleDataException
sectionList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Section section) throws ModuleDataException
section
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(SubsectionList subsectionList) throws ModuleDataException
subsectionList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Subsection subsection) throws ModuleDataException
subsection
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Node node) throws ModuleDataException
node
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Axiom axiom) throws ModuleDataException
axiom
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(PredicateDefinition definition) throws ModuleDataException
definition
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(FunctionDefinition definition) throws ModuleDataException
definition
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Proposition proposition) throws ModuleDataException
proposition
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Rule rule) throws ModuleDataException
rule
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(LinkList linkList) throws ModuleDataException
linkList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(VariableList variableList) throws ModuleDataException
variableList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(ProofList proofList) throws ModuleDataException
proofList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Proof proof) throws ModuleDataException
proof
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Formula formula) throws ModuleDataException
formula
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Term term) throws ModuleDataException
term
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(LatexList latexList) throws ModuleDataException
latexList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Latex latex) throws ModuleDataException
latex
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Element element) throws ModuleDataException
element
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Atom atom) throws ModuleDataException
atom
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(ElementList list) throws ModuleDataException
list
- Traverse this element.
ModuleDataException
- Severe error during occurred.
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |