ServerViewController extends ViewController { public boolean isInLastJoinSet(int id) { if (lastJoinStet != null) { for (int i = 0; i < lastJoinStet.length; i++) { if (lastJoinStet[i] == id) { return true; } } } return false; } ServerViewController(int procId);  ServerViewController(int procId, String configHome); void setTomLayer(TOMLayer tomLayer); boolean isInCurrentView(); int[] getCurrentViewOtherAcceptors(); int[] getCurrentViewAcceptors(); boolean hasUpdates(); void enqueueUpdate(TOMMessage up); byte[] executeUpdates(int cid); TOMMessage[] clearUpdates(); boolean isInLastJoinSet(int id); void processJoinResult(ReconfigureReply r); @Override final void reconfigureTo(View newView); int getQuorum(); static final int ADD_SERVER; static final int REMOVE_SERVER; static final int CHANGE_F; }
@Test public void testIsInLastJoinSet() { fail("Not yet implemented"); }