public class OperationTrail extends Object implements IOperationTrail
Constructor and Description |
---|
OperationTrail(int nUpdates,
int nWorlds)
Constructs a trail with predefined size.
|
Modifier and Type | Method and Description |
---|---|
int |
getSize()
Returns the current size of the stack.
|
void |
resizeWorldCapacity(int newWorldCapacity)
increase the capacity of the environment to a given number of worlds
|
void |
savePreviousState(Operation oldValue)
Reacts when a StoredInt is modified: push the former value & timestamp
on the stacks.
|
void |
worldCommit(int worldIndex)
Comits a world: merging it with the previous one.
|
void |
worldPop(int worldIndex)
Moving down to the previous world.
|
void |
worldPush(int worldIndex)
Moving up to the next world.
|
public OperationTrail(int nUpdates, int nWorlds)
nUpdates
- maximal number of updates that will be storednWorlds
- maximal number of worlds that will be storedpublic void worldPush(int worldIndex)
public void worldPop(int worldIndex)
public int getSize()
public void worldCommit(int worldIndex)
worldCommit
in interface IStorage
public void savePreviousState(Operation oldValue)
savePreviousState
in interface IOperationTrail
public void resizeWorldCapacity(int newWorldCapacity)
ITrailStorage
resizeWorldCapacity
in interface ITrailStorage
newWorldCapacity
- estimation of the required capacityCopyright © 2015. All rights reserved.