A B C D E F G H I L M N O P R S T U V

A

ACK - Static variable in class Comando
Costante che identifica il comando che indica che non si tentera' piu' di postare un messaggio.
ackAction() - Method in class FrontEndThread
Invio al ReplicaManager un segnale di "acknoledge" ACK.
AckRecord - class AckRecord.
Rappresenta un record dell'insieme log che si riferisce ad un messaggio di acknoledge.
AckRecord(Cid, int, MultipartTimestamp) - Constructor for class AckRecord
Crea un'istanza di AckRecord con tutti i valori specificati.
add(InetAddress, int) - Method in class DMultipartTimestamp
Aggiunge al multipart timestamp un nuovo contatore per un nuovo indirizzo se questo non e' ancora noto.
add(InetAddress, int) - Method in class rmTable
Aggiunge un nuovo contatore per un nuovo indirizzo se questo non e' ancora noto.
addButtons() - Method in class GuiClient
Aggiunge i pulsanti alla toolbar.
addCid(Cid) - Method in class Inval
Aggiunge un cid all'insieme inval.
addRecord(LogRecord) - Method in class Log
Aggiunge un log-record all'insieme log.
address_table - Variable in class StatoRM
Array che contiene gli indirizzi dei RM noti a questo Replica Manager.
addUpdateRecord(UpdateRecord) - Method in class Log
Aggiunge un UpdateRecord all'insieme se non e' gia' presente un LogRecord con lo stesso cid.
advanceAndCloneLocalTimestamp() - Method in class StatoRM
Incrementa di uno il local timestamp del RM, cioe' il timestamp di indice rnode di rep_ts, e restituisce una nuova istanza di MultipartTimestamp copia esatta di rep_ts.
advanceLocalTimestamp() - Method in class StatoRM
Incrementa di uno il local timestamp del RM, cioe' il timestamp di indice rnode di rep_ts.
advanceTimestamp(int) - Method in class MultipartTimestamp
Incrementa di uno l'elemento in posizione i-esima del multipart timestamp e restituisce una nuova istanza di MultipartTimestamp i cui elementi sono uguali a quelli dell'istanza di cui e' invocato il metodo.

B

body - Variable in class Messaggio
Corpo del messaggio.
body - Variable in class MsgBody
Contenuto del messaggio.
BODY_MAX_LENGTH - Static variable in class MsgBody
Lunghezza massima del corpo.
botPanel - Variable in class PostDialog
Pannello per i bottoni.
BoundedNewsSet - class BoundedNewsSet.
Implementa l'insieme di news postate su un RM mediante un oggetto compatibile con l'interfaccia java.util.Set.
BoundedNewsSet(int) - Constructor for class BoundedNewsSet
Crea un'istanza di BoundedNewsSet con limite massimo di news fissato.
buttonGet - Variable in class GuiClient
Pulsante della toolbar per richiedere al FE il corpo del messaggio selezionato.
buttonList - Variable in class GuiClient
Pulsante della toolbar per richiedere al FE la lista delle intestazioni.
buttonNew - Variable in class GuiClient
Pulsante della toolbar per comporre un nuovo messaggio.
buttonReply - Variable in class GuiClient
Pulsante della toolbar per comporre il messaggio di risposta al messaggio selezionato.
buttonShow - Variable in class GuiClient
Pulsante della toolbar per visualizzare un messaggio gia' scaricato dal FE.

C

c - Variable in class Timestamp
Contatore del numero di update che la risorsa replicata ha subito in corrispondenza della copia identificata dall'indirizzo specificato.
CallMsgManager - class CallMsgManager.
Thread che si occupa della gestione delle connessioni con i FE rispondendo ai cosiddetti call messages.
CallMsgManager(Socket, StatoRM) - Constructor for class CallMsgManager
Crea un'istanza di CallMsgManager data la socket di connessione con il FE e un riferimento allo stato del RM.
CallMsgManager(Socket, StatoRM, String) - Constructor for class CallMsgManager
Crea un'istanza di CallMsgManager data la socket di connessione con il FE, un riferimento allo stato del RM e una stringa che rappresenta il nome del thread.
CallMsgServer - class CallMsgServer.
Realizza un thread che si pone in ascolto sulla socket alla quale si connettono i FE.
CallMsgServer(StatoRM) - Constructor for class CallMsgServer
Crea un'istanza di CallMsgServer che si porra' in ascolto alla porta specificata.
cambiaReplicaManager(Set) - Method in class FrontEndThread
Viene scelto in base ad una delle diverse politiche possibili un nuovo ReplicaManager che continui a fornire il servizio iniziato dal precedente servitore.
cancelJB - Variable in class PostDialog
Bottone per tornare alla finestra principale dell'applicazione.
chiudiConnessione() - Method in class FrontEnd
Chiude la connessione verso il Replica Manager usato per i comandi iniziali NUM e LOOKUP.
chiudiConnessioneCliente() - Method in class FrontEndThread
Invocato in seguito a problemi di connessione lato client, o terminazione volontaria dell'applicazione del client stesso.
chiudiConnessioneReplicaManager() - Method in class FrontEndThread
Vengono chiusi i precedenti stream e invocato il metodo FrontEndThread.cambiaReplicaManager(java.util.Set), nel tentativo di fornire una certa fault-tolerance.
chiudiTutto() - Method in class FrontEndThread
Fa "pulizia", chiudendo tutti gli stream, client-socket compresa.
cid - Variable in class AckRecord
Call identifier dell'update a cui si riferisce univocamente in tutto il sistema l'ack.
cid - Variable in class FrontEndThread
Cid generato dall'ultimo comando PUT eseguito.
cid - Variable in class UpdateRecord
Call identifier dell'update che identifica univocamente l'update in tutto il sistema.
Cid - class Cid.
Identifica univocamente in tutto il sistema un'operazione di posting di un messaggio.
Cid() - Constructor for class Cid
Crea un'istanza di Cid i cui campi sono sempre diversi per identificare le operazioni di posting.
Cid(InetAddress) - Constructor for class Cid
Crea un'istanza di Cid i cui campi sono sempre diversi per identificare le operazioni di posting.
client - Variable in class GuiClient
Riferimento all'applicazione di cui e' l'interfaccia utente.
Client - class Client.
Realizza l'interfacciamento con l'utente implementando il protocollo Client-FrontEnd lato client.
Client() - Constructor for class Client
 
clienteSocket - Variable in class FrontEndThread
 
