private void AFC() throws Exception {
if (IA()) {
CPA cpa = generate_CPA();
assignCPA(cpa);
}
while (!done) {
Message msg = Mailer.receive_msg(ID);
switch (msg.type()) {
case "Stop":
done = true;
break;
case "FC_CPA":
ForwardCheck(msg);
break;
case "Not_OK":
Process_NOT_OK(msg);
break;
case "CPA":
Recieve_CPA(msg);
break;
case "Backtrack_CPA":
Recieve_CPA(msg);
}
}
}
private void Stop() throws InterruptedException {
Message stop_msg = new Message("Stop", null);
for (int i = 0; i < Mailer.size(); i++) {
if (i != ID) send(stop_msg, i);
}
done = true;
}
private void send(Message message, int[] adresses) throws InterruptedException {
for (int i = 0; i < adresses.length; i++) {
if (adresses[i] == 1) {
System.out.println(i);
Mailer.send(message, i);
}
}
}
private void send(Message message, int address) throws InterruptedException {
Mailer.send(message, address);
}