PMII - JAVA-Packages - Principia Mathematica II

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: 1.3 $
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
(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, 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
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

PMII - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.