|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.meyling.principia.logic.basic.BasicCreator
This class provides static methods for reading and
writing an Argument
.
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 |
public static final String CONJUNCTION
Conjunction
public static final String DISJUNCTION
Disjunction
public static final String NEGATION
Negation
public static final String IMPLICATION
Implication
public static final String EQUIVALENCE
Equivalence
public static final String PREDICATE_VARIABLE
PredicateVariable
public static final String PROPOSITION_VARIABLE
PropositionVariable
public static final String SUBJECT_VARIABLE
SubjectVariable
public static final String EXISTENTIAL_QUANTIFIER
ExistentialQuantifier
public static final String UNIVERSAL_QUANTIFIER
UniversalQuantifier
public static final String REGULAR_ARGUMENT_LIST
RegularArgumentList
public static final String BASIC_FORMULA_PATTERN_VARIABLE
FormulaPatternVariable
public static final String BASIC_SUBJECT_VARIABLE_PATTERN_VARIABLE
SubjectVariablePatternVariable
Constructor Detail |
public BasicCreator()
Method Detail |
public static final Map getMap()
public static final String getName(Class clazz) throws IllegalArgumentException
clazz
- look for name of this class
IllegalArgumentException
- if operator class c
is unknownpublic static final Argument readArgument(TextInput input, ParsingTable parsing) throws ParsingException
Argument
out of an TextInput
object.
input
- source to read fromparsing
- maps Argument
s into Position
s
ParsingException
- if creation failedpublic static final void writeArgument(Output output, Argument argument) throws IllegalArgumentException
Argument
to an Output
object.
output
- destination to write toargument
- this object will be written
IllegalArgumentException
- if writing failedpublic static final String writeArgument(Argument argument) throws IllegalArgumentException
Argument
to an String
.
argument
- this object will be written
IllegalArgumentException
- if writing failed
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |