com.meyling.principia.logic.rule
Class RuleCreator

java.lang.Object
  |
  +--com.meyling.principia.logic.rule.RuleCreator

public final class RuleCreator

extends Object

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

Version:

$Revision: 1.6 $

Author:

Michael Meyling

Field Summary

static String	RULE_ADD_AXIOM string for a AddAxiom
static String	RULE_ADD_SENTENCE string for a AddSenctence
static String	RULE_APPLY_AXIOM string for a AddAxiom
static String	RULE_APPLY_SENTENCE string for a ApplySenctence
static String	RULE_CONJUNCTION_RULE string for a ElementaryEquivalence
static String	RULE_ELEMENTARY_EQUIVALENCE string for a ElementaryEquivalence
static String	RULE_GENERALIZATION string for a Generalization
static String	RULE_HYPOTHETICAL_SYLLOGISM string for a HypotheticalSyllogism
static String	RULE_LEFT_ADDITION string for a LeftAddition
static String	RULE_LEFT_ADDITION_CONJUNCTION string for a LeftAdditionConjunction
static String	RULE_LEFT_ADDITION_EQUIVALENCE string for a RightAdditionImplication
static String	RULE_LEFT_ADDITION_IMPLICATION string for a RightAdditionImplication
static String	RULE_LINK_REFERENCE string for a LinkReference
static String	RULE_MODUS_PONENS string for a ModusPonens
static String	RULE_PARTICULARIZATION string for a Particularization
static String	RULE_RENAME_BOUND_SUBJECT_VARIABLE string for a RenameBoundSubjectVariable
static String	RULE_RENAME_FREE_SUBJECT_VARIABLE string for a RenameFreeSubjectVariable
static String	RULE_REPLACE_PREDICATE_VARIABLE string for a ReplacePredicate
static String	RULE_REPLACE_PROPOSITION_VARIABLE string for a ReplacePropositonVariable
static String	RULE_REVERSE_ABBREVIATION string for a ReverseAbbreviation
static String	RULE_REVERSE_IMPLICATION string for a ReverseImplication
static String	RULE_RIGHT_ADDITION string for a RightAddition
static String	RULE_RIGHT_ADDITION_CONJUNCTION string for a RightAdditionConjunction
static String	RULE_RIGHT_ADDITION_EQUIVALENCE string for a RightAdditionImplication
static String	RULE_RIGHT_ADDITION_IMPLICATION string for a RightAdditionImplication
static String	RULE_SUBST_LINE string for a HypotheticalSyllogism
static String	RULE_USE_ABBREVIATION string for a UseAbbreviation

Constructor Summary

RuleCreator()

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

RULE_LINK_REFERENCE

public static final String RULE_LINK_REFERENCE

string for a LinkReference

RULE_MODUS_PONENS

public static final String RULE_MODUS_PONENS

string for a ModusPonens

RULE_ADD_AXIOM

public static final String RULE_ADD_AXIOM

string for a AddAxiom

RULE_APPLY_AXIOM

public static final String RULE_APPLY_AXIOM

string for a AddAxiom

RULE_ADD_SENTENCE

public static final String RULE_ADD_SENTENCE

string for a AddSenctence

RULE_APPLY_SENTENCE

public static final String RULE_APPLY_SENTENCE

string for a ApplySenctence

RULE_USE_ABBREVIATION

public static final String RULE_USE_ABBREVIATION

string for a UseAbbreviation

RULE_REVERSE_ABBREVIATION

public static final String RULE_REVERSE_ABBREVIATION

string for a ReverseAbbreviation

RULE_REPLACE_PROPOSITION_VARIABLE

public static final String RULE_REPLACE_PROPOSITION_VARIABLE

string for a ReplacePropositonVariable

RULE_REPLACE_PREDICATE_VARIABLE

public static final String RULE_REPLACE_PREDICATE_VARIABLE

string for a ReplacePredicate

RULE_RENAME_FREE_SUBJECT_VARIABLE

public static final String RULE_RENAME_FREE_SUBJECT_VARIABLE

string for a RenameFreeSubjectVariable

RULE_RENAME_BOUND_SUBJECT_VARIABLE

public static final String RULE_RENAME_BOUND_SUBJECT_VARIABLE

string for a RenameBoundSubjectVariable

RULE_GENERALIZATION

public static final String RULE_GENERALIZATION

string for a Generalization

RULE_PARTICULARIZATION

public static final String RULE_PARTICULARIZATION

string for a Particularization

RULE_HYPOTHETICAL_SYLLOGISM

public static final String RULE_HYPOTHETICAL_SYLLOGISM

string for a HypotheticalSyllogism

RULE_SUBST_LINE

public static final String RULE_SUBST_LINE

string for a HypotheticalSyllogism

RULE_RIGHT_ADDITION

public static final String RULE_RIGHT_ADDITION

string for a RightAddition

RULE_ELEMENTARY_EQUIVALENCE

public static final String RULE_ELEMENTARY_EQUIVALENCE

string for a ElementaryEquivalence

RULE_CONJUNCTION_RULE

public static final String RULE_CONJUNCTION_RULE

string for a ElementaryEquivalence

RULE_LEFT_ADDITION

public static final String RULE_LEFT_ADDITION

string for a LeftAddition

RULE_REVERSE_IMPLICATION

public static final String RULE_REVERSE_IMPLICATION

string for a ReverseImplication

RULE_LEFT_ADDITION_CONJUNCTION

public static final String RULE_LEFT_ADDITION_CONJUNCTION

string for a LeftAdditionConjunction

RULE_RIGHT_ADDITION_CONJUNCTION

public static final String RULE_RIGHT_ADDITION_CONJUNCTION

string for a RightAdditionConjunction

RULE_LEFT_ADDITION_IMPLICATION

public static final String RULE_LEFT_ADDITION_IMPLICATION

string for a RightAdditionImplication

RULE_RIGHT_ADDITION_IMPLICATION

public static final String RULE_RIGHT_ADDITION_IMPLICATION

string for a RightAdditionImplication

RULE_LEFT_ADDITION_EQUIVALENCE

public static final String RULE_LEFT_ADDITION_EQUIVALENCE

string for a RightAdditionImplication

RULE_RIGHT_ADDITION_EQUIVALENCE

public static final String RULE_RIGHT_ADDITION_EQUIVALENCE

string for a RightAdditionImplication

Constructor Detail

RuleCreator

public RuleCreator()

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