Class Inval

java.lang.Object
  |
  +--Inval

public class Inval

extends java.lang.Object

implements java.io.Serializable

Implementa l'insieme inval che fa parte dello stato di ogni RM. Contiene i call identifier, cid, delle operazioni di update stabilmente effettuate dal RM.

Author:

Matteo Albini, Mauro Barbieri, Francesco Baschieri

See Also:

Serialized Form

Field Summary

private java.util.Set

inval Implementa l'insieme inval con un oggetto compatibile con l'interfaccia java.util.Set.

Constructor Summary

Inval()
Crea un'istanza di Inval vuoto.

Method Summary

boolean	addCid(Cid c) Aggiunge un cid all'insieme inval.
boolean	contains(Cid cid) Ritorna true se l'insieme contiene il cid passato come argomento.
void	invalGC(Log l) Elimina dall'insieme inval i cid dei quali e' noto che non serviranno piu'.
static void	main(java.lang.String[] args) Rende la classe un'applicazione stand-alone per il testing.
java.lang.String	toString() Ridefinisce l'omonimo metodo della classe java.lang.Object per rappresentare come stringa un'istanza di Inval.

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Field Detail

inval

private java.util.Set inval

Implementa l'insieme inval con un oggetto compatibile con l'interfaccia java.util.Set. In questo modo è possibile usare i metodi dell'interfaccia java.util.Set indipendentemente dall'implementazione effettivamente scelta in fase di istanziazione dell'oggetto.

Constructor Detail

Inval

public Inval()

Crea un'istanza di Inval vuoto. L'implementazione scelta attualmente e' un'istanza della classe java.util.HashSet sincronizzata nell'accesso per rendere l'insieme thread-safe.

Method Detail

addCid

public boolean addCid(Cid c)

Aggiunge un cid all'insieme inval. Se l'insieme contiene un cid uguale ritorna false, altrimenti true.

Parameters:

cid - cid da aggiungere all'insieme log.

Returns:

false se l'insieme conteniene gia' un cid uguale.

contains

public boolean contains(Cid cid)

Ritorna true se l'insieme contiene il cid passato come argomento.

Parameters:

cid - cid di cui controllare la presenza.

Returns:

true se l'insieme contiene il cid passato come argomento.

invalGC

public void invalGC(Log l)

Elimina dall'insieme inval i cid dei quali e' noto che non serviranno piu'.

Parameters:

l - insieme dei log-record del RM.

toString

public java.lang.String toString()

Ridefinisce l'omonimo metodo della classe java.lang.Object per rappresentare come stringa un'istanza di Inval. Usato principalmente per il debugging. La rappresentazione scelta e' del tipo :

 	inval : <num_el> elementi :

	cid_1 

 	cid_2 

	...   

	cid_n 
 

Returns:

la stringa che rappresenta l'istanza di Inval.

Overrides:

toString in class java.lang.Object

main

public static void main(java.lang.String[] args)

Rende la classe un'applicazione stand-alone per il testing.