|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.meyling.principia.latex.Module2Latex
This class converts an module into an LaTeX file.
Constructor Summary | |
Module2Latex(String moduleAddress)
Constructor. |
Method Summary | |
String |
createLink(Module referenced)
Get link address for referenced module. |
String |
createLink(String reference)
Get link address for referenced module. |
String |
createLink(String reference,
String description)
Get link address for referenced module. |
String |
createQedeqLink(Module referenced)
Get link address for referenced module. |
static String |
qedeq2latex(String text)
Replace \qedeq by LaTeX commands. |
static String |
stripTags(String text)
Strip html tags out of text. |
static String |
toLatex(String text)
Escape certain control seqences: ", &. |
void |
writeFormula(Argument argument,
Output output)
Convert a Formula or its sub arguments into LaTeX. |
void |
writeModule()
Convert a Module (referenced by module address
in constructor) into html. |
void |
writeProofLine(ProofLine line,
Output output,
String label)
Convert a ProofLine into html. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public Module2Latex(String moduleAddress)
moduleAddress
- convert module at this addressMethod Detail |
public final void writeModule() throws ParsingException, IOException
Module
(referenced by module address
in constructor) into html.
ParsingException
- if any parsing error occurs
IOException
- if any file problem occurspublic final void writeProofLine(ProofLine line, Output output, String label)
ProofLine
into html.
line
- convert thisoutput
- destination for resulting html codelabel
- for proof line referencespublic final void writeFormula(Argument argument, Output output)
Formula
or its sub arguments into LaTeX.
argument
- convert thisoutput
- destination for resulting LaTeXpublic static final String toLatex(String text)
text
- excape this text
public static final String qedeq2latex(String text)
text
- excape this text
public static final String stripTags(String text)
text
- strip this text
public final String createLink(Module referenced)
referenced
- link to this module
public final String createLink(String reference)
public final String createLink(String reference, String description)
description
- describes linked object
public final String createQedeqLink(Module referenced)
referenced
- link to this module
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |