|
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.html.Module2Html
This class converts an module into an html file.
Constructor Summary | |
Module2Html(String moduleAddress)
Constructor. |
Method Summary | |
String |
createLink(Module referenced)
Get link address for referenced module. |
static String |
stripTags(String text)
Strip html tags out of text. |
static String |
toHtml(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 Module2Html(String moduleAddress) throws ParsingException, IOException
moduleAddress
- convert module at this addressParsingException
- if any parsing error occursIOException
- if any file problem occursMethod 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 final String createLink(Module referenced)
referenced
- link to this modulepublic static final String toHtml(String text)
text
- excape this textpublic static final String stripTags(String text)
text
- strip this text
|
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. |