|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ITrailStorage
An interface for classes implementing trails of modifications to objects.
Toutes les classes doivent implementer les fonctions de l'interface pour permettre a l'environnement de deleguer la gestion des mondes pour chaque type de donnee.
Field Summary | |
---|---|
static Logger |
LOGGER
Reference to an object for logging trace statements related memory & backtrack (using the java.util.logging package) |
Method Summary | |
---|---|
void |
clear()
|
int |
getSize()
Retrieving the size of the trail (number of saved past values). |
void |
resizeWorldCapacity(int newWorldCapacity)
increase the capacity of the environment to a given number of worlds |
void |
worldCommit(int wi)
Comitting the current world: merging it with the previous one. |
void |
worldPop(int wi)
Moving down to the previous world. |
void |
worldPush(int wi)
Moving up to the next world. |
Field Detail |
---|
static final Logger LOGGER
Method Detail |
---|
void worldPush(int wi)
wi
- void worldPop(int wi)
wi
- void worldCommit(int wi)
wi
- int getSize()
void resizeWorldCapacity(int newWorldCapacity)
newWorldCapacity
- void clear()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |