Hilbert II - Version 0.03.01

org.qedeq.kernel.bo.visitor
Class QedeqNotNullTransverser

java.lang.Object
  extended byorg.qedeq.kernel.bo.visitor.QedeqNotNullTransverser
All Implemented Interfaces:
QedeqTransverser

public class QedeqNotNullTransverser
extends Object
implements QedeqTransverser

Traverse QEDEQ module. Calls visitors of QedeqVisitor for non null arguments.

Version:
$Revision: 1.0 $

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

QedeqNotNullTransverser

public QedeqNotNullTransverser(String globalContext,
                               QedeqVisitor visitor)
Constructor.

Parameters:
globalContext - Module location information.
visitor - These methods are called if a node is visited.
Method Detail

accept

public void accept(Qedeq qedeq)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Start with the top structure of a QEDEQ module.

Specified by:
accept in interface QedeqTransverser
Parameters:
qedeq - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Header header)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse header.

Specified by:
accept in interface QedeqTransverser
Parameters:
header - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(UsedByList usedByList)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse used by list.

Specified by:
accept in interface QedeqTransverser
Parameters:
usedByList - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(ImportList importList)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse import list.

Specified by:
accept in interface QedeqTransverser
Parameters:
importList - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Import imp)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse import.

Specified by:
accept in interface QedeqTransverser
Parameters:
imp - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Specification specification)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse specification.

Specified by:
accept in interface QedeqTransverser
Parameters:
specification - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(LocationList locationList)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse location list.

Specified by:
accept in interface QedeqTransverser
Parameters:
locationList - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Location location)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse location.

Specified by:
accept in interface QedeqTransverser
Parameters:
location - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(AuthorList authorList)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse author list.

Specified by:
accept in interface QedeqTransverser
Parameters:
authorList - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Author author)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse author.

Specified by:
accept in interface QedeqTransverser
Parameters:
author - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(ChapterList chapterList)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse chapter list.

Specified by:
accept in interface QedeqTransverser
Parameters:
chapterList - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Chapter chapter)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse chapter.

Specified by:
accept in interface QedeqTransverser
Parameters:
chapter - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(LiteratureItemList literatureItemList)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse literature item list.

Specified by:
accept in interface QedeqTransverser
Parameters:
literatureItemList - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(LiteratureItem item)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse literature item.

Specified by:
accept in interface QedeqTransverser
Parameters:
item - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(SectionList sectionList)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse section list.

Specified by:
accept in interface QedeqTransverser
Parameters:
sectionList - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Section section)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse section.

Specified by:
accept in interface QedeqTransverser
Parameters:
section - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(SubsectionList subsectionList)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse subsection list.

Specified by:
accept in interface QedeqTransverser
Parameters:
subsectionList - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Subsection subsection)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse subsection list.

Specified by:
accept in interface QedeqTransverser
Parameters:
subsection - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Node node)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse node.

Specified by:
accept in interface QedeqTransverser
Parameters:
node - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Axiom axiom)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse axiom.

Specified by:
accept in interface QedeqTransverser
Parameters:
axiom - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(PredicateDefinition definition)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse predicate definition.

Specified by:
accept in interface QedeqTransverser
Parameters:
definition - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(FunctionDefinition definition)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse function definition.

Specified by:
accept in interface QedeqTransverser
Parameters:
definition - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Proposition proposition)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse proposition.

Specified by:
accept in interface QedeqTransverser
Parameters:
proposition - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Rule rule)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse rule.

Specified by:
accept in interface QedeqTransverser
Parameters:
rule - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(LinkList linkList)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse link list.

Specified by:
accept in interface QedeqTransverser
Parameters:
linkList - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(VariableList variableList)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse variable list.

Specified by:
accept in interface QedeqTransverser
Parameters:
variableList - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(ProofList proofList)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse proof list.

Specified by:
accept in interface QedeqTransverser
Parameters:
proofList - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Proof proof)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse proof.

Specified by:
accept in interface QedeqTransverser
Parameters:
proof - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Formula formula)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse formula.

Specified by:
accept in interface QedeqTransverser
Parameters:
formula - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Term term)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse term.

Specified by:
accept in interface QedeqTransverser
Parameters:
term - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Element element)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse element.

Specified by:
accept in interface QedeqTransverser
Parameters:
element - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Atom atom)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse atom.

Specified by:
accept in interface QedeqTransverser
Parameters:
atom - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(ElementList list)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse element list.

Specified by:
accept in interface QedeqTransverser
Parameters:
list - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(LatexList latexList)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse latex list.

Specified by:
accept in interface QedeqTransverser
Parameters:
latexList - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

accept

public void accept(Latex latex)
            throws ModuleDataException
Description copied from interface: QedeqTransverser
Traverse latex.

Specified by:
accept in interface QedeqTransverser
Parameters:
latex - Traverse this element.
Throws:
ModuleDataException - Severe error during occurred.

setLocationWithinModule

public void setLocationWithinModule(String locationWithinModule)
Set location information where are we within the original module.

Parameters:
locationWithinModule - Location within module.

getCurrentContext

public final ModuleContext getCurrentContext()
Get current context within original.

Returns:
Current context.

Hilbert II - Version 0.03.01

©left GNU General Public Licence
All Rights Reserved.