org.qedeq.kernel.xml.dao
Class Qedeq2Xml

java.lang.Object
  org.qedeq.kernel.se.visitor.AbstractModuleVisitor
      org.qedeq.kernel.bo.service.basis.ControlVisitor
          org.qedeq.kernel.xml.dao.Qedeq2Xml

All Implemented Interfaces:

ModuleService, Service, ListVisitor, QedeqVisitor

public final class Qedeq2Xml
extends ControlVisitor
implements ModuleService

This class prints a QEDEQ module in XML format in an output stream.

Author:

Michael Meyling

Constructor Summary

Qedeq2Xml(ModuleService plugin, KernelQedeqBo bo, TextOutput printer)
Constructor.

Method Summary

java.lang.String	getServiceAction() Get service action name.
java.lang.String	getServiceDescription() Get service description.
java.lang.String	getServiceId() Get service id.
static void	print(InternalServiceJob process, ModuleService plugin, KernelQedeqBo bo, TextOutput printer) Prints a XML representation of given QEDEQ module into a given output stream.
void	visitEnter(Add reason) 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(Chapter chapter) 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 line) Visit formal proof line (but not an conditional proof line).
void	visitEnter(FormalProofLineList proof) Visit certain element.
void	visitEnter(Formula formula) Visit certain element.
void	visitEnter(FunctionDefinition definition) 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 definition) Visit certain element.
void	visitEnter(InitialPredicateDefinition definition) 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 item) Visit certain element.
void	visitEnter(LiteratureItemList list) 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 definition) Visit certain element.
void	visitEnter(Proof proof) Visit certain element.
void	visitEnter(Proposition proposition) Visit certain element.
void	visitEnter(Qedeq qedeq) 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(Specification specification) Visit certain element.
void	visitEnter(Subsection subsection) Visit certain element.
void	visitEnter(SubsectionList subsectionList) 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(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(Chapter chapter) 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 line) Visit certain element.
void	visitLeave(FormalProofLineList proof) Visit certain element.
void	visitLeave(Formula formula) Visit certain element.
void	visitLeave(FunctionDefinition definition) 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 definition) Visit certain element.
void	visitLeave(InitialPredicateDefinition definition) Visit certain element.
void	visitLeave(Latex latex) Visit certain element.
void	visitLeave(LatexList latexList) Visit certain element.
void	visitLeave(LiteratureItem item) Visit certain element.
void	visitLeave(LiteratureItemList list) Visit certain element.
void	visitLeave(LocationList locationList) Visit certain element.
void	visitLeave(ModusPonens reason) Visit certain element.
void	visitLeave(Node node) Visit certain element.
void	visitLeave(PredicateDefinition definition) Visit certain element.
void	visitLeave(Proof proof) Visit certain element.
void	visitLeave(Proposition proposition) Visit certain element.
void	visitLeave(Qedeq qedeq) 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(Specification specification) Visit certain element.
void	visitLeave(Subsection subsection) Visit certain element.
void	visitLeave(SubsectionList subsectionList) 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 org.qedeq.kernel.bo.service.basis.ControlVisitor

addError, addError, addWarning, getBlocked, getCurrentContext, getCurrentNumbers, getErrorList, getInternalServiceCall, getInterrupted, getKernelQedeqBo, getLocalRuleKey, getLocationDescription, getNodeBo, getNodeDisplay, getReference, getService, getServices, getTraverser, getVisitPercentage, getWarningList, hasErrors, hasNoErrors, setBlocked, setLocationWithinModule, traverse

Methods inherited from class org.qedeq.kernel.se.visitor.AbstractModuleVisitor

visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave

Methods inherited from class java.lang.Object

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

Constructor Detail

Qedeq2Xml

public Qedeq2Xml(ModuleService plugin,
                 KernelQedeqBo bo,
                 TextOutput printer)

Constructor.

Parameters:

plugin - This plugin we work for.

bo - QEDEQ BO.

printer - Print herein.

Method Detail

print

public static void print(InternalServiceJob process,
                         ModuleService plugin,
                         KernelQedeqBo bo,
                         TextOutput printer)
                  throws SourceFileExceptionList,
                         java.io.IOException

Prints a XML representation of given QEDEQ module into a given output stream.

Parameters:

process - Service process we work for.

plugin - Plugin we work for.

bo - BO QEDEQ module object.

printer - Print herein.

Throws:

SourceFileExceptionList - Major problem occurred.

