public class ViewManager
extends java.lang.Object
Constructor and Description |
---|
ViewManager() |
ViewManager(java.lang.String configHome) |
Modifier and Type | Method and Description |
---|---|
void |
addServer(int id,
java.lang.String ip,
int port) |
void |
close() |
void |
connect() |
void |
executeUpdates() |
static void |
main(java.lang.String[] args) |
void |
removeServer(int id) |
void |
sendResponse(java.lang.Integer[] targets,
VMMessage sm) |
void |
setF(int f) |
public ViewManager()
public ViewManager(java.lang.String configHome)
public void connect()
public void addServer(int id, java.lang.String ip, int port)
public void removeServer(int id)
public void setF(int f)
public void executeUpdates()
public void sendResponse(java.lang.Integer[] targets, VMMessage sm)
public void close()
public static void main(java.lang.String[] args)