|
||||||||||
| 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 Atompublic final boolean isAtom()
Element
isAtom in interface Elementtrue if this is an instance of Atom.public final Atom getAtom()
ElementAtom.
getAtom in interface ElementAtom.public final boolean isList()
ElementElementList?
isList in interface Elementtrue if this is an instance of ElementList.public final ElementList getList()
Element
getList in interface ElementElementList.public final Element copy()
Element
copy in interface Element
public final Element replace(Element search,
Element replacement)
ElementElement.equals(java.lang.Object) argument
with a Element.copy() of replacement.
replace in interface Elementsearch - Check for occurrence of this.replacement - Replace with this.
public final java.lang.String toString()
ElementString form.
toString in interface ElementtoString in class java.lang.Objectpublic final boolean equals(java.lang.Object object)
Element
equals in interface Elementequals in class java.lang.Objectobject - to compare with
object equal to this one?public final int hashCode()
Element
hashCode in interface ElementhashCode in class java.lang.Object
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||