|
|||||||||
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.IntegerAtom
Klasa reprezentujaca atom zawierajacy wartosc typu integer.
Fields inherited from class pl.edu.pjwstk.yaod.atoms.Atom |
ALL_TYPES |
Constructor Summary | |
IntegerAtom(java.lang.String name,
int val)
Tworzy nowy atom. |
Method Summary | |
int |
getValue()
Zwraca wartosc atomu. |
void |
setValue(int newVal)
Istala nowa wartosc atomu. |
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 IntegerAtom(java.lang.String name, int val)
name
- nazwa atomu.val
- wartosc atomu.Method Detail |
public int getValue()
public void setValue(int newVal)
newVal
- nowa wartosc atomu.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |