com.meyling.principia.latex
Class Qedeq2Latex
java.lang.Object
|
+--com.meyling.principia.latex.Qedeq2Latex
- public final class Qedeq2Latex
- extends Object
This class provides static methods for converting module files
into LaTex files.
- Version:
- $Revision: 1.2 $
- Author:
- Michael Meyling
Method Summary |
(package private) static void |
()
Make attribut initialization. |
static String |
convert(String qedeq)
Takes the given file names (without ".tex") and converts them
into html. |
static void |
main(String[] argument)
Takes the given file names (without ".tex") and converts them
into html. |
static void |
readAll(TextInput input,
Output output)
|
static com.meyling.principia.latex.Qedeq2Latex.Function |
readArgument(TextInput input)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Qedeq2Latex
public Qedeq2Latex()
static void ()
- Make attribut initialization.
convert
public static final String convert(String qedeq)
- Takes the given file names (without ".tex") and converts them
into html. The resulting files are at the same position but
have the ending ".html".
- Parameters:
argument
- list of LaTex files to convert
main
public static final void main(String[] argument)
- Takes the given file names (without ".tex") and converts them
into html. The resulting files are at the same position but
have the ending ".html".
- Parameters:
argument
- list of LaTex files to convert
readAll
public static final void readAll(TextInput input,
Output output)
readArgument
public static final com.meyling.principia.latex.Qedeq2Latex.Function readArgument(TextInput input)