Hilbert II - JAVA-Packages - Principia Mathematica II

com.meyling.principia.logic.basic
Class BasicCreator

java.lang.Object
  extended bycom.meyling.principia.logic.basic.BasicCreator

public final class BasicCreator
extends Object

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

Version:
$Revision: 1.5 $
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
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
static String SUBJECT_VARIABLE
          string for a SubjectVariable
static String UNIVERSAL_QUANTIFIER
          string for a UniversalQuantifier
 
Constructor Summary
BasicCreator()
           
 
Method Summary
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, toString, wait, wait, wait
 

Field Detail

CONJUNCTION

public static final String CONJUNCTION
string for a Conjunction

See Also:
Constant Field Values

DISJUNCTION

public static final String DISJUNCTION
string for a Disjunction

See Also:
Constant Field Values

NEGATION

public static final String NEGATION
string for a Negation

See Also:
Constant Field Values

IMPLICATION

public static final String IMPLICATION
string for an Implication

See Also:
Constant Field Values

EQUIVALENCE

public static final String EQUIVALENCE
string for an Equivalence

See Also:
Constant Field Values

PREDICATE_VARIABLE

public static final String PREDICATE_VARIABLE
string for a PredicateVariable

See Also:
Constant Field Values

PROPOSITION_VARIABLE

public static final String PROPOSITION_VARIABLE
string for a PropositionVariable

See Also:
Constant Field Values

SUBJECT_VARIABLE

public static final String SUBJECT_VARIABLE
string for a SubjectVariable

See Also:
Constant Field Values

EXISTENTIAL_QUANTIFIER

public static final String EXISTENTIAL_QUANTIFIER
string for a ExistentialQuantifier

See Also:
Constant Field Values

UNIVERSAL_QUANTIFIER

public static final String UNIVERSAL_QUANTIFIER
string for a UniversalQuantifier

See Also:
Constant Field Values

REGULAR_ARGUMENT_LIST

public static final String REGULAR_ARGUMENT_LIST
string for a RegularArgumentList

See Also:
Constant Field Values

BASIC_FORMULA_PATTERN_VARIABLE

public static final String BASIC_FORMULA_PATTERN_VARIABLE
string for a FormulaPatternVariable

See Also:
Constant Field Values

BASIC_SUBJECT_VARIABLE_PATTERN_VARIABLE

public static final String BASIC_SUBJECT_VARIABLE_PATTERN_VARIABLE
string for a SubjectVariablePatternVariable

See Also:
Constant Field Values
Constructor Detail

BasicCreator

public BasicCreator()
Method Detail

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

Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.