|
Hilbert II - Version 0.03.01 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.qedeq.kernel.bo.visitor.QedeqNotNullTransverser
Traverse QEDEQ module. Calls visitors of QedeqVisitor
for non null
arguments.
Constructor Summary | |
QedeqNotNullTransverser(String globalContext,
QedeqVisitor visitor)
Constructor. |
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 item)
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. |
ModuleContext |
getCurrentContext()
Get current context within original. |
void |
setLocationWithinModule(String locationWithinModule)
Set location information where are we within the original module. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public QedeqNotNullTransverser(String globalContext, QedeqVisitor visitor)
globalContext
- Module location information.visitor
- These methods are called if a node is visited.Method Detail |
public void accept(Qedeq qedeq) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
qedeq
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Header header) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
header
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(UsedByList usedByList) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
usedByList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(ImportList importList) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
importList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Import imp) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
imp
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Specification specification) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
specification
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(LocationList locationList) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
locationList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Location location) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
location
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(AuthorList authorList) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
authorList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Author author) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
author
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(ChapterList chapterList) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
chapterList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Chapter chapter) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
chapter
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(LiteratureItemList literatureItemList) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
literatureItemList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(LiteratureItem item) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
item
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(SectionList sectionList) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
sectionList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Section section) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
section
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(SubsectionList subsectionList) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
subsectionList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Subsection subsection) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
subsection
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Node node) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
node
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Axiom axiom) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
axiom
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(PredicateDefinition definition) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
definition
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(FunctionDefinition definition) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
definition
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Proposition proposition) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
proposition
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Rule rule) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
rule
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(LinkList linkList) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
linkList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(VariableList variableList) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
variableList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(ProofList proofList) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
proofList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Proof proof) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
proof
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Formula formula) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
formula
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Term term) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
term
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Element element) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
element
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Atom atom) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
atom
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(ElementList list) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
list
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(LatexList latexList) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
latexList
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void accept(Latex latex) throws ModuleDataException
QedeqTransverser
accept
in interface QedeqTransverser
latex
- Traverse this element.
ModuleDataException
- Severe error during occurred.public void setLocationWithinModule(String locationWithinModule)
locationWithinModule
- Location within module.public final ModuleContext getCurrentContext()
|
Hilbert II - Version 0.03.01 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |