#ifndef _REGISTERFILE_H_
#define _REGISTERFILE_H_

/* banc de registres générique */
typedef struct _RegisterFile * RegisterFile;

/* crée un banc de registres pouvant contenir jusqu'à <size> éléments */
RegisterFile rf_create(int size);

/* détruit le banc de registres rf */
void rf_destroy(RegisterFile rf);

/* retourne le nombre d'éléments du banc de registres */
int rf_get_size(RegisterFile rf);

/* affiche les positions de rf qui continnent une donnée */
void rf_print(RegisterFile rf);

/* stocke data dans le banc de registres rf en position adr */
void rf_store(RegisterFile rf, int adr, void *data);

/* retourne l'élément de rf situé à la position adr */
void* rf_load(RegisterFile rf, int adr);

/* supprime l'élément de rf situé à la position adr (sans le détruire) */
void rf_delete(RegisterFile rf, int adr);

#endif /* _REGISTERFILE_H_ */