|
Hilbert II - Version 0.03.03 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.qedeq.kernel.dto.list.AtomImpl
An object of this class represents a text string.
| Constructor Summary | |
AtomImpl(String text)
Constructs an Atom. |
|
| Method Summary | |
Element |
copy()
Returns an identical object (maybe "this"). |
boolean |
equals(Object object)
Is this object equal to the given one? |
Atom |
getAtom()
Return this element as an Atom. |
ElementList |
getList()
Return this element as a Atom. |
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 equals(java.lang.Object) argument
with a copy() of replacement. |
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 AtomImpl(String text)
Atom.
text - Atom string.
IllegalArgumentException - text is a NullPointer.| Method Detail |
public final 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 ElementAtom.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 String toString()
ElementString form.
toString in interface Elementpublic final boolean equals(Object object)
Element
equals in interface Elementpublic final int hashCode()
Element
hashCode in interface Element
|
Hilbert II - Version 0.03.03 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |