|
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.AbstractArgumentAtom
com.meyling.principia.argument.Text
An object of this class represents a text string.
| Constructor Summary | |
Text(String text)
Constructs a Text. |
|
| Method Summary | |
Argument |
copy()
Returns an identical object (maybe "this"). |
boolean |
equals(Object object)
Is this object equal to the given one? |
String |
getText()
Get the text. |
String |
toString()
Get the argument in String form. |
| Methods inherited from class com.meyling.principia.argument.AbstractArgumentAtom |
create, getArgument, getArgumentSize |
| Methods inherited from class com.meyling.principia.argument.AbstractArgument |
containsPatternVariables, 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, create, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
| Constructor Detail |
public Text(String text)
Text.
text - text string
IllegalArgumentException - if text was a nullpointer| Method Detail |
public final String getText()
public final boolean equals(Object object)
Argumentobject is an instance of Argument and
both arguments have the same
Argument.getArgumentSize() and each Argument.getArgument(int) Argument.equals(java.lang.Object).
equals in interface Argumentequals in class AbstractArgumentAtompublic final Argument copy()
Argument
copy in interface Argumentcopy in class AbstractArgumentAtompublic final String toString()
ArgumentString form.
toString in interface ArgumenttoString in class AbstractArgumentAtom
|
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. |