Qedeq2Latex (Hilbert II)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

Hilbert II - Version 0.03.03

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.qedeq.kernel.latex
Class Qedeq2Latex

java.lang.Object
  org.qedeq.kernel.bo.visitor.AbstractModuleVisitor
      org.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.44 $

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