ServerViewController extends ViewController { @Override public final void reconfigureTo(View newView) { this.currentView = newView; getViewStore().storeView(this.currentView); if (newView.isMember(getStaticConf().getProcessId())) { otherProcesses = new int[currentView.getProcesses().length - 1]; int c = 0; for (int i = 0; i < currentView.getProcesses().length; i++) { if (currentView.getProcesses()[i] != getStaticConf().getProcessId()) { otherProcesses[c++] = currentView.getProcesses()[i]; } } this.quorumBFT = (int) Math.ceil((this.currentView.getN() + this.currentView.getF()) / 2); this.quorumCFT = (int) Math.ceil(this.currentView.getN() / 2); } else if (this.currentView != null && this.currentView.isMember(getStaticConf().getProcessId())) { } else { } } 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 testReconfigureTo() { fail("Not yet implemented"); }