PMII - JAVA-Packages - Principia Mathematica II

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

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

ModuleWriter

public ModuleWriter()
Method Detail

writeModule

public static final void writeModule(Module module,
                                     Output output)
Write a module.
Parameters:
module - write this module
output - 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 line
output - 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 starts
argument - convert this
output - destination for resulting output

PMII - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.