|
Hilbert II - Version 0.03.03 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.qedeq.kernel.latex.Qedeq2Wiki
Transfer a qedeq module into text files in MediaWiki format.
FIXME mime 20060831: This is just a quick hacked generator. This class just generates some text files.
It is not finished!
It should be compared with Qedeq2Latex and then refactored to reuse common functions.
| Constructor Summary | |
Qedeq2Wiki(String context,
QedeqBo qedeq)
Constructor. |
|
| Method Summary | |
void |
printWiki(String language,
String level,
File outputDirectory)
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 Qedeq2Wiki(String context,
QedeqBo qedeq)
throws ModuleDataException
context - Context within this module is created.qedeq - Work with this QEDEQ module.
ModuleDataException| Method Detail |
public final void printWiki(String language,
String level,
File outputDirectory)
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.outputDirectory - Write files to this directory.
IOException
|
Hilbert II - Version 0.03.03 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |