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 0.00.50$

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.
private static void	writeParagraphList(ParagraphList paragraphs, Output output) Convert a ParagraphList into html.
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, registerNatives, 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

writeParagraphList

private static final void writeParagraphList(ParagraphList paragraphs,
                                             Output output)

Convert a ParagraphList into html.

Parameters:

paragraphs - convert this

output - destination for resulting output

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