|
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.module.ModuleWriter
This class writes a module file.
Constructor Summary | |
ModuleWriter()
|
Method Summary | |
static void |
writeFormula(int level,
Argument argument,
Output output)
Write a formula (or its sub arguments) into an output. |
static void |
writeModule(Module module,
Output output)
Write a module. |
static void |
writeProofLine(ProofLine line,
Output output)
Write a ProofLine into an output. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public ModuleWriter()
Method Detail |
public static final void writeModule(Module module, Output output)
module
- write this moduleoutput
- to this output
ParsingException
- if any parsing error occurspublic static final void writeProofLine(ProofLine line, Output output)
ProofLine
into an output.
line
- write this proof lineoutput
- destination for resulting outputpublic static final void writeFormula(int level, Argument argument, Output output)
level
- number of tabs before formula startsargument
- convert thisoutput
- destination for resulting output
|
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. |