|
Hilbert II - Version 0.01.09 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.qedeq.kernel.rel.test.text.Xml2Latex
Test application.
| Field Summary | |
static String |
TRACE_FILE_PATH
Location of trace file. |
| Method Summary | |
static String |
generate(String from,
String to,
String language,
String level)
Generate LaTeX file out of XML file. |
static void |
initalizeTrace()
Initialize trace 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 |
| Field Detail |
public static final String TRACE_FILE_PATH
| Method Detail |
public static void main(String[] args)
args - Various parameters. See implementation of printProgramInformation().
public static void initalizeTrace()
throws IOException
TRACE_FILE_PATH.
IOException - Initialization failed.public static void printProgramInformation()
System.err.
public static String generate(String from,
String to,
String language,
String level)
throws XmlFilePositionException
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
|
Hilbert II - Version 0.01.09 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |