|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
A space whose changes can be controlled.
Field Summary |
Fields inherited from interface gzz.Space |
rcsid |
Method Summary | |
void |
applyDelta(Delta m)
Apply a delta to this space. |
Delta |
checkpointDelta()
Get the set of changes. |
Delta |
getDeltaFromZero()
Get the set of changes needed to take a space from zero to the current state of this space. |
Methods inherited from interface gzz.Space |
delete, exists, getCell, getCellTexter, getCloneDim, getDim, getDim, getDims, getHomeCell, getIdentity, getIdentity, getJavaObjector, getMediaserver, getMSBlockCell, getObsTrigger, N, N, N, N, zzclone |
Method Detail |
public Delta checkpointDelta()
public Delta getDeltaFromZero()
public void applyDelta(Delta m)
Note: calling applyDelta may throw InconsistentChangeException, in which case the state of the space is undefined.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |