package senseiTests.domainsTest; import java.awt.*; import java.awt.event.*; import javax.swing.*; import javax.swing.border.*; import senseiTests.middleware.domainsTest.StateTransferType; class StateTransferInfoListingPanel extends JPanel implements TransferInfoPrintable, DynamicInfoPrintable { public StateTransferInfoListingPanel() { super(new BorderLayout()); init(); } public void clear() { SwingThreadedChanger.setText(textArea,""); } public void showCreatedDynamicGroup(int subgroupId, StateTransferType type, String info) { print("Created dynamic group ["+subgroupId+"]; type="+StateTransferTypeConverter.asString(type)+"; info="+info); } public void showRemovedDynamicGroup(int subgroupId, String info) { print("Removed dynamic group ["+subgroupId+"]; info="+info); } public void showAssumeState(int subgroupId) { print("AssumeState ["+subgroupId+"]"); } public void showSyncTransferFields(int subgroupId, int coordinator, int inPhase, int outPhase, boolean outPhaseEnded) { print("SyncTransfer ["+subgroupId+"] coordinator="+coordinator+", phase="+inPhase); } public void showStartTransferFields(int subgroupId, int coordinated, int inPhase, int maxPhases, int outPhase, boolean outPhaseEnded) { print("StartTransfer["+subgroupId+"] coord.="+coordinated+", phase="+inPhase+ ", maxPhases="+maxPhases); } public void showGetStateFields(int subgroupId, int inPhase, int maxPhases, int outPhase, boolean outPhaseEnded) { print("GetState["+subgroupId+"] phase="+inPhase+ ", maxPhases="+maxPhases); } public void showSetStateFields(int subgroupId, String substate, int inPhase) { print("SetState["+subgroupId+"] phase="+inPhase+ ", substate="+substate); } public void showGetStateFields(int subgroupId) { print("GetState["+subgroupId+"]"); } public void showSetStateFields(int subgroupId, String substate) { print("SetState["+subgroupId+"] , state="+substate); } public void showStopTransferFields(int subgroupId, int member, boolean transferEnded) { print("StopTransfer["+subgroupId+"] member="+member+", transfer ended="+transferEnded); } public void showInterruptTransferFields(int subgroupId, int inPhase, int maxPhases, int outPhase, boolean outPhaseEnded) { print("InterruptTransfer["+subgroupId+"] phase="+inPhase+ ", maxPhases="+maxPhases); } public void showContinueTransferFields(int subgroupId, int member, int inPhase, int maxPhases, int clientPhase, int outPhase, boolean outPhaseEnded) { print("ContinueTransfer["+subgroupId+"] phase="+inPhase+ ", maxPhases="+maxPhases+", client phase=" + clientPhase + ", member=" + member); } public void showCoordinatorElector(int target, int coordinator) { print("*** Coordinato elector for member " + target + " is " + coordinator); } void print(String s) { SwingThreadedChanger.addText(textArea,s); } void init() { this.setBorder(BorderFactory.createTitledBorder("State Transfer Events")); textArea = new JTextArea(5, 30); JScrollPane scrollPane = new JScrollPane(textArea); setPreferredSize(new Dimension(150, 100)); add(scrollPane, BorderLayout.CENTER); } JTextArea textArea; };