clone() - Method in class MultipartTimestamp
Restituisce una nuova istanza di MultipartTimestamp i cui elementi sono uguali a quelli dell'istanza di cui e' invocato il metodo.
clone2() - Method in class MultipartTimestamp
Restituisce una nuova istanza di MultipartTimestamp i cui elementi sono uguali a quelli dell'istanza di cui e' invocato il metodo.
CLOSE - Static variable in class Client
Rappresenta l'intero corrispondente al comando relativo ad una chiusura volontaria dell'applicazione da parte dell'utente.
closeAction() - Method in class Client
Invocato in caso di chiusura volontaria da parte dell'utente dell'applicazione.
COD_MAX - Static variable in class Comando
Costante che indica il numero massimo usato per identificare i comandi.
columnNames - Variable in class HeaderTableModel
Nomi delle colonne della tabella di cui è il modello.
comando - Variable in class FrontEndThread
Ultimo comando richiesto dall'utente.
Comando - class Comando.
Rappresenta i comandi scambiati nelle interazioni FrontEnd ReplicaManager per richiedere le operazioni di servizio.
Comando(int, MultipartTimestamp) - Constructor for class Comando
Crea un'istanza di Comando dati il tipo e il multipart timestamp del FE.
compare(MultipartTimestamp) - Method in class Log
Ritorna Un insieme ORDINATO che contiene tutte le occorrenze di UpdateRecord contenute nel log che hanno il campo prev minore o uguale al MultipartTimestamp passato come argomento
compareTo(Object) - Method in class UpdateRecord
Ridefinisce l'omonimo metodo dell'interfaccia java.lang.Comparable fornendo una relazione d'ordine tra UpdateRecord.
contains(Cid) - Method in class Inval
Ritorna true se l'insieme contiene il cid passato come argomento.
containsAckWithCid(Cid) - Method in class Log
Ritorna true se esiste nell'insieme log un record di tipo ack e il cui cid e' uguale a quello passato come argomento.
containsAddress(InetAddress) - Method in class DMultipartTimestamp
Ritorna true se il multipart timestamp contiene gia' l'indirizzo specificato.
containsAddress(InetAddress) - Method in class rmTable
Ritorna true se l'indirizzo specificato e' gia' presente, false altrimenti.
containsUpdateWithCid(Cid) - Method in class Log
Ritorna true se esiste nell'insieme log un record di tipo update e il cui cid e' uguale a quello passato come argomento.
contentPane - Variable in class GuiClient
Pannello principale che va attaccato al frame.

D

DEBUG - Static variable in class CallMsgManager
Flag per abilitare stampe di debugging su standard output e standard error.
DEBUG - Static variable in class CallMsgServer
Flag per abilitare stampe di debugging su standard output e standard error.
DEBUG - Static variable in class FrontEnd
Flag per abilitare stampe di debugging su standard output e standard error.
DEBUG - Static variable in class FrontEndThread
Flag per abilitare stampe di debugging su standard output e standard error.
decElementAt(InetAddress) - Method in class rmTable
Decremeta di uno il contatore del RM di indirizzo specificato.
DMultipartTimestamp - class DMultipartTimestamp.
Implementa un multipart timestamp mediante una hashtable di contatori interi acceduta tramite java.net.InetAddress.
DMultipartTimestamp() - Constructor for class DMultipartTimestamp
Crea un'istanza di DMultipartTimestamp con contatore nullo in corrispondenza dell'host locale.
DMultipartTimestamp(InetAddress[]) - Constructor for class DMultipartTimestamp
Crea un'istanza di DMultipartTimestamp con contatori nulli in corrispondenza degli indirizzi specificati.
doGossip() - Method in class GossipReplier
Effettua il protocollo di Gossip.
doGossip(int) - Method in class GossipTalker
Effettua il protocollo di Gossip.

E

equals(Object) - Method in class Cid
Ridefinisce l'omonimo metodo di Object per il confronto tra due Cid.
equals(Object) - Method in class MsgHeader
Ridefinisce l'omonimo metodo di java.lang.Object per il confronto tra due MsgHeader.
equals(Object) - Method in class Timestamp
Ridefinisce l'omonimo metodo della classe java.lang.Object per confrontare due Timestamp.
errorAction(int) - Method in class Client
Gestisce i casi d'errore.
errorAction(int) - Method in class FrontEndThread
Gestisce i casi d'errore.
errorAction(int) - Method in class Robot
Gestisce i casi d'errore.
erroreArgs() - Static method in class FrontEnd
Stampa sullo standard output una stringa che illustra i possibili argomenti validi per la linea di comando e fa terminare la JVM.

F

f - Variable in class RMMonitor
Finestra su cui visualizzare le informazioni sullo stato del Replica Manager.
fe_ts - Variable in class FrontEnd
Multipart timestamp del FE.
firstIndexGreater(MultipartTimestamp) - Method in class MultipartTimestamp
Ritorna l'indice del primo elemento che e' maggiore del corrispondente elemento del multipart timestamp passato come argomento.
frame - Variable in class GuiClient
Frame principale dell'applicazione.
FrontEnd - class FrontEnd.
Rappresenta il FrontEnd in veste di servitore di Client.
FrontEnd() - Constructor for class FrontEnd
 
FrontEndCaduto() - Static method in class Client
Invocato in seguito a problemi di connessione verso il Front End.
FrontEndCaduto() - Method in class Robot
 
FrontEndThread - class FrontEndThread.
Thread servitore, creato da FrontEnd.
FrontEndThread(Socket, FrontEnd) - Constructor for class FrontEndThread
Invoca il costruttore della classe Thread e crea un'istanza di FrontEndThread data la socket di connessione con il Client e un riferimento al FrontEnd "padre".
FT_COUNT - Variable in class FrontEnd
Numero di Replica Manager a cui un messaggio deve essere postato prima di considerare l'operazione di posting eseguita con successo.

G

