org.qedeq.kernel.latex
Class Qedeq2Latex

java.lang.Object
  org.qedeq.kernel.latex.Qedeq2Latex

public final class Qedeq2Latex

extends Object

Transfer a qedeq module into a LaTeX file.

TODO mime 20050205: This is just a quick hacked generator. No parsing or validation of inline LaTeX text is done. No reference is resolved. This class just generates some LaTeX to get some visual impression of a QEDEQ module in an early development stage.

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

Version:

$Revision: 1.41 $

Constructor Summary

Qedeq2Latex(String context, Qedeq qedeq)
Constructor.

Method Summary

void	printLatex(String language, String level, OutputStream outputStream) Prints a LaTeX file into a given output stream.

Methods inherited from class java.lang.Object

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

Constructor Detail

Qedeq2Latex

public Qedeq2Latex(String context,
                   Qedeq qedeq)
            throws ModuleDataException

Constructor.

Parameters:

context - Context within this module is created.

qedeq - Work with this qedeq module.

Throws:

ModuleDataException

Method Detail

printLatex

public final void printLatex(String language,
                             String level,
                             OutputStream outputStream)
                      throws IOException

Prints a LaTeX file into a given output stream.

Parameters:

language - Filter text to get and produce text in this language only.

level - Filter for this detail level. TODO mime 20050205: not supported yet.

outputStream - Write output herein.

Throws:

IOException