|
Hilbert II - Version 0.03.08 | ||||||||||
| 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.
LATER 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(ModuleProperties prop)
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(ModuleProperties prop)
prop - QEDEQ module properties object.| 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.08 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |