com.meyling.principia.logic.paragraph
Class ParagraphCreator

java.lang.Object
  |
  +--com.meyling.principia.logic.paragraph.ParagraphCreator

public final class ParagraphCreator

extends Object

This class provides static methods for reading and writing an Argument.

Version:

$Revision 0.00.50$

Author:

Michael Meyling

Field Summary

private static Map	class2string for converting a (Argument) class into an String
static String	PARAGRAPH_ABBREVIATION string for an Abbreviation
static String	PARAGRAPH_AXIOM string for an Axiom
static String	PARAGRAPH_LINK_LABEL string for a LinkLabel
static String	PARAGRAPH_PARAGRAPH string for a Paragraph
static String	PARAGRAPH_PROOF_LINE string for a ProofLine
static String	PARAGRAPH_PROOF_LINE_LIST string for a ProofLineList
static String	PARAGRAPH_PROPOSITION string for a Proposition
static String	PARAGRAPH_RULE_DECLARATION
static String	PARAGRAPH_SENTENCE string for a Sentence
private ParsingTable	parsing for converting an created Argument into an input file position
private static Map	string2class for converting a String into an (Argument) class

Constructor Summary

ParagraphCreator()

Method Summary

(package private) static void	() Make attribut initialization.
static Map	getMap() Get the mapping of Strings to operator classes.
static String	getName(Class clazz) Get name of known operator class.
static Argument	readArgument(TextInput input, ParsingTable parsing) Create an Argument out of an TextInput object.
static String	writeArgument(Argument argument) Write an Argument to an String.
static void	writeArgument(Output output, Argument argument) Write an Argument to an Output object.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait

Field Detail

PARAGRAPH_PROOF_LINE

public static final String PARAGRAPH_PROOF_LINE

string for a ProofLine

PARAGRAPH_PROOF_LINE_LIST

public static final String PARAGRAPH_PROOF_LINE_LIST

string for a ProofLineList

PARAGRAPH_ABBREVIATION

public static final String PARAGRAPH_ABBREVIATION

string for an Abbreviation

PARAGRAPH_AXIOM

public static final String PARAGRAPH_AXIOM

string for an Axiom

PARAGRAPH_SENTENCE

public static final String PARAGRAPH_SENTENCE

string for a Sentence

PARAGRAPH_LINK_LABEL

public static final String PARAGRAPH_LINK_LABEL

string for a LinkLabel

PARAGRAPH_PROPOSITION

public static final String PARAGRAPH_PROPOSITION

string for a Proposition

PARAGRAPH_PARAGRAPH

public static final String PARAGRAPH_PARAGRAPH

string for a Paragraph

PARAGRAPH_RULE_DECLARATION

public static final String PARAGRAPH_RULE_DECLARATION

string2class

private static final Map string2class

for converting a String into an (Argument) class

class2string

private static final Map class2string

for converting a (Argument) class into an String

parsing

private final ParsingTable parsing

for converting an created Argument into an input file position

Constructor Detail

ParagraphCreator

public ParagraphCreator()

Method Detail

static void ()

Make attribut initialization.

getMap

public static final Map getMap()

Get the mapping of Strings to operator classes. The returned Map should not be modified.

Returns:

mapping of known Strings, do not change this Map

getName

public static final String getName(Class clazz)
                            throws IllegalArgumentException

Get name of known operator class.

Parameters:

clazz - look for name of this class

Returns:

name of operator class

Throws:

IllegalArgumentException - if operator class c is unknown

readArgument

public static final Argument readArgument(TextInput input,
                                          ParsingTable parsing)
                                   throws ParsingException

Create an Argument out of an TextInput object.

Parameters:

input - source to read from

parsing - maps Arguments into Positions

Returns:

created argument

Throws:

ParsingException - if creation failed

writeArgument

public static final void writeArgument(Output output,
                                       Argument argument)
                                throws IllegalArgumentException

Write an Argument to an Output object.

Parameters:

output - destination to write to

argument - this object will be written

Throws:

IllegalArgumentException - if writing failed

writeArgument

public static final String writeArgument(Argument argument)
                                  throws IllegalArgumentException

Write an Argument to an String.

Parameters:

argument - this object will be written

Returns:

created string

Throws:

IllegalArgumentException - if writing failed