QedeqNotNullTransverser (Hilbert II)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

Hilbert II - Version 0.03.02

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.qedeq.kernel.bo.visitor
Class QedeqNotNullTransverser

java.lang.Object
  org.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.2 $

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.
`boolean`	`getBlocked()` Is further transversing blocked?
`ModuleContext`	`getCurrentContext()` Get current context within original.
`void`	`setBlocked(boolean blocked)` Set if further transversing is blocked.
`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