GET - Static variable in class Comando
Costante che identifica il comando per richiedere il corpo di un messaggio data un'intestazione.
get_prob - Static variable in class Robot
Probabilita' dell'operazione get in percentuale (60%).
getAction() - Method in class FrontEndThread
Realizza la parte di protocollo Client-FrontEnd FrontEnd-ReplicaManager relativa ad una operazione di tipo GET.
getAction(MsgHeader) - Method in class Client
Realizza la parte di protocollo Client-FrontEnd relativa ad una operazione di tipo GET.
getAction(MsgHeader) - Method in class Robot
Realizza la parte di protocollo Robot-FrontEnd relativa ad una operazione di tipo GET.
getColumnClass(int) - Method in class HeaderTableModel
Restituisce la classe di appartenenza degli oggetti visualizzati nella colonna di indice col della tabella.
getColumnCount() - Method in class HeaderTableModel
Restituisce il numero di colonne della tabella.
getColumnName(int) - Method in class HeaderTableModel
Restituisce la stringa che rappresenta il nome della colonna di indice col della tabella.
getGossipByNeed() - Method in class CallMsgManager
Restituisce il valore del flag CallMsgManager.GOSSIP_BY_NEED : se true indica che il CallMsgManager effettua gossip by need.
getGossipSleep() - Method in class CallMsgManager
Restituisce il numero di millisecondi che un thread CallMsgManager attende (se il flag CallMsgManager.GOSSIP_BY_NEED e' settato a false) prima di ritestare se puo' eseguire una query la cui esecuzione deve essere ritardata fino a che lo stato del RM non e' aggiornato tanto quanto quello del FE che l'ha richiesta.
getHeaderAt(int) - Method in class HAbstractTableModel
Restituisce il MsgHeader nella riga row della tabella.
getHeaderAt(int) - Method in class HeaderTableModel
Restituisce il MsgHeader visualizzato nella riga row della tabella.
getList() - Method in class BoundedNewsSet
Restituisce una lista di intestazioni dei messaggi postati sul RM.
getList() - Method in interface News
Restituisce una lista di intestazioni dei messaggi postati sul RM.
getList() - Method in class NewsSet
Restituisce una lista di intestazioni dei messaggi postati sul RM.
getMsg(MsgHeader) - Method in class BoundedNewsSet
Restituisce un messaggio postato in precedenza nel RM data la sua intestazione.
getMsg(MsgHeader) - Method in interface News
Restituisce un messaggio postato in precedenza nel RM data la sua intestazione.
getMsg(MsgHeader) - Method in class NewsSet
Restituisce un messaggio postato in precedenza nel RM data la sua intestazione.
getMsgBody(MsgHeader) - Method in class BoundedNewsSet
Restituisce il corpo di un messaggio postato in precedenza nel RM data la sua intestazione.
getMsgBody(MsgHeader) - Method in interface News
Restituisce un il corpo di un messaggio postato in precedenza nel RM data la sua intestazione.
getMsgBody(MsgHeader) - Method in class NewsSet
Restituisce il corpo di un messaggio postato in precedenza nel RM data la sua intestazione.
getNumRM() - Method in class StatoRM
Restituisce il numero di Replica Manager del sistema.
getRNode() - Method in class StatoRM
Restituisce l'intero che identifica il RM.
getRowCount() - Method in class HeaderTableModel
Restituisce il numero di righe della tabella.
getType() - Method in class Comando
Restituisce un intero che identifica il comando.
getValueAt(InetAddress) - Method in class DMultipartTimestamp
Restituisce il timestamp del RM di indirizzo specificato.
getValueAt(InetAddress) - Method in class rmTable
Restituisce il valore del contatore associato al RM di indirizzo specificato.
getValueAt(int) - Method in class MultipartTimestamp
Restituisce il timestamp di indice i.
getValueAt(int, int) - Method in class HeaderTableModel
Restituisce l'oggetto visualizzato all'incrocio della riga row e della colonna col nella tabella.
GOSSIP_BY_NEED - Variable in class CallMsgManager
Flag che indica che il CallMsgManager deve effettuare gossip by need.
GOSSIP_BY_NEED - Variable in class StatoRM
Flag che indica che i thread CallMsgManager devono effettuare gossip by need.
GOSSIP_RATE - Variable in class StatoRM
Indica il tempo (in millisecondi) intercorrente tra due Gossip periodici successivi.
GOSSIP_SLEEP - Variable in class CallMsgManager
Rappresenta il numero di millisecondi che un thread CallMsgManager attende (se il flag CallMsgManager.GOSSIP_BY_NEED e' settato a false) prima di ritestare se puo' eseguire una query la cui esecuzione deve essere ritardata fino a che lo stato del RM non e' aggiornato tanto quanto quello del FE che l'ha richiesta.
GOSSIP_SLEEP - Variable in class StatoRM
Rappresenta il numero di millisecondi che un thread CallMsgManager attende (se il flag StatoRM.GOSSIP_BY_NEED e' settato a false) prima di ritestare se puo' eseguire una query la cui esecuzione deve essere ritardata fino a che lo stato del RM non e' aggiornato tanto quanto quello del FE che l'ha richiesta.
GossipCodes - class GossipCodes.
Contiene solo delle variabili statiche utilizzate nel protocollo di comunicazione Gossip.
GossipCodes() - Constructor for class GossipCodes
 
GossipException - exception GossipException.
Indica che non e' stato possibile effettuare una connessione Gossip.
GossipException() - Constructor for class GossipException
Crea un'istanza di GossipException senza nessun argomento.
GossipException(String) - Constructor for class GossipException
Crea un'istanza di GossipException con argomento una stringa di descrizione dell'eccezione.
GossipManager - class GossipManager.
Implementa il GossipManager, che istanziato all'avvio del ReplicaManager, per prima cosa avvia il Thread che effettua il Gossip periodico, poi rimane in ascolto sulla porta Gossip specificata e all'arrivo di una richiesta di Gossip, genera un thread GossipReplier che si occupa di effettuare il protocollo.
GossipManager(StatoRM) - Constructor for class GossipManager
 
GossipReplier - class GossipReplier.
E' la classe che esegue un Gossip "passivo" cioe' effettua il protocollo dal lato del chiamato quando la connessione e' gia' stata instaurata.
GossipReplier(StatoRM, Socket) - Constructor for class GossipReplier
Crea un'istanza di GossipReplier ricevendo come parametri lo stato del RM e una Socket gia' connessa.
GossipScheduler - class GossipScheduler.
Implementa il Thread che si occupa di effettuare il gossip periodico verso i RM remoti.
GossipScheduler(StatoRM) - Constructor for class GossipScheduler
Crea un istanza di GossipScheduler dato lo stato del RM locale.
GossipTalker - class GossipTalker.
E' la classe che esegue un Gossip "attivo" cioe' instaura la connessione ed effettua il protocollo dal lato del chiamante.
GossipTalker(StatoRM) - Constructor for class GossipTalker
Crea un'istanza di GossipTalker ricevendo come parametro solo lo stato del RM.
GossipTalker(StatoRM, int) - Constructor for class GossipTalker
Crea un'istanza di GossipTalker ricevendo come parametri lo stato del RM locale e il numero del RM con cui si vuole scambiare un Gossip.
greaterEqualsThan(DMultipartTimestamp) - Method in class DMultipartTimestamp
Ritorne true se il multipart timestamp dell'istanza su cui e' invocato il metodo e' maggiore o uguale del multipart timestamp passato come argomento.
greaterEqualsThan(MultipartTimestamp) - Method in class MultipartTimestamp
Ritorne true se il multipart timestamp dell'istanza su cui e' invocato il metodo e' maggiore o uguale del multipart timestamp passato come argomento.
GuiClient - class GuiClient.
Interfaccia grafica per l'applicazione Client.
GuiClient(Client) - Constructor for class GuiClient
Crea un'istanza di GuiClient dato un riferimento all'applicazione Client.

H

HAbstractTableModel - class HAbstractTableModel.
Classe astratta che estende javax.swing.table.AbstractTableModel per fornire il metodo HAbstractTableModel.getHeaderAt(int).
HAbstractTableModel() - Constructor for class HAbstractTableModel
 
header - Variable in class FrontEndThread
 
header - Variable in class Messaggio
Intestazione del messaggio.
headers - Variable in class HeaderTableModel
Contiene le intestazioni da visualizzare in tabella.
HeaderTable - class HeaderTable.
Estende un javax.swing.JScrollPane inserendovi una javax.swing.JTable per visualizzare le intestazioni scaricate da un FE.
HeaderTable(MsgHeader[]) - Constructor for class HeaderTable
Costruisce una HeaderTable dato un riferimento ad un array di intestazioni.
HeaderTableModel - class HeaderTableModel.
Realizza un modello per la tabella HeaderTable delle intestazioni scaricate da un FE.
HeaderTableModel(MsgHeader[]) - Constructor for class HeaderTableModel
Costruisce un HeaderTableModel a partire da un array di intestazioni.
hostAttualeRm - Variable in class FrontEndThread
Host relativo all'attuale Replica Manager.
hostIniziale - Variable in class FrontEndThread
Host relativo al Replica Manager a cui si e' connessi prima di una serie di put.
hostname - Variable in class FrontEnd
Indirizzo del Replica Manager a cui si connette per primo.
hostsReplicaManager - Variable in class FrontEnd
Indirizzi dei Replica Manager noti al Front End, ciascuno con il numero di connessioni correntemente aperte dai Client.
hTable - Variable in class GuiClient
Tabella per visualizzare le intestazioni scaricate dal FE.

I

in - Variable in class CallMsgManager
Per la lettura dei dati inviati dai FE e' usato un oggetto java.io.ObjectInputStream poiche' implementa l'interfaccia java.io.DataInput usabile anche per i tipi primitivi di java.
incElementAt(InetAddress) - Method in class DMultipartTimestamp
Incrementa di uno il contatore del RM di indirizzo i del multipart timestamp.
incElementAt(InetAddress) - Method in class rmTable
Incrementa di uno il contatore del RM di indirizzo specificato.
incElementAt(int) - Method in class MultipartTimestamp
Incrementa di uno l'elemento in posizione i-esima del multipart timestamp.
inClienteStream - Variable in class FrontEndThread
"ingresso" della socket, canale di comunicazione con il server (FE).
index - Variable in class FrontEndThread
 
index - Variable in class GossipScheduler
 
indexGreaterAt(MultipartTimestamp, int) - Method in class MultipartTimestamp
Ritorna l'indice dell'i-esimo elemento che e' maggiore del corrispondente elemento del multipart timestamp passato come argomento.
inFeStream - Variable in class Client
"ingresso" della socket, canale di comunicazione con il server FrontEnd.
inFeStream - Variable in class Robot
"ingresso" della socket, canale di comunicazione con il FrontEnd.
inputGetAction() - Method in class Client
Interfaccia a caratteri, relativa al comando GET.
inRmStream - Variable in class FrontEnd
Stream di input per la comunicazione con il RM da cui ricevere le risposte ai comandi iniziali NUM e LOOKUP.
inRmStream - Variable in class FrontEndThread
"ingresso" della socket, canale di comunicazione con il server (FE).
insets0 - Static variable in class GuiClient
Margine nullo.
interfacciaUtente() - Method in class Client
Interfaccia a caratteri.
intestazioni - Variable in class Client
Insieme delle intestazioni scaricate dal FE.
intestazioni - Variable in class Robot
Insieme delle intestazioni scaricate dal FrontEnd.
inUserStream - Variable in class Client
canale di comunicazione con l'utente.
inval - Variable in class Inval
Implementa l'insieme inval con un oggetto compatibile con l'interfaccia java.util.Set.
inval - Variable in class StatoRM
Insieme dei call identifier che identificano le operazioni di post avvenute stabilmente e riflesse nell'insieme news.
Inval - class Inval.
Implementa l'insieme inval che fa parte dello stato di ogni RM.
Inval() - Constructor for class Inval
Crea un'istanza di Inval vuoto.
invalGC(Log) - Method in class Inval
Elimina dall'insieme inval i cid dei quali e' noto che non serviranno piu'.
InvalidReplicaManagerIdException - exception InvalidReplicaManagerIdException.
Indica che l'identificativo intero di un Replica Manager utilizzato come argomento nella costruzione di un oggetto StatoRM non e' compreso nell'intervallo [0,numRM-1] dove numRM e' il numero di RM del sistema.
InvalidReplicaManagerIdException() - Constructor for class InvalidReplicaManagerIdException
Crea un'istanza di InvalidReplicaManagerIdException senza nessun argomento.
InvalidReplicaManagerIdException(String) - Constructor for class InvalidReplicaManagerIdException
Crea un'istanza di InvalidReplicaManagerIdException con argomento una stringa di descrizione dell'eccezione.
ip - Variable in class Timestamp
Indirizzo del Replica Manager.
ipAddress - Variable in class Cid
Ip address del FE che ha postato il messaggio.
ipRM - Variable in class rmTable
Rappresenta l'insieme di coppie indirizzo-contatore.
isKnown(LogRecord, MultipartTimestamp[]) - Method in class Log
Ritorna true se il log-record passato come argomento è conosciuto da tutti i RM.

L

lastDate - Static variable in class Cid
Contiene un riferimento all'ultimo oggetto Date creato nella costruzione di un Cid.
leastLoadedRM(Set) - Method in class rmTable
Restituisce un indirizzo di RM che non sia appartenente all'insieme passato come argomento e lo aggiunge all'insieme.
leastLoadedRM(Set, Set) - Method in class rmTable
Restituisce un indirizzo di RM che non sia appartenente agli insiemi passati come argomenti e lo aggiunge al primo.
length() - Method in class DMultipartTimestamp
Restituisce il numero di elementi del multipart timestamp.
length() - Method in class MultipartTimestamp
Restituisce il numero di elementi del multipart timestamp.
length() - Method in class rmTable
Restituisce il numero di coppie indirizzo-contatore.
lessThan(DMultipartTimestamp) - Method in class DMultipartTimestamp
Ritorne true se il multipart timestamp dell'istanza su cui e' invocato il metodo e' non maggiore del multipart timestamp passato come argomento.
lessThan(MultipartTimestamp) - Method in class MultipartTimestamp
Ritorne true se il multipart timestamp dell'istanza su cui e' invocato il metodo e' non maggiore del multipart timestamp passato come argomento.
LIST - Static variable in class Comando
Costante che identifica il comando per richiedere la lista delle intestazioni.
list_prob - Static variable in class Robot
Probabilita' dell'operazione list in percentuale (20%).
listAction() - Method in class Client
Realizza la parte di protocollo Client-FrontEnd relativa ad una operazione di tipo LIST.
listAction() - Method in class FrontEndThread
Realizza la parte di protocollo Client-FrontEnd FrontEnd-ReplicaManager relativa ad una operazione di tipo LIST.
listAction() - Method in class Robot
Realizza la parte di protocollo Robot-FrontEnd relativa ad una operazione di tipo LIST.
LOCAL - Variable in class FrontEnd
Se true, ogni FrontEndThread creato tenta la prima connessione con il Replica Manager passato nella linea di comando.
log - Variable in class Log
Implementa l'insieme log con un oggetto compatibile con l'interfaccia java.util.Set.
log - Variable in class StatoRM
Insieme log del RM.
Log - class Log.
Implementa l'insieme log che fa parte dello stato di ogni RM.
Log() - Constructor for class Log
Crea un'istanza di Log vuoto.
logAckGC(MultipartTimestamp[], Inval) - Method in class Log
Elimina dall'insieme log i log-record di tipo ack conosciuti da tutti i RM.
LogRecord - class LogRecord.
Implementazione del log-record per lo stato di un RM.
LogRecord() - Constructor for class LogRecord
 
logUpdateGC(MultipartTimestamp[]) - Method in class Log
Elimina dall'insieme log i log-record di tipo update conosciuti da tutti i RM.
LOOKUP - Static variable in class Comando
Costante che identifica il comando richiedere al RM gli indirizzi degli altri RM a lui noti.
LOOKUP_T - Variable in class FrontEnd
Numero minimo di indirizzi di Replica Manager potenzialmente disponibili che un FrontEndThread accetta senza invocare comandi di lookup.
lookupAction() - Method in class FrontEnd
Richiede al Replica Manager indicato da linea di comando, gli host degli altri Replica Manager ad esso noti.
lookupAction() - Method in class FrontEndThread
Richiede al ReplicaManager corrente gli host degli altri Replica Manager ad esso noti.

M

main(String[]) - Static method in class AckRecord
Rende la classe un'applicazione stand-alone per il testing.
main(String[]) - Static method in class CallMsgServer
Rende la classe un'applicazione stand-alone per il testing.
main(String[]) - Static method in class Cid
Rende la classe un'applicazione stand-alone per il testing.
main(String[]) - Static method in class Client
Vengono aperti gli stream di connessione da\verso il FrontEnd, invocato il metodo Client.interfacciaUtente() e quelli corrispondenti al comando inserito dall'utente.
main(String[]) - Static method in class Comando
Rende la classe un'applicazione stand-alone per il testing.
main(String[]) - Static method in class DMultipartTimestamp
Rende la classe un'applicazione stand-alone per il testing.
main(String[]) - Static method in class FrontEnd
Parametri della riga di comando dell'applicazione FrontEnd :
java FrontEnd hostname [-option value]...
E' obbligatorio un argomento:
hostname : hostname del Replica Manager a cui
il FE si connette per primo.
main(String[]) - Static method in class GossipManager
 
main(String[]) - Static method in class GuiClient
Rende la classe un'applicazione stand-alone per il testing.
main(String[]) - Static method in class Inval
Rende la classe un'applicazione stand-alone per il testing.
main(String[]) - Static method in class Log
Rende la classe un'applicazione stand-alone per il testing.
main(String[]) - Static method in class MultipartTimestamp
Rende la classe un'applicazione stand-alone per il testing.
main(String[]) - Static method in class Output
Rende la classe un'applicazione stand-alone per il testing.
main(String[]) - Static method in class ReplicaManager
Per i parametri della linea di comando e il file di configurazione vedi RMSetup.
main(String[]) - Static method in class RMSetup
Rende la classe un'applicazione stand-alone per il testing.
main(String[]) - Static method in class Robot
Il tempo di risposta medio delle operazioni richieste dal Robot al FrontEnd e' visualizzato in una finestra che rimane visibile anche dopo il termine di tutte le operazioni.
main(String[]) - Static method in class StatoRM
Rende la classe un'applicazione stand-alone per il testing.
main(String[]) - Static method in class UpdateRecord
Rende la classe un'applicazione stand-alone per il testing.
mainPanel - Variable in class PostDialog
Pannello principale del dialog
MAX - Variable in class BoundedNewsSet
Numero massimo di news che sono accettate.
max_operation - Static variable in class Robot
Numero di operazioni che sono richieste al FrontEnd.
maxdelay - Static variable in class Robot
Sommato a Robot.mindelayfornisce l'intervallo massimo tra due operazioni in millisecondi.
merge(DMultipartTimestamp) - Method in class DMultipartTimestamp
Effettua il merge con il multipart timestamp passato come argomento.
merge(Log, MultipartTimestamp) - Method in class Log
Effettua il merge con l'insieme Log passato come argomento.
merge(MultipartTimestamp) - Method in class MultipartTimestamp
Effettua il merge con il multipart timestamp passato come argomento.
Messaggio - class Messaggio.
Implementa un messaggio del sistema di news.
Messaggio(MsgHeader, MsgBody) - Constructor for class Messaggio
Crea un'istanza di messaggio data l'intestazione e il corpo.
mindelay - Static variable in class Robot
Intervallo minimo tra due operazioni in millisecondi.
model - Variable in class HeaderTable
Modello che contiene le intestazioni da visualizzare nella JTable.
mpts - Variable in class DMultipartTimestamp
Rappresenta il multipart timestamp.
mpts - Variable in class LogRecord
Timestamp del log-record.
msg - Variable in class FrontEndThread
 
msg - Variable in class UpdateRecord
Messaggio da postare.
MSG_NOT_FOUND - Static variable in class ReplyCodes
Indica che il RM non e' stato in grado di recuperare il messaggio richiesto dal FE.
MsgBody - class MsgBody.
Implementa il corpo di un messaggio del sistema di news.
MsgBody(String) - Constructor for class MsgBody
Crea un'istanza di MsgBody data la stringa che rappresenta il contenuto del messaggio.
MsgHeader - class MsgHeader.
Implementa l'intestazione di un messaggio del sistema di news.
MsgHeader(String, String) - Constructor for class MsgHeader
Crea un'istanza di MsgHeader dati subject e sender.
MsgHeader(String, String, Date) - Constructor for class MsgHeader
Crea un'istanza di MsgHeader dati oggetto, mittente e data .
MsgNotFoundException - exception MsgNotFoundException.
Indica che non e' stato possibile reperire il messaggio richiesto.
MsgNotFoundException() - Constructor for class MsgNotFoundException
Crea un'istanza di MsgNotFoundException senza nessun argomento.
MsgNotFoundException(String) - Constructor for class MsgNotFoundException
Crea un'istanza di MsgNotFoundException con argomento una stringa di descrizione dell'eccezione.
MultipartTimestamp - class MultipartTimestamp.
Implementa un multipart timestamp mediante un array.
MultipartTimestamp(int) - Constructor for class MultipartTimestamp
Crea un'istanza di MultipartTimestamp con n elementi uguali a 0.

N

newHeaders(MsgHeader[]) - Method in class HeaderTableModel
Sostituisce tutto il contenuto della tabella con l'array di MsgHeader new_headers.
news - Variable in class StatoRM
Insieme dei messaggi postati stabilmente sul RM dai FE.
News - interface News.
Dichiara i metodi per operare sull'insieme di news postate ad un RM.
NewsSet - class NewsSet.
Implementa l'insieme di news postate su un RM mediante un oggetto compatibile con l'interfaccia java.util.Set.
NewsSet() - Constructor for class NewsSet
Crea un'istanza di NewsSet.
nextRM(Set) - Method in class rmTable
Restituisce un indirizzo di RM che non sia appartenente all'insieme passato come argomento e lo aggiunge all'insieme.
nextRM(Set, Set) - Method in class rmTable
Restituisce un indirizzo di RM che non sia appartenente agli insiemi passati come argomenti e lo aggiunge al primo.
nome_utente - Variable in class Client
Usata nel metodo Client.interfacciaUtente(), contiene il nome inserito dall'utente come mittente dell'ultimo messaggio inviato.
nomeFileConfig - Static variable in class RMSetup
Nome del file di estensione .properties che contiene le coppie chiave-valore.
nset - Variable in class BoundedNewsSet
L'insieme di news di un RM e' implementato mediante un oggetto compatibile con l'interfaccia java.util.Set.
nset - Variable in class NewsSet
L'insieme di news di un RM e' implementato mediante un oggetto compatibile con l'interfaccia java.util.Set.
NUM - Static variable in class Comando
Costante che identifica il comando richiedere il numero di RM che fanno parte del sistema.
numAction() - Method in class FrontEnd
Si connette al RM di cui conosce l'indirizzo ed invia il comando NUM per sapere quanti RM sono presenti nel sistema.
number - Variable in class GossipScheduler
 
numRM - Variable in class StatoRM
Indica il numero di Replica Manager del sistema.

O

OK - Static variable in class ReplyCodes
Indica che l'operazione richiesta dal FE e' andata a buon fine.
OK_ALREADYUPDATE - Static variable in class GossipCodes
 
OK_SENDGOSSIP - Static variable in class GossipCodes
 
okJB - Variable in class PostDialog
Bottone per inviare il messaggio.
out - Variable in class CallMsgManager
Per l'invio delle risposte ai FE e' usato un oggetto java.io.ObjectOutputStream poiche' implementa l'interfaccia java.io.DataOutput usabile anche per i tipi primitivi di java.
outClienteStream - Variable in class FrontEndThread
"uscita" della socket, canale di comunicazione con il server (FE).
outFeStream - Variable in class Client
"uscita" della socket, canale di comunicazione con il server FrontEnd.
outFeStream - Variable in class Robot
"uscita" della socket, canale di comunicazione con il FrontEnd.
Output - class Output.
Usata per visualizzare messaggi che traccino l'attivita' dei thread di un Replica Manager.
Output() - Constructor for class Output
 
outRmStream - Variable in class FrontEnd
Stream di output per la comunicazione con il RM a cui inviare i comandi iniziali NUM e LOOKUP.
outRmStream - Variable in class FrontEndThread
"uscita" della socket, canale di comunicazione con il server (FE).

P

padre - Variable in class FrontEndThread
Riferimento all'oggetto "padre".
pd - Variable in class GuiClient
Finestra per la composizione di un messaggio da postare.
POLITICA_SCELTA_RM - Variable in class FrontEnd
Indica la politica con cui un FrontEndThread sceglie un nuovo RM a fronte della caduta di quello corrente.
PORT - Static variable in class Client
Numero di porta per la comunicazione con il server FrontEnd.
PORT - Variable in class FrontEnd
Numero di porta per la comunicazione con i Client.
PORT - Static variable in class Robot
Numero di porta per la comunicazione con il FrontEnd.
PORTA_FE - Variable in class StatoRM
Numero di porta per le connessioni con i FE.
PORTA_GOSSIP - Variable in class StatoRM
Numero di porta per connessioni di risposta al gossip di altri RM.
PostDialog - class PostDialog.
Estende la classe javax.swing.JFrame realizzando un JDialog modale per la composizione di un messaggio da postare.
PostDialog(Frame) - Constructor for class PostDialog
Realizza un PostDialog con parent frame specificato.
prev - Variable in class Comando
Rappresenta il multipart timestamp del FE che ha inviato il comando al RM.
prev - Variable in class UpdateRecord
Timestamp dell'update fornito dal FE.
print(String) - Static method in class Output
Visualizza la stringa passata come argomento nel pannello in alto a sinistra.
println(int, String) - Static method in class Output
Visualizza la stringa passata come argomento nel pannello di indice specificato.
println(String) - Method in class CallMsgManager
Stampa nella finestra di output Output il nome dello thread corrente seguito dalla stringa passata come argomento e va a capo.
println(String) - Static method in class Output
Visualizza la stringa passata come argomento nel pannello in alto a sinistra e passa alla linea successiva.
processAck() - Method in class CallMsgManager
Esegue il comando ACK.
processGet(MultipartTimestamp) - Method in class CallMsgManager
Esegue il comando GET.
processList(MultipartTimestamp) - Method in class CallMsgManager
Esegue il comando LIST.
processLookup() - Method in class CallMsgManager
Esegue il comando LOOKUP.
processNum() - Method in class CallMsgManager
Esegue il comando NUM.
processPut(MultipartTimestamp) - Method in class CallMsgManager
Esegue il comando PUT.
PUT - Static variable in class Comando
Costante che identifica il comando per richiedere di postare un messaggio.
put_prob - Static variable in class Robot
Probabilita' dell'operazione put in percentuale (20%).
putAction() - Method in class Client
Realizza la parte di protocollo Client-FrontEnd relativa ad una operazione di tipo PUT.
putAction() - Method in class FrontEndThread
Realizza la parte di protocollo Client-FrontEnd FrontEnd-ReplicaManager relativa ad una operazione di tipo PUT.
putAction() - Method in class Robot
Realizza la parte di protocollo Robot-FrontEnd relativa ad una operazione di tipo PUT.
putMsg(Messaggio) - Method in class BoundedNewsSet
Memorizza un messaggio postato da un FE.
putMsg(Messaggio) - Method in interface News
Memorizza un messaggio postato da un FE.
putMsg(Messaggio) - Method in class NewsSet
Memorizza un messaggio postato da un FE.

R

rand - Static variable in class Robot
Generatore di numeri pseudocasuali.
randomRM(Set) - Method in class rmTable
Restituisce un indirizzo di RM che non sia appartenente all'insieme passato come argomento e lo aggiunge all'insieme.
randomRM(Set, Set) - Method in class rmTable
Restituisce un indirizzo di RM che non sia appartenente agli insiemi passati come argomenti e lo aggiunge al primo.
RATE - Variable in class RMMonitor
Intervallo di refresh delle informazioni visualizzate espresso in millisecondi.
remnum - Variable in class GossipTalker
numero del RM remoto.
rep_ts - Variable in class StatoRM
Multipart timestamp del RM.
ReplicaManager - class ReplicaManager.
Realizza l'applicazione Replica Manager che implementa il servizio di news replicato.
ReplicaManager() - Constructor for class ReplicaManager
 
replicaManagerSocket - Variable in class FrontEndThread
 
ReplyCodes - class ReplyCodes.
Costituisce un insieme di costanti usate nel protocollo di interazione Front End - Replica Manager.
ReplyCodes() - Constructor for class ReplyCodes
 
resetValueAt(InetAddress) - Method in class rmTable
Assegna al contatore del RM di indirizzo ip specificato, il valore 0.
RM_PORT - Variable in class FrontEnd
Numero di porta dei Replica Manager.
RMMonitor - class RMMonitor.
Visualizza periodicamente in una finestra informazioni sullo stato del Replica Manager.
RMMonitor(StatoRM, int) - Constructor for class RMMonitor
Crea un'istanza di RMMonitor dato un riferimento allo stato di un Replica Manager e l'intervallo di refresh in millisecondi.
RMSetup - class RMSetup.
Inizializza lo stato di un Replica Manager utilizzando nell'ordine : parametri di default, file di configurazione e riga di comando.
RMSetup() - Constructor for class RMSetup
 
rmSocket - Variable in class FrontEnd
Socket per la connessione con il RM a cui inviare i comandi iniziali NUM e LOOKUP.
rmSuccess - Variable in class FrontEndThread
Insieme dei Replica Manager in cui si e' postato con successo uno stesso messaggio.
rmTable - class rmTable.
Costituisce l'insieme degli indirizzi di Replica Manager noti ad un FE.
rmTable() - Constructor for class rmTable
 
rmVisitati - Variable in class FrontEndThread
Insieme dei replica manager gia' visitati.
rnode - Variable in class GossipScheduler
 
rnode - Variable in class LogRecord
Intero che identifica il RM che ha inserito l'operazione corrispondente al log-record nell'insieme log.
rnode - Variable in class StatoRM
Identifica il RM, deve essere compreso tra 0 e StatoRM.numRM-1.
Robot - class Robot.
Utilizzato per il testing e le misure sul sistema, simula un utente che interagisce con un Client, richiedendo continuamente al FrontEnd delle operazioni.
Robot() - Constructor for class Robot
 
run() - Method in class CallMsgManager
Ridefinisce l'omonimo metodo della superclasse java.lang.Thread implementando il protocollo di comunicazione con il FE ed effettuando le operazioni che gli vengono richieste.
run() - Method in class CallMsgServer
Ridefinisce l'omonimo metodo della classe java.lang.Thread mettendosi in ascolto di connessioni dei FE e generando un nuovo thread CallMsgManager ad ogni nuova connessione.
run() - Method in class Cid
Per effettuare testing in multithreading si e' implementata l'interfaccia java.lang.Runnable che ha questo unico metodo.
run() - Method in class DMultipartTimestamp
Per effettuare testing in multithreading si e' implementata l'interfaccia java.lang.Runnable che ha questo unico metodo.
run() - Method in class FrontEndThread
"start" del thread.
run() - Method in class GossipManager
 
run() - Method in class GossipReplier
Implementa il metodo run dell'interfaccia java.lang.Runnable per creare un thread che esegue il gossip verso un determinato RM.
run() - Method in class GossipScheduler
Ridefinisce l'omonimo metodo della classe java.lang.Thread.
run() - Method in class GossipTalker
Implementa il metodo run dell'interfaccia java.lang.Runnable per creare un thread che esegue il gossip verso un determinato RM.
run() - Method in class MultipartTimestamp
Per effettuare testing in multithreading si e' implementata l'interfaccia java.lang.Runnable che ha questo unico metodo.
run() - Method in class RMMonitor
Crea una finestra e gli elementi grafici su cui visualizzare informazioni sullo stato corrente di un Replica Manager.

S

sender - Variable in class MsgHeader
Mittente : identifica l'autore del messaggio.
SENDER_MAX_LENGTH - Static variable in class MsgHeader
Lunghezza massima del campo sender.
serverSocket - Variable in class CallMsgServer
Socket sulla quale si pone in ascolto il thread.
serverSocket - Variable in class FrontEnd
Socket di ascolto delle connessioni con i Client.
setGossipByNeed(boolean) - Method in class CallMsgManager
Setta il flag CallMsgManager.GOSSIP_BY_NEED : se settato a true indica che il CallMsgManager deve effettuare gossip by need.
setGossipSleep(int) - Method in class CallMsgManager
Setta il numero di millisecondi che un thread CallMsgManager attende (se il flag CallMsgManager.GOSSIP_BY_NEED e' settato a false) prima di ritestare se puo' eseguire una query la cui esecuzione deve essere ritardata fino a che lo stato del RM non e' aggiornato tanto quanto quello del FE che l'ha richiesta.
setOutput() - Static method in class Output
Crea tutti i componenti grafici che compongono la finestra di output e la rende visibile.
setup(String[]) - Static method in class RMSetup
Processa la linea di comando passata come argomento e il file "config.properties" per settare lo stato iniziale di un Replica Manager.
setValueAt(InetAddress, int) - Method in class DMultipartTimestamp
Assegna al timestamp del RM di indirizzo ip il valore intero passato come argomento.
setValueAt(InetAddress, int) - Method in class rmTable
Assegna al contatore del RM di indirizzo ip specificato, il valore intero passato come argomento.
setValueAt(int, int) - Method in class MultipartTimestamp
Assegna al timestamp di indice i il valore intero passato come argomento.
sock - Variable in class GossipManager
 
sock - Variable in class GossipReplier
 
socket - Variable in class CallMsgManager
Socket per la connessione con il FE.
stato - Variable in class GossipManager
 
stato - Variable in class GossipReplier
Tiene traccia dello stato del RM passato nel costruttore.
stato - Variable in class GossipScheduler
Mantiene un riferimento allo stato del RM locale.
stato - Variable in class GossipTalker
Tiene traccia dello stato del RM passato nel costruttore.
statoRM - Variable in class CallMsgManager
Riferimento alle variabili che rappresentano lo stato del Replica Manager di cui si deve gestire il call message.
statoRM - Variable in class CallMsgServer
Riferimento alle variabili che rappresentano lo stato del Replica Manager di cui rappresenta il server per i call message.
statoRM - Variable in class RMMonitor
Riferimento allo stato del Replica Manager.
StatoRM - class StatoRM.
Implementa le variabili che definiscono lo stato di un RM.
StatoRM(int, int, News, InetAddress[]) - Constructor for class StatoRM
Crea un'istanza di statoRM con rnode e news specificati.
subject - Variable in class MsgHeader
Oggetto : specifica l'argomento che viene esposto nel corpo del messaggio.
SUBJECT_MAX_LENGTH - Static variable in class MsgHeader
Lunghezza massima del campo subject.
success - Variable in class FrontEndThread
Indica la terminazione con successo o meno dell'ultimo comando eseguito.

T

t - Static variable in class Output
Aree di testo usate per visualizzare i messaggi.
table - Variable in class HeaderTable
JTable per visualizzare le intestazioni.
testQuery(MultipartTimestamp) - Method in class CallMsgManager
Verifica se puo' eseguire la query : se lo stato del RM non e' aggiornato tanto quanto quello del FE la query non puo' essere eseguita.
textArea - Variable in class PostDialog
Area di testo per la composizione del messaggio.
textPane - Variable in class PostDialog
Pannello a scorrimento per l'area di testo.
time - Variable in class Cid
Data e ora di creazione del messaggio.
time - Variable in class MsgHeader
Data e ora locale di creazione del messaggio.
TIME_OUT - Variable in class FrontEnd
Indica il tempo in millisecondi oltre il quale un FrontEndThread in attesa di una risposta da un Replica Manager considera sconveniente continuare ad attendere.
Timestamp - class Timestamp.
Costituisce un contatore del numero di update che la risorsa replicata ha subito in corrispondenza della copia identificata dall'indirizzo specificato.
Timestamp() - Constructor for class Timestamp
Crea un'istanza di Timestamp con indirizzo uguale all'host locale e contatore inizializzato a zero.
Timestamp(InetAddress) - Constructor for class Timestamp
Crea un'istanza di Timestamp con l'indirizzo specificato e contatore inizializzato a zero.
Timestamp(InetAddress, int) - Constructor for class Timestamp
Crea un'istanza di Timestamp con l'indirizzo specificato e contatore inizializzato al valore specificato.
toolBar - Variable in class GuiClient
Toolbar.
toString() - Method in class AckRecord
Ridefinisce l'omonimo metodo della classe java.lang.Object per rappresentare come stringa un'istanza di AckRecord.
toString() - Method in class Cid
Ridefinisce l'omonimo metodo della classe lava.lang.Object per rappresentare come stringa un Cid.
toString() - Method in class Comando
Ridefinisce l'omonimo metodo della classe java.lang.Object per rappresentare come stringa un'istanza di Comando.
toString() - Method in class DMultipartTimestamp
 
toString() - Method in class Inval
Ridefinisce l'omonimo metodo della classe java.lang.Object per rappresentare come stringa un'istanza di Inval.
toString() - Method in class Log
Ridefinisce l'omonimo metodo della classe java.lang.Object per rappresentare come stringa un'istanza di Log.
toString() - Method in class Messaggio
Ridefinisce l'omonimo metodo della classe java.lang.Object per rappresentare come stringa un Messaggio.
toString() - Method in class MsgBody
Ridefinisce l'omonimo metodo della classe java.lang.Object per rappresentare come stringa un MsgBody.
toString() - Method in class MsgHeader
Ridefinisce l'omonimo metodo della classe java.lang.Object per rappresentare come stringa un MsgHeader.
toString() - Method in class MultipartTimestamp
Ridefinisce l'omonimo metodo della classe java.lang.Object per rappresentare come stringa un MultipartTimestamp.
toString() - Method in class rmTable
Ridefinisce l'omonimo metodo della classe java.lang.Object per rappresentare come stringa un'istanza di rmTable.
toString() - Method in class StatoRM
Ridefinisce l'omonimo metodo della classe java.lang.Object per rappresentare come stringa uno StatoRM.
toString() - Method in class UpdateRecord
Ridefinisce l'omonimo metodo della classe java.lang.Object per rappresentare come stringa un'istanza di UpdateRecord.
ts - Variable in class MultipartTimestamp
Rappresenta il vettore di timestamp.
ts_table - Variable in class StatoRM
Array dei timestamp piu' recenti ricevuti dai RM. ts_table(p) rappresenta il piu' recente multipart timestamp ricevuto dal RM di indice p.
type - Variable in class Comando
Indica il tipo di comando.

U

UnknownCommandException - exception UnknownCommandException.
Indica che il valore intero utilizzato come argomento nell'istanziazione di un oggetto Comando non e' valido.
UnknownCommandException() - Constructor for class UnknownCommandException
Crea un'istanza di UnknownCommandException senza nessun argomento.
UnknownCommandException(String) - Constructor for class UnknownCommandException
Crea un'istanza di UnknownCommandException con argomento una stringa di descrizione dell'eccezione.
UpdateRecord - class UpdateRecord.
Rappresenta un record dell'insieme log che si riferisce ad un'operazione di update.
UpdateRecord(MultipartTimestamp, Messaggio, Cid, int, MultipartTimestamp) - Constructor for class UpdateRecord
Crea un'istanza di UpdateRecord con tutti i valori specificati.
usage() - Static method in class RMSetup
Stampa su standard output una stringa che illustra le opzioni possibili e fa terminare la JVM.

V

val_ts - Variable in class StatoRM
Multipart timestamp associato all'insieme dei messaggi postati stabilmente sul RM dai FE.
A B C D E F G H I L M N O P R S T U V