|
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.html.Module2Html
This class converts an module into a 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 and mask certain characters. |
static String |
toHtml(String text)
Escape certain control seqences: ", &. |
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 Module2Html(String moduleAddress) throws ParsingException, IOException
moduleAddress
- convert module at this address
ParsingException
- if any parsing error occurs
IOException
- 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 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 String createLink(Module referenced)
referenced
- link to this module
public static final String toHtml(String text)
text
- excape this text
public static final String stripTags(String text)
text
- strip this text
|
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. |