java.io.IOException - Writing failed.

visitEnter

public final void visitEnter(Qedeq qedeq)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

qedeq - Begin visit of this element.

visitLeave

public final void visitLeave(Qedeq qedeq)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

qedeq - End visit of this element.

visitEnter

public void visitEnter(Header header)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

header - Begin visit of this element.

visitLeave

public void visitLeave(Header header)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

header - End visit of this element.

visitEnter

public void visitEnter(Specification specification)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

specification - Begin visit of this element.

visitLeave

public void visitLeave(Specification specification)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

specification - End visit of this element.

visitEnter

public void visitEnter(LatexList latexList)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

latexList - Begin visit of this element.

visitLeave

public void visitLeave(LatexList latexList)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

latexList - End visit of this element.

visitEnter

public void visitEnter(Latex latex)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

latex - Begin visit of this element.

visitLeave

public void visitLeave(Latex latex)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

latex - End visit of this element.

visitEnter

public void visitEnter(LocationList locationList)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

locationList - Begin visit of this element.

visitLeave

public void visitLeave(LocationList locationList)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

locationList - End visit of this element.

visitEnter

public void visitEnter(Location location)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

location - Begin visit of this element.

visitEnter

public void visitEnter(AuthorList authorList)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

authorList - Begin visit of this element.

visitLeave

public void visitLeave(AuthorList authorList)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

authorList - End visit of this element.

visitEnter

public void visitEnter(Author author)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

author - Begin visit of this element.

visitLeave

public void visitLeave(Author author)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

author - End visit of this element.

visitEnter

public void visitEnter(ImportList importList)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

importList - Begin visit of this element.

visitLeave

public void visitLeave(ImportList importList)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

importList - End visit of this element.

visitEnter

public void visitEnter(Import imp)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

imp - Begin visit of this element.

visitLeave

public void visitLeave(Import imp)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

imp - End visit of this element.

visitEnter

public void visitEnter(UsedByList usedByList)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

usedByList - Begin visit of this element.

visitLeave

public void visitLeave(UsedByList usedByList)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

usedByList - End visit of this element.

visitEnter

public void visitEnter(Chapter chapter)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

chapter - Begin visit of this element.

visitLeave

public void visitLeave(Chapter chapter)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

chapter - End visit of this element.

visitEnter

public void visitEnter(Section section)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

section - Begin visit of this element.

visitLeave

public void visitLeave(Section section)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

section - End visit of this element.

visitEnter

public void visitEnter(SubsectionList subsectionList)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

subsectionList - Begin visit of this element.

visitLeave

public void visitLeave(SubsectionList subsectionList)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

subsectionList - End visit of this element.

visitEnter

public void visitEnter(Subsection subsection)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

subsection - Begin visit of this element.

visitLeave

public void visitLeave(Subsection subsection)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

subsection - End visit of this element.

visitEnter

public void visitEnter(Node node)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

node - Begin visit of this element.

visitLeave

public void visitLeave(Node node)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

node - End visit of this element.

visitEnter

public void visitEnter(Axiom axiom)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

axiom - Begin visit of this element.

visitLeave

public void visitLeave(Axiom axiom)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

axiom - End visit of this element.

visitEnter

public void visitEnter(Proposition proposition)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

proposition - Begin visit of this element.

visitLeave

public void visitLeave(Proposition proposition)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

proposition - End visit of this element.

visitEnter

public void visitEnter(Proof proof)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

proof - Begin visit of this element.

visitLeave

public void visitLeave(Proof proof)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

proof - End visit of this element.

visitEnter

public void visitEnter(FormalProof proof)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

proof - Begin visit of this element.

visitLeave

public void visitLeave(FormalProof proof)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

proof - End visit of this element.

visitEnter

public void visitEnter(FormalProofLineList proof)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

proof - Begin visit of this element.

visitLeave

public void visitLeave(FormalProofLineList proof)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

proof - End visit of this element.

visitEnter

public void visitEnter(FormalProofLine line)

Description copied from interface: QedeqVisitor

Visit formal proof line (but not an conditional proof line).

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

line - Begin visit of this element.

visitLeave

public void visitLeave(FormalProofLine line)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

line - End visit of this element.

visitEnter

public void visitEnter(ModusPonens reason)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

visitLeave

