|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.qedeq.kernel.se.dto.list.DefaultAtom
public final class DefaultAtom
An object of this class represents a text string.
Constructor Summary | |
---|---|
DefaultAtom(java.lang.String text)
Constructs an Atom . |
Method Summary | |
---|---|
Element |
copy()
Returns an identical object. |
boolean |
equals(java.lang.Object object)
Is this object equal to the given one? |
Atom |
getAtom()
Return this element as an Atom . |
ElementList |
getList()
Return this element as an ElementList. |
java.lang.String |
getString()
Get the text. |
int |
hashCode()
Calculates the hash code. |
boolean |
isAtom()
Is this an atom? |
boolean |
isList()
Is this an ElementList ? |
Element |
replace(Element search,
Element replacement)
Creates and returns a copy of this object, but replaces anything that Element.equals(java.lang.Object) argument
with a Element.copy() of replacement . |
java.lang.String |
toString()
Get show this in String form. |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public DefaultAtom(java.lang.String text)
Atom
.
text
- Atom string.
java.lang.IllegalArgumentException
- text
is a NullPointer.Method Detail |
---|
public final java.lang.String getString()
Atom
getString
in interface Atom
public final boolean isAtom()
Element
isAtom
in interface Element
true
if this is an instance of Atom
.public final Atom getAtom()
Element
Atom
.
getAtom
in interface Element
Atom
.public final boolean isList()
Element
ElementList
?
isList
in interface Element
true
if this is an instance of ElementList
.public final ElementList getList()
Element
getList
in interface Element
ElementList
.public final Element copy()
Element
copy
in interface Element
public final Element replace(Element search, Element replacement)
Element
Element.equals(java.lang.Object)
argument
with a Element.copy()
of replacement
.
replace
in interface Element
search
- Check for occurrence of this.replacement
- Replace with this.
public final java.lang.String toString()
Element
String
form.
toString
in interface Element
toString
in class java.lang.Object
public final boolean equals(java.lang.Object object)
Element
equals
in interface Element
equals
in class java.lang.Object
object
- to compare with
object
equal to this one?public final int hashCode()
Element
hashCode
in interface Element
hashCode
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |