com.meyling.principia.logic.basic
Class BasicCreator

java.lang.Object
  |
  +--com.meyling.principia.logic.basic.BasicCreator

public final class BasicCreator

extends Object

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

Version:

$Revision 0.00.50$

Author:

Michael Meyling

Field Summary

static String	BASIC_FORMULA_PATTERN_VARIABLE string for a FormulaPatternVariable
static String	BASIC_SUBJECT_VARIABLE_PATTERN_VARIABLE string for a SubjectVariablePatternVariable
private static Map	class2string for converting a (Argument) class into an String
static String	CONJUNCTION string for a Conjunction
static String	DISJUNCTION string for a Disjunction
static String	EQUIVALENCE string for an Equivalence
static String	EXISTENTIAL_QUANTIFIER string for a ExistentialQuantifier
static String	IMPLICATION string for an Implication
static String	NEGATION string for a Negation
static String	PREDICATE_VARIABLE string for a PredicateVariable
static String	PROPOSITION_VARIABLE string for a PropositionVariable
static String	REGULAR_ARGUMENT_LIST string for a RegularArgumentList
private static Map	string2class for converting a String into an (Argument) class
static String	SUBJECT_VARIABLE string for a SubjectVariable
static String	UNIVERSAL_QUANTIFIER string for a UniversalQuantifier

Constructor Summary

BasicCreator()

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

CONJUNCTION

public static final String CONJUNCTION

string for a Conjunction

DISJUNCTION

public static final String DISJUNCTION

string for a Disjunction

NEGATION

public static final String NEGATION

string for a Negation

IMPLICATION

public static final String IMPLICATION

string for an Implication

EQUIVALENCE

public static final String EQUIVALENCE

string for an Equivalence

PREDICATE_VARIABLE

public static final String PREDICATE_VARIABLE

string for a PredicateVariable

PROPOSITION_VARIABLE

public static final String PROPOSITION_VARIABLE

string for a PropositionVariable

SUBJECT_VARIABLE

public static final String SUBJECT_VARIABLE

string for a SubjectVariable

EXISTENTIAL_QUANTIFIER

public static final String EXISTENTIAL_QUANTIFIER

string for a ExistentialQuantifier

UNIVERSAL_QUANTIFIER

public static final String UNIVERSAL_QUANTIFIER

string for a UniversalQuantifier

REGULAR_ARGUMENT_LIST

public static final String REGULAR_ARGUMENT_LIST

string for a RegularArgumentList

BASIC_FORMULA_PATTERN_VARIABLE

public static final String BASIC_FORMULA_PATTERN_VARIABLE

string for a FormulaPatternVariable

BASIC_SUBJECT_VARIABLE_PATTERN_VARIABLE

public static final String BASIC_SUBJECT_VARIABLE_PATTERN_VARIABLE

string for a SubjectVariablePatternVariable

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

Constructor Detail

BasicCreator

public BasicCreator()

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