|
Hilbert II - Version 0.03.02 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.qedeq.kernel.latex.Qedeq2LatexOld
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.
| 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 |
public Qedeq2LatexOld(String context,
Qedeq qedeq)
throws ModuleDataException
context - Context within this module is created.qedeq - Work with this qedeq module.
ModuleDataException| Method Detail |
public final void printLatex(String language,
String level,
OutputStream outputStream)
throws IOException
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.
IOException
|
Hilbert II - Version 0.03.02 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |