com.meyling.principia.logic.paragraph
Class Paragraph
java.lang.Object
|
+--com.meyling.principia.argument.AbstractArgument
|
+--com.meyling.principia.argument.AbstractDynamicArgumentList
|
+--com.meyling.principia.logic.paragraph.Paragraph
- All Implemented Interfaces:
- Argument
- public class Paragraph
- extends AbstractDynamicArgumentList
- implements Argument
A paragraph is an axiom, an abbreviation or a proposition of a
mathematical theory.
- Version:
- $Revision: 1.3 $
- 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 |
Paragraph
public Paragraph(Argument[] arguments)
throws ArgumentException
- Constructs a paragraph.
- Parameters:
arguments
- list of arguments- Throws:
ArgumentException
- if argument list is not
like LinkLabel
Text
?
(Abbreviation
| Axiom
| Proposition
)
Text
?
the question mark is for an optional argument
the pipe symbol is an exclusive "or"
getLabel
public final String getLabel()
- Get the label of this paragraph.
- Returns:
- the label of this paragraph
getPreceedingText
public final String getPreceedingText()
- Get the preceeding text of this paragraph.
- Returns:
- the preceedingText of this paragraph
getFollowingText
public final String getFollowingText()
- Get the following text of this paragraph.
- Returns:
- the followingText of this paragraph
getParagraphCheck
public final ParagraphCheck getParagraphCheck()
- Get the meat of this paragraph.
- Returns:
- the
Axiom
, Abbreviation
,
Proposition
, etc.
check
public final void check(Module module)
throws ArgumentException
- Check if this paragraph could be added.
- Parameters:
module
- module- Throws:
ArgumentException
- if addition is impossible
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
- Overrides:
create
in class AbstractDynamicArgumentList
- Following copied from interface:
com.meyling.principia.argument.Argument
- Parameters:
arguments
- with these arguments the operator should
be created- Returns:
- new constructed Argument
- Throws:
ArgumentException
- if creation failed
toString
public final String toString()
- Description copied from interface:
Argument
- Get the argument in
String
form.
- Specified by:
toString
in interface Argument
- Overrides:
toString
in class AbstractDynamicArgumentList
- Following copied from interface:
com.meyling.principia.argument.Argument
- Returns:
- readable formula