AbstractModuleVisitor (QEDEQ Kernel for the Hilbert II project 0.04.08 API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.qedeq.kernel.se.visitor
Class AbstractModuleVisitor

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

All Implemented Interfaces:: ListVisitor, QedeqVisitor

Direct Known Subclasses:: Context2SimpleXPath, ControlVisitor

public abstract class AbstractModuleVisitor
extends java.lang.Object
implements QedeqVisitor
extends java.lang.Object
implements QedeqVisitor

Basic visitor that makes nothing.

Author:: Michael Meyling

Constructor Summary
`AbstractModuleVisitor()`

Method Summary
`void`	`visitEnter(Add reason)` Visit certain element.
`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(ChangedRule rule)` Visit certain element.
`void`	`visitEnter(ChangedRuleList rule)` Visit certain element.
`void`	`visitEnter(Chapter chapter)` Visit certain element.
`void`	`visitEnter(ChapterList chapterList)` Visit certain element.
`void`	`visitEnter(Conclusion conclusion)` Visit certain element.
`void`	`visitEnter(ConditionalProof reason)` Visit conditional proof line.
`void`	`visitEnter(ElementList list)` Visit certain element.
`void`	`visitEnter(Existential reason)` Visit certain element.
`void`	`visitEnter(FormalProof proof)` Visit certain element.
`void`	`visitEnter(FormalProofLine proofLine)` Visit formal proof line (but not an conditional proof line).
`void`	`visitEnter(FormalProofLineList proofLineList)` Visit certain element.
`void`	`visitEnter(FormalProofList proofList)` 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(Hypothesis hypothesis)` Visit certain element.
`void`	`visitEnter(Import imp)` Visit certain element.
`void`	`visitEnter(ImportList importList)` Visit certain element.
`void`	`visitEnter(InitialFunctionDefinition functionDefinition)` Visit certain element.
`void`	`visitEnter(InitialPredicateDefinition predicateDefinition)` 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(ModusPonens reason)` Visit certain element.
`void`	`visitEnter(Node node)` 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(Reason reason)` Visit certain element.
`void`	`visitEnter(Rename reason)` 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(SubstFree reason)` Visit certain element.
`void`	`visitEnter(SubstFunc reason)` Visit certain element.
`void`	`visitEnter(SubstPred reason)` Visit certain element.
`void`	`visitEnter(Term term)` Visit certain element.
`void`	`visitEnter(Universal reason)` Visit certain element.
`void`	`visitEnter(UsedByList usedByList)` Visit certain element.
`void`	`visitLeave(Add reason)` 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(ChangedRule rule)` Visit certain element.
`void`	`visitLeave(ChangedRuleList rule)` Visit certain element.
`void`	`visitLeave(Chapter chapter)` Visit certain element.
`void`	`visitLeave(ChapterList chapterList)` Visit certain element.
`void`	`visitLeave(Conclusion conclusion)` Visit certain element.
`void`	`visitLeave(ConditionalProof reason)` Visit certain element.
`void`	`visitLeave(ElementList list)` Visit certain element.
`void`	`visitLeave(Existential reason)` Visit certain element.
`void`	`visitLeave(FormalProof proof)` Visit certain element.
`void`	`visitLeave(FormalProofLine proofLine)` Visit certain element.
`void`	`visitLeave(FormalProofLineList proofLineList)` Visit certain element.
`void`	`visitLeave(FormalProofList proofList)` 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(Hypothesis hypothesis)` Visit certain element.
`void`	`visitLeave(Import imp)` Visit certain element.
`void`	`visitLeave(ImportList importList)` Visit certain element.
`void`	`visitLeave(InitialFunctionDefinition functionDefinition)` Visit certain element.
`void`	`visitLeave(InitialPredicateDefinition predicateDefinition)` 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(ModusPonens reason)` 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(Reason reason)` Visit certain element.
`void`	`visitLeave(Rename reason)` 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(SubstFree reason)` Visit certain element.
`void`	`visitLeave(SubstFunc reason)` Visit certain element.
`void`	`visitLeave(SubstPred reason)` Visit certain element.
`void`	`visitLeave(Term term)` Visit certain element.
`void`	`visitLeave(Universal reason)` Visit certain element.
`void`	`visitLeave(UsedByList usedByList)` 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.