com.meyling.principia.module
Class ModuleWriter
java.lang.Object
|
+--com.meyling.principia.module.ModuleWriter
- public final class ModuleWriter
- extends Object
This class writes a module file.
- Version:
- $Revision: 1.2 $
- Author:
- Michael Meyling
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ModuleWriter
public ModuleWriter()
writeModule
public static final void writeModule(Module module,
Output output)
- Write a module.
- Parameters:
module
- write this moduleoutput
- to this output- Throws:
ParsingException
- if any parsing error occurs
writeProofLine
public static final void writeProofLine(ProofLine line,
Output output)
- Write a
ProofLine
into an output.
- Parameters:
line
- write this proof lineoutput
- destination for resulting output
writeFormula
public static final void writeFormula(int level,
Argument argument,
Output output)
- Write a formula (or its sub arguments) into an output.
- Parameters:
level
- number of tabs before formula startsargument
- convert thisoutput
- destination for resulting output