public class ViewManager
extends java.lang.Object
Constructor and Description |
---|
ViewManager(int procId) |
ViewManager(int procId,
java.lang.String configHome) |
Modifier and Type | Method and Description |
---|---|
View |
getCurrentView() |
int |
getCurrentViewF() |
int |
getCurrentViewId() |
int |
getCurrentViewN() |
int |
getCurrentViewPos(int id) |
int[] |
getCurrentViewProcesses() |
java.net.SocketAddress |
getRemoteAddress(int id) |
TOMConfiguration |
getStaticConf() |
ViewStorage |
getViewStore() |
boolean |
isCurrentViewMember(int id) |
void |
reconfigureTo(View newView) |
public ViewManager(int procId)
public ViewManager(int procId, java.lang.String configHome)
public final ViewStorage getViewStore()
public View getCurrentView()
public java.net.SocketAddress getRemoteAddress(int id)
public void reconfigureTo(View newView)
public TOMConfiguration getStaticConf()
public boolean isCurrentViewMember(int id)
public int getCurrentViewId()
public int getCurrentViewF()
public int getCurrentViewN()
public int getCurrentViewPos(int id)
public int[] getCurrentViewProcesses()