Hilbert II - Version 0.03.04

org.qedeq.kernel.latex
Class Qedeq2Latex

java.lang.Object
  extended byorg.qedeq.kernel.bo.visitor.AbstractModuleVisitor
      extended byorg.qedeq.kernel.latex.Qedeq2Latex
All Implemented Interfaces:
ListVisitor, QedeqVisitor

public final class Qedeq2Latex
extends AbstractModuleVisitor

Transfer a QEDEQ module into a LaTeX file.

TODO mime 20070131: This is just a quick written generator. No parsing or validation of inline LaTeX text is done. No references to other QEDEQ modules are resolved. This class just generates some LaTeX output to be able to get a visual impression of a QEDEQ module.

This generator operates operates against the interface declaration of a QEDEQ module. A business object is not yet required.

Version:
$Revision: 1.47 $

Method Summary
static void print(String globalContext, QedeqBo qedeq, TextOutput printer, String language, String level)
          Prints a XML representation of given QEDEQ module into a given output stream.
 void visitEnter(Axiom axiom)
          Visit certain element.
 void visitEnter(Chapter chapter)
          Visit certain element.
 void visitEnter(FunctionDefinition definition)
          Visit certain element.
 void visitEnter(Header header)
          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(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(Rule rule)
          Visit certain element.
 void visitEnter(Section section)
          Visit certain element.
 void visitEnter(Subsection subsection)
          Visit certain element.
 void visitLeave(Chapter chapter)
          Visit certain element.
 void visitLeave(FunctionDefinition definition)
          Visit certain element.
 void visitLeave(LiteratureItemList list)
          Visit certain element.
 void visitLeave(Node node)
          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 list)
          Visit certain element.
 void visitLeave(Subsection subsection)
          Visit certain element.
 
Methods inherited from class org.qedeq.kernel.bo.visitor.AbstractModuleVisitor
visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, 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
 

Method Detail

print

public static void print(String globalContext,
                         QedeqBo qedeq,
                         TextOutput printer,
                         String language,
                         String level)
                  throws ModuleDataException,
                         IOException
Prints a XML representation of given QEDEQ module into a given output stream.

Parameters:
globalContext - Module location information.
qedeq - Basic QEDEQ module object.
printer - Print herein.
language - Filter text to get and produce text in this language only.
level - Filter for this detail level. TODO mime 20050205: not supported yet.
Throws:
ModuleDataException - Major problem occurred.
IOException

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

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

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

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

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

visitLeave

public void visitLeave(SectionList list)
Description copied from interface: QedeqVisitor
Visit certain element. End of visit.

Specified by:
visitLeave in interface QedeqVisitor
Overrides:
visitLeave in class AbstractModuleVisitor

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.