|
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 nullpointerMethod Detail |
public final String getText()
public final boolean equals(Object object)
Argument
object
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 Argument
equals
in class AbstractArgumentAtom
public final Argument copy()
Argument
copy
in interface Argument
copy
in class AbstractArgumentAtom
public final String toString()
Argument
String
form.
toString
in interface Argument
toString
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. |