DFSS
Class gestoreVectorClock

java.lang.Object
  DFSS.gestoreVectorClock

public class gestoreVectorClock

extends java.lang.Object

Author:

Dario Agostinone Gestore del vectorclock

Constructor Summary

gestoreVectorClock(java.lang.String NodeName)
Costruttore

Method Summary

void	addEntry(java.lang.String NodeName) Aggiunge una entry al vector clock
void	aggiorna(java.util.Hashtable vectorClock) Aggiorna il vector clock locale a partire da un vector clock passato in ingresso
void	event() Aggiornamento del vector clock a fronte di un evento interno
java.util.Hashtable	getVectorClock() restituisce il vector clock
static boolean	isLess(java.util.Hashtable vect1, java.util.Hashtable vect2) Determina il minore tra due vector clock
void	removeEntry(java.lang.String NodeName) rimuove una entry
java.lang.String	toString() converte il valore del vector clock in una stringa

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

gestoreVectorClock

public gestoreVectorClock(java.lang.String NodeName)

Costruttore

Method Detail

addEntry

public void addEntry(java.lang.String NodeName)

Aggiunge una entry al vector clock

removeEntry

public void removeEntry(java.lang.String NodeName)

rimuove una entry

aggiorna

public void aggiorna(java.util.Hashtable vectorClock)

Aggiorna il vector clock locale a partire da un vector clock passato in ingresso

toString

public java.lang.String toString()

converte il valore del vector clock in una stringa

isLess

public static boolean isLess(java.util.Hashtable vect1,
                             java.util.Hashtable vect2)

Determina il minore tra due vector clock

getVectorClock

public java.util.Hashtable getVectorClock()

restituisce il vector clock

event

public void event()

Aggiornamento del vector clock a fronte di un evento interno