choco.kernel.memory.trailing.trail
Interface ITrailStorage

All Known Implementing Classes:
StoredBinaryTreeTrail, StoredBoolTrail, StoredDoubleTrail, StoredDoubleVectorTrail, StoredIntTrail, StoredIntVectorTrail, StoredLongTrail, StoredLongVectorTrail, StoredVectorTrail

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

LOGGER

static final Logger LOGGER
Reference to an object for logging trace statements related memory & backtrack (using the java.util.logging package)

Method Detail

worldPush

void worldPush(int wi)
Moving up to the next world.

Cette methode doit garder l'etat de la variable avant la modification de sorte a la remettre en etat le cas echeant.

Parameters:
wi -

worldPop

void worldPop(int wi)
Moving down to the previous world.

Cette methode reattribute a la variable ou l'element d'un tableau sa valeur precedente.

Parameters:
wi -

worldCommit

void worldCommit(int wi)
Comitting the current world: merging it with the previous one.

Not used yet.

Parameters:
wi -

getSize

int getSize()
Retrieving the size of the trail (number of saved past values).


resizeWorldCapacity

void resizeWorldCapacity(int newWorldCapacity)
increase the capacity of the environment to a given number of worlds

Parameters:
newWorldCapacity -

clear

void clear()


Copyright © 2012. All Rights Reserved.