|
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.AbstractArgumentList
com.meyling.principia.logic.paragraph.LinkLabel
A reference label.
| Constructor Summary | |
LinkLabel(Argument[] arguments)
Constructs a reference label. |
|
| Method Summary | |
Argument |
create(Argument[] arguments)
Create a new Argument with given arguments. |
String |
getLabel()
Get label of object. |
String |
getText()
Get label of object. |
String |
toString()
Get the argument in String form. |
| Methods inherited from class com.meyling.principia.argument.AbstractArgumentList |
copy, getArgument, getArgumentSize |
| 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 LinkLabel(Argument[] arguments)
throws ArgumentException
arguments - Text to be a label
ArgumentException - if there is not exactly one
argument or the first argument is not an instance
of Text or it isn't build of lowercase letters
and digits and its first character is a lowercase letter.| Method Detail |
public final String getLabel()
Labeled
getLabel in interface Labeledpublic final String getText()
Textable
getText in interface Textable
public final Argument create(Argument[] arguments)
throws ArgumentException
Argument
create in interface Argumentcreate in class AbstractArgumentListArgumentExceptionpublic final String toString()
ArgumentString form.
toString in interface ArgumenttoString in class AbstractArgumentList
|
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. |