|
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.argument.AbstractArgument
com.meyling.principia.argument.AbstractDynamicArgumentList
com.meyling.principia.logic.paragraph.Paragraph
A paragraph contains an axiom, an abbreviation or a proposition of a mathematical theory.
Constructor Summary | |
Paragraph(Argument[] arguments)
Constructs a paragraph. |
Method Summary | |
void |
check(Module module)
Check if this paragraph could be added. |
Argument |
create(Argument[] arguments)
Create a new Argument with given arguments. |
String |
getFollowingText()
Get the following text of this paragraph. |
String |
getLabel()
Get the label of this paragraph. |
ParagraphCheck |
getParagraphCheck()
Get the meat of this paragraph. |
String |
getPreceedingText()
Get the preceeding text of this paragraph. |
String |
toString()
Get the argument in String form. |
Methods inherited from class com.meyling.principia.argument.AbstractDynamicArgumentList |
add, copy, getArgument, getArgumentSize, insert, remove, replace |
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 class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface com.meyling.principia.argument.Argument |
containsPatternVariables, copy, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
Constructor Detail |
public Paragraph(Argument[] arguments) throws ArgumentException
arguments
- list of arguments
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"
Method Detail |
public final String getLabel()
public final String getPreceedingText()
public final String getFollowingText()
public final ParagraphCheck getParagraphCheck()
Axiom
, Abbreviation
,
Proposition
, etc.public final void check(Module module) throws ArgumentException
module
- module
ArgumentException
- if addition is impossiblepublic final Argument create(Argument[] arguments) throws ArgumentException
Argument
create
in interface Argument
create
in class AbstractDynamicArgumentList
ArgumentException
public final String toString()
Argument
String
form.
toString
in interface Argument
toString
in class AbstractDynamicArgumentList
|
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. |