org.qedeq.kernel.se.visitor
Interface ListVisitor

All Known Subinterfaces:

QedeqVisitor

All Known Implementing Classes:

AbstractModuleVisitor, Context2SimpleXPath, ControlVisitor, DynamicHeuristicCheckerExecutor, FormalProofCheckerExecutor, LoadDirectlyRequiredModulesExecutor, LoadRequiredModulesExecutor, ModuleLabelsCreator, Qedeq2LatexExecutor, Qedeq2UnicodeVisitor, Qedeq2Xml, QedeqBoDuplicateLanguageChecker, SimpleProofFinderExecutor, WellFormedCheckerExecutor

public interface ListVisitor

Visit elements of the list package.

Author:

Michael Meyling

Method Summary

void	visitEnter(Atom atom) Visit certain element.
void	visitEnter(ElementList list) Visit certain element.
void	visitLeave(Atom atom) Visit certain element.
void	visitLeave(ElementList list) Visit certain element.

Method Detail

visitEnter

void visitEnter(Atom atom)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

atom - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitEnter

void visitEnter(ElementList list)
                throws ModuleDataException

Visit certain element. Begin of visit.

Parameters:

list - Begin visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(Atom atom)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

atom - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.

visitLeave

void visitLeave(ElementList list)
                throws ModuleDataException

Visit certain element. End of visit.

Parameters:

list - End visit of this element.

Throws:

ModuleDataException - Major problem occurred.