public void visitLeave(ModusPonens reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public void visitEnter(Add reason)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

visitLeave

public void visitLeave(Add reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public void visitEnter(Rename reason)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

visitLeave

public void visitLeave(Rename reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public void visitEnter(SubstFree reason)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

visitLeave

public void visitLeave(SubstFree reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public void visitEnter(SubstFunc reason)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

visitLeave

public void visitLeave(SubstFunc reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public void visitEnter(SubstPred reason)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

visitLeave

public void visitLeave(SubstPred reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public void visitEnter(Existential reason)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

visitLeave

public void visitLeave(Existential reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public void visitEnter(Universal reason)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

visitLeave

public void visitLeave(Universal reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public void visitEnter(ConditionalProof reason)

Description copied from interface: QedeqVisitor

Visit conditional proof line.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

reason - Begin visit of this element.

visitLeave

public void visitLeave(ConditionalProof reason)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

reason - End visit of this element.

visitEnter

public void visitEnter(Hypothesis hypothesis)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

hypothesis - Begin visit of this element.

visitLeave

public void visitLeave(Hypothesis hypothesis)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

hypothesis - End visit of this element.

visitEnter

public void visitEnter(Conclusion conclusion)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

conclusion - Begin visit of this element.

visitLeave

public void visitLeave(Conclusion conclusion)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

conclusion - End visit of this element.

visitEnter

public void visitEnter(InitialPredicateDefinition definition)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

definition - Begin visit of this element.

visitLeave

public void visitLeave(InitialPredicateDefinition definition)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

definition - End visit of this element.

visitEnter

public void visitEnter(PredicateDefinition definition)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

definition - Begin visit of this element.

visitLeave

public void visitLeave(PredicateDefinition definition)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

definition - End visit of this element.

visitEnter

public void visitEnter(InitialFunctionDefinition definition)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

definition - Begin visit of this element.

visitLeave

public void visitLeave(InitialFunctionDefinition definition)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

definition - End visit of this element.

visitEnter

public void visitEnter(FunctionDefinition definition)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

definition - Begin visit of this element.

visitLeave

public void visitLeave(FunctionDefinition definition)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

definition - End visit of this element.

visitEnter

public void visitEnter(Rule rule)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

rule - Begin visit of this element.

visitLeave

public void visitLeave(Rule rule)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

rule - End visit of this element.

visitEnter

public void visitEnter(LinkList linkList)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

linkList - Begin visit of this element.

visitEnter

public void visitEnter(ChangedRule rule)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

rule - Begin visit of this element.

visitLeave

public void visitLeave(ChangedRule rule)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

rule - End visit of this element.

visitEnter

public void visitEnter(Formula formula)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

formula - Begin visit of this element.

visitLeave

public void visitLeave(Formula formula)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

formula - End visit of this element.

visitEnter

public void visitEnter(Term term)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

term - Begin visit of this element.

visitLeave

public void visitLeave(Term term)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

term - End visit of this element.

visitEnter

public void visitEnter(ElementList list)

Description copied from interface: ListVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface ListVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

list - Begin visit of this element.

visitLeave

public void visitLeave(ElementList list)

Description copied from interface: ListVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface ListVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

list - End visit of this element.

visitEnter

public void visitEnter(LiteratureItemList list)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

list - Begin visit of this element.

visitLeave

public void visitLeave(LiteratureItemList list)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

list - End visit of this element.

visitEnter

public void visitEnter(LiteratureItem item)

Description copied from interface: QedeqVisitor

Visit certain element. Begin of visit.

Specified by:

visitEnter in interface QedeqVisitor

Overrides:

visitEnter in class AbstractModuleVisitor

Parameters:

item - Begin visit of this element.

visitLeave

public void visitLeave(LiteratureItem item)

Description copied from interface: QedeqVisitor

Visit certain element. End of visit.

Specified by:

visitLeave in interface QedeqVisitor

Overrides:

visitLeave in class AbstractModuleVisitor

Parameters:

item - End visit of this element.

getServiceId

public java.lang.String getServiceId()

Description copied from interface: Service

Get service id.

Specified by:

getServiceId in interface Service

Returns:

Service id.

getServiceAction

public java.lang.String getServiceAction()

Description copied from interface: Service

Get service action name. This is what the service does.

Specified by:

getServiceAction in interface Service

Returns:

Service action name.

getServiceDescription

public java.lang.String getServiceDescription()

Description copied from interface: Service

Get service description.

Specified by:

getServiceDescription in interface Service

Returns:

Description of service.