AbstractModuleVisitor (Hilbert II)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

Hilbert II - Version 0.03.04

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.qedeq.kernel.bo.visitor
Class AbstractModuleVisitor

java.lang.Object
  org.qedeq.kernel.bo.visitor.AbstractModuleVisitor

All Implemented Interfaces:: ListVisitor, QedeqVisitor

Direct Known Subclasses:: Context2SimpleXPath, Qedeq2Latex, Qedeq2Xml, QedeqBoDuplicateLanguageChecker, QedeqBoFormalLogicChecker

public abstract class AbstractModuleVisitor
extends Object
implements QedeqVisitor

Basic visitor that makes nothing.

Version:: $Revision: 1.2 $

Constructor Summary
`AbstractModuleVisitor()`

Method Summary
`void`	`visitEnter(Atom atom)` Visit certain element.
`void`	`visitEnter(Author author)` Visit certain element.
`void`	`visitEnter(AuthorList authorList)` Visit certain element.
`void`	`visitEnter(Axiom axiom)` Visit certain element.
`void`	`visitEnter(Chapter chapter)` Visit certain element.
`void`	`visitEnter(ChapterList chapterList)` Visit certain element.
`void`	`visitEnter(ElementList list)` Visit certain element.
`void`	`visitEnter(Formula formula)` Visit certain element.
`void`	`visitEnter(FunctionDefinition functionDefinition)` Visit certain element.
`void`	`visitEnter(Header header)` Visit certain element.
`void`	`visitEnter(Import imp)` Visit certain element.
`void`	`visitEnter(ImportList importList)` Visit certain element.
`void`	`visitEnter(Latex latex)` Visit certain element.
`void`	`visitEnter(LatexList latexList)` Visit certain element.
`void`	`visitEnter(LinkList linkList)` Visit certain element.
`void`	`visitEnter(LiteratureItem literatureItem)` Visit certain element.
`void`	`visitEnter(LiteratureItemList literatureItemList)` Visit certain element.
`void`	`visitEnter(Location location)` Visit certain element.
`void`	`visitEnter(LocationList locationList)` Visit certain element.
`void`	`visitEnter(Node authorList)` Visit certain element.
`void`	`visitEnter(PredicateDefinition predicateDefinition)` Visit certain element.
`void`	`visitEnter(Proof proof)` Visit certain element.
`void`	`visitEnter(ProofList proofList)` Visit certain element.
`void`	`visitEnter(Proposition proposition)` Visit certain element.
`void`	`visitEnter(Qedeq qedeq)` Visit certain element.
`void`	`visitEnter(Rule rule)` Visit certain element.
`void`	`visitEnter(Section section)` Visit certain element.
`void`	`visitEnter(SectionList sectionList)` Visit certain element.
`void`	`visitEnter(Specification specification)` Visit certain element.
`void`	`visitEnter(Subsection subsection)` Visit certain element.
`void`	`visitEnter(SubsectionList subsectionList)` Visit certain element.
`void`	`visitEnter(SubsectionType subsectionType)` Visit certain element.
`void`	`visitEnter(Term term)` Visit certain element.
`void`	`visitEnter(UsedByList usedByList)` Visit certain element.
`void`	`visitEnter(VariableList variableList)` Visit certain element.
`void`	`visitLeave(Atom atom)` Visit certain element.
`void`	`visitLeave(Author author)` Visit certain element.
`void`	`visitLeave(AuthorList authorList)` Visit certain element.
`void`	`visitLeave(Axiom axiom)` Visit certain element.
`void`	`visitLeave(Chapter chapter)` Visit certain element.
`void`	`visitLeave(ChapterList chapterList)` Visit certain element.
`void`	`visitLeave(ElementList list)` Visit certain element.
`void`	`visitLeave(Formula formula)` Visit certain element.
`void`	`visitLeave(FunctionDefinition functionDefinition)` Visit certain element.
`void`	`visitLeave(Header header)` Visit certain element.
`void`	`visitLeave(Import imp)` Visit certain element.
`void`	`visitLeave(ImportList importList)` Visit certain element.
`void`	`visitLeave(Latex latex)` Visit certain element.
`void`	`visitLeave(LatexList latexList)` Visit certain element.
`void`	`visitLeave(LinkList linkList)` Visit certain element.
`void`	`visitLeave(LiteratureItem literatureItem)` Visit certain element.
`void`	`visitLeave(LiteratureItemList literatureItemList)` Visit certain element.
`void`	`visitLeave(Location location)` Visit certain element.
`void`	`visitLeave(LocationList locationList)` Visit certain element.
`void`	`visitLeave(Node authorList)` Visit certain element.
`void`	`visitLeave(PredicateDefinition predicateDefinition)` Visit certain element.
`void`	`visitLeave(Proof proof)` Visit certain element.
`void`	`visitLeave(ProofList proofList)` Visit certain element.
`void`	`visitLeave(Proposition proposition)` Visit certain element.
`void`	`visitLeave(Qedeq qedeq)` Visit certain element.
`void`	`visitLeave(Rule rule)` Visit certain element.
`void`	`visitLeave(Section section)` Visit certain element.
`void`	`visitLeave(SectionList sectionList)` Visit certain element.
`void`	`visitLeave(Specification specification)` Visit certain element.
`void`	`visitLeave(Subsection subsection)` Visit certain element.
`void`	`visitLeave(SubsectionList subsectionList)` Visit certain element.
`void`	`visitLeave(SubsectionType subsectionType)` Visit certain element.
`void`	`visitLeave(Term term)` Visit certain element.
`void`	`visitLeave(UsedByList usedByList)` Visit certain element.
`void`	`visitLeave(VariableList variableList)` Visit certain element.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractModuleVisitor

public AbstractModuleVisitor()

Method Detail

visitEnter

public void visitEnter(Atom atom)
                throws ModuleDataException

Description copied from interface: ListVisitor

Visit certain element. Begin of visit.

Specified by:: visitEnter in interface ListVisitor

Parameters:: atom - Begin visit of this element.
Throws:: ModuleDataException - Major problem occurred.

visitEnter

public void visitEnter(ElementList list)
                throws ModuleDataException

Description copied from interface: ListVisitor

Visit certain element. Begin of visit.

Specified by:: visitEnter in interface ListVisitor

Parameters:: list - Begin visit of this element.
Throws:: ModuleDataException - Major problem occurred.