com.meyling.principia.argument
Class Text
java.lang.Object
|
+--com.meyling.principia.argument.AbstractArgument
|
+--com.meyling.principia.argument.AbstractArgumentAtom
|
+--com.meyling.principia.argument.Text
- All Implemented Interfaces:
- Argument
- public class Text
- extends AbstractArgumentAtom
- implements Argument
An object of this class represents a text string.
- Version:
- $Revision: 1.3 $
- Author:
- Michael Meyling
Constructor Summary |
Text(String text)
Constructs a Text . |
Methods inherited from class com.meyling.principia.argument.AbstractArgument |
containsPatternVariables, getHighestNumber, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
Methods inherited from interface com.meyling.principia.argument.Argument |
containsPatternVariables, create, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
Text
public Text(String text)
- Constructs a
Text
.
- Parameters:
text
- text string- Throws:
IllegalArgumentException
- if text
was a nullpointer
getText
public final String getText()
- Get the text.
- Returns:
- text
equals
public final boolean equals(Object object)
- Description copied from interface:
Argument
- Is this object equal to the given one? This is true iff
object
is an instance of Argument
and
both arguments have the same
Argument.getArgumentSize()
and each Argument.getArgument(int)
Argument.equals(java.lang.Object)
.
- Specified by:
equals
in interface Argument
- Overrides:
equals
in class AbstractArgumentAtom
- Following copied from interface:
com.meyling.principia.argument.Argument
- Parameters:
object
- to compare with- Returns:
- is
object
equal to this one?
copy
public final Argument copy()
- Description copied from interface:
Argument
- Returns an identical object (maybe "this").
- Specified by:
copy
in interface Argument
- Overrides:
copy
in class AbstractArgumentAtom
- Following copied from interface:
com.meyling.principia.argument.Argument
- Returns:
- copy of this object
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 AbstractArgumentAtom
- Following copied from interface:
com.meyling.principia.argument.Argument
- Returns:
- readable formula