|
Hilbert II - Version 0.03.04 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.qedeq.kernel.rel.test.text.Xml2Wiki
Test application.
| Method Summary | |
static void |
generate(File from,
File to,
String language,
String level)
Generate LaTeX file out of XML file. |
static void |
generate(String from,
String to,
String language,
String level)
Generate wiki file(s) out of XML file. |
static void |
main(String[] args)
Main method. |
static void |
printProgramInformation()
Writes calling convention to System.err. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
public static void main(String[] args)
args - Various parameters. See implementation of printProgramInformation().public static void printProgramInformation()
System.err.
public static void generate(String from,
String to,
String language,
String level)
throws XmlFileExceptionList
from - Read this XML file.to - Write to this file. Could be null.language - Resulting language. Could be null.level - Resulting detail level. Could be null.
XmlFilePositionException
XmlFileExceptionList
public static void generate(File from,
File to,
String language,
String level)
throws XmlFileExceptionList
from - Read this XML file.to - Write to this directory. Could be null.language - Resulting language. Could be null.level - Resulting detail level. Could be null.
XmlFileExceptionList
|
Hilbert II - Version 0.03.04 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |