Class Timestamp
java.lang.Object
|
+--Timestamp
- public class Timestamp
- extends java.lang.Object
- implements java.io.Serializable
Costituisce un contatore del numero di update che la risorsa replicata
ha subito in corrispondenza della copia identificata dall'indirizzo
specificato.
- Author:
- Mauro Barbieri
- See Also:
- Serialized Form
Field Summary |
int |
c
Contatore del numero di update che la risorsa replicata
ha subito in corrispondenza della copia identificata dall'indirizzo
specificato. |
java.net.InetAddress |
ip
Indirizzo del Replica Manager. |
Constructor Summary |
Timestamp()
Crea un'istanza di Timestamp con indirizzo uguale all'host locale e
contatore inizializzato a zero. |
Timestamp(java.net.InetAddress host)
Crea un'istanza di Timestamp con l'indirizzo specificato e
contatore inizializzato a zero. |
Timestamp(java.net.InetAddress host,
int n)
Crea un'istanza di Timestamp con l'indirizzo specificato e
contatore inizializzato al valore specificato. |
Method Summary |
boolean |
equals(java.lang.Object o)
Ridefinisce l'omonimo metodo della classe java.lang.Object
per confrontare due Timestamp. |
Methods inherited from class java.lang.Object |
,
clone,
finalize,
getClass,
hashCode,
notify,
notifyAll,
registerNatives,
toString,
wait,
wait,
wait |
ip
public java.net.InetAddress ip
- Indirizzo del Replica Manager. Costituisce un identificativo univoco
nell'insieme di Replica Manager.
c
public int c
- Contatore del numero di update che la risorsa replicata
ha subito in corrispondenza della copia identificata dall'indirizzo
specificato.
Timestamp
public Timestamp()
throws java.net.UnknownHostException
- Crea un'istanza di Timestamp con indirizzo uguale all'host locale e
contatore inizializzato a zero.
- Throws:
- java.net.UnknownHostException - se non e' riuscito a risalire
all'indirizzo dell'host locale.
Timestamp
public Timestamp(java.net.InetAddress host)
- Crea un'istanza di Timestamp con l'indirizzo specificato e
contatore inizializzato a zero.
- Parameters:
host
- indirizzo dell'host a cui si riferisce il
timestamp.
Timestamp
public Timestamp(java.net.InetAddress host,
int n)
- Crea un'istanza di Timestamp con l'indirizzo specificato e
contatore inizializzato al valore specificato.
- Parameters:
host
- indirizzo dell'host a cui si riferisce il
timestamp.n
- valore iniziale del contatore.
equals
public boolean equals(java.lang.Object o)
- Ridefinisce l'omonimo metodo della classe java.lang.Object
per confrontare due Timestamp.
- Overrides:
- equals in class java.lang.Object