com.meyling.principia.logic.paragraph
Class RuleDeclaration
java.lang.Object
com.meyling.principia.argument.AbstractArgument
com.meyling.principia.argument.AbstractDynamicArgumentList
com.meyling.principia.logic.paragraph.RuleDeclaration
- All Implemented Interfaces:
- Argument, ParagraphCheck
- public class RuleDeclaration
- extends AbstractDynamicArgumentList
- implements Argument, ParagraphCheck
Declares a logical rule.
- Version:
- $Revision: 1.7 $
- Author:
- Michael Meyling
Methods inherited from class com.meyling.principia.argument.AbstractArgument |
containsPatternVariables, equals, getHighestNumber, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
Methods inherited from interface com.meyling.principia.argument.Argument |
containsPatternVariables, copy, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
RuleDeclaration
public RuleDeclaration(Argument[] arguments)
throws ArgumentException
- Constructs a mathematical RuleDeclaration.
- Parameters:
arguments
- name of rule, its description and arguments
- Throws:
ArgumentException
- if there are not at leas two
arguments or the first argument is not an instance
of Text
or the second argument
is no instance of Text
.
check
public final void check(Module module,
String label)
throws ArgumentException
- Check if declaration is correct.
- Specified by:
check
in interface ParagraphCheck
- Parameters:
module
- modulelabel
- label of paragraph
- Throws:
ArgumentException
- if proof is not correct
create
public final Argument create(Argument[] arguments)
throws ArgumentException
- Description copied from interface:
Argument
- Create a new Argument with given arguments.
- Specified by:
create
in interface Argument
- Specified by:
create
in class AbstractDynamicArgumentList
- Throws:
ArgumentException
toString
public final String toString()
- Description copied from interface:
Argument
- Get the argument in
String
form.
- Specified by:
toString
in interface Argument
- Specified by:
toString
in class AbstractDynamicArgumentList