|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--pl.edu.pjwstk.yaod.atoms.Atom | +--pl.edu.pjwstk.yaod.atoms.ReferenceAtom
Klasa reprezentujaca atom referencji. Zadaniem referencji jest wskazywanie na inny atom. Refrencje lacza sie z atomami zwrotnymi. Usuniecie wskazywanego atomu laczy sie z automatycznym usunieciem referencji.
Fields inherited from class pl.edu.pjwstk.yaod.atoms.Atom |
ALL_TYPES |
Constructor Summary | |
ReferenceAtom(java.lang.String name,
AtomID value)
Tworzy nowy obiekt referencji. |
Method Summary | |
AtomID |
getValue()
Zwraca wartosc referencji. |
void |
setValue(AtomID ptr)
Ustala wartosc referencji. |
Methods inherited from class pl.edu.pjwstk.yaod.atoms.Atom |
getAID, getName, getNext, getOwner, getPrevious, getType, isModified, setAID, setModified, setName, setNext, setOwner, setPrevious |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public ReferenceAtom(java.lang.String name, AtomID value)
name
- XxxxxxException
- if ...Method Detail |
public AtomID getValue()
public void setValue(AtomID ptr)
ptr
- identyfikator atomu wskazywanego przez referencje.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |