|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--com.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 html. |
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 |
|
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 occursIOException
- 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 html.argument
- convert thisoutput
- destination for resulting html codepublic static final String toLatex(String text)
text
- excape this textpublic static final String qedeq2latex(String text)
text
- excape this textpublic static final String stripTags(String text)
text
- strip this textpublic final String createLink(Module referenced)
referenced
- link to this modulepublic final String createLink(String reference)
refernce
- label within modulepublic final String createLink(String reference, String description)
refernce
- label within moduledescription
- describes linked objectpublic final String createQedeqLink(Module referenced)
referenced
- link to this module
|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |