Hilbert II - Version 0.03.02

org.qedeq.kernel.latex
Class Qedeq2LatexOld

java.lang.Object
  extended byorg.qedeq.kernel.latex.Qedeq2LatexOld

public final class Qedeq2LatexOld
extends Object

FIXME mime 20070205: remove before release. This file is replaced by Qedeq2Latex. Transfer a QEDEQ module into a LaTeX file.

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.1 $

Constructor Summary
Qedeq2LatexOld(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

Qedeq2LatexOld

public Qedeq2LatexOld(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

Hilbert II - Version 0.03.02

©left GNU General Public Licence
All Rights Reserved.