public void thread780702821(int[] tdone, int[] ends) { if (tdone[2] != 1) { S24 = 1; S7 = 0; if (reset1_o.get_preempted()) { tutu__1455891304 = 0; tutu__1455891304 = reset1_o.get_preempted() ? reset1_o.refresh() : 0; S7 = 1; active[2] = 1; ends[2] = 1; tdone[2] = 1; } else { S2 = 0; if (reset1_o.get_w_s() == reset1_o.get_w_r()) { tutu__1575963473 = 0; tutu__1575963473 = reset1_o.get_w_s(); tutu__1575963473++; reset1_o.set_w_s(tutu__1575963473); reset1_o.set_value(new Integer(1)); S2 = 1; if (reset1_o.get_w_s() == reset1_o.get_w_r()) { ends[2] = 2; ; breakme_1.setPresent(); currsigs.addElement(breakme_1); // .println("Emitted breakme_1"); S24 = 0; active[2] = 0; ends[2] = 0; tdone[2] = 1; } else { active[2] = 1; ends[2] = 1; tdone[2] = 1; } } else { active[2] = 1; ends[2] = 1; tdone[2] = 1; } } } }
public void thread789167297(int[] tdone, int[] ends) { if (tdone[3] != 1) { switch (S588) { case 0: active[3] = 0; ends[3] = 0; tdone[3] = 1; break; case 1: switch (S25) { case 0: if (breakme_1.getprestatus()) { S25 = 1; len_thread_3 = 0; len_thread_3 = tosend_thread_3.length; S28 = 0; if (y_thread_3 == len_thread_3) { breakme_1.setPresent(); currsigs.addElement(breakme_1); // .println("Emitted breakme_1"); S28 = 1; active[3] = 1; ends[3] = 1; tdone[3] = 1; } else { r_thread_3 = 0; r_thread_3 = tosend_thread_3[y_thread_3]; S36 = 0; if (data1_o.get_preempted()) { tutu__1226402325 = 0; tutu__1226402325 = data1_o.get_preempted() ? data1_o.refresh() : 0; S36 = 1; active[3] = 1; ends[3] = 1; tdone[3] = 1; } else { S31 = 0; if (data1_o.get_w_s() == data1_o.get_w_r()) { tutu__848418627 = 0; tutu__848418627 = data1_o.get_w_s(); tutu__848418627++; data1_o.set_w_s(tutu__848418627); data1_o.set_value(new Byte(r_thread_3)); S31 = 1; if (data1_o.get_w_s() == data1_o.get_w_r()) { ends[3] = 2; ; y_thread_3 = y_thread_3 + 1; S28 = 1; active[3] = 1; ends[3] = 1; tdone[3] = 1; } else { active[3] = 1; ends[3] = 1; tdone[3] = 1; } } else { active[3] = 1; ends[3] = 1; tdone[3] = 1; } } } } else { active[3] = 1; ends[3] = 1; tdone[3] = 1; } break; case 1: if (breakme_1.getprestatus()) { data1_o.refresh(); S588 = 0; active[3] = 0; ends[3] = 0; tdone[3] = 1; } else { switch (S28) { case 0: switch (S36) { case 0: if (data1_o.get_preempted()) { tutu__1807839633 = 0; tutu__1807839633 = data1_o.get_preempted() ? data1_o.refresh() : 0; S36 = 1; active[3] = 1; ends[3] = 1; tdone[3] = 1; } else { switch (S31) { case 0: if (data1_o.get_w_s() == data1_o.get_w_r()) { tutu__1660223482 = 0; tutu__1660223482 = data1_o.get_w_s(); tutu__1660223482++; data1_o.set_w_s(tutu__1660223482); data1_o.set_value(new Byte(r_thread_3)); S31 = 1; if (data1_o.get_w_s() == data1_o.get_w_r()) { ends[3] = 2; ; y_thread_3 = y_thread_3 + 1; S28 = 1; active[3] = 1; ends[3] = 1; tdone[3] = 1; } else { active[3] = 1; ends[3] = 1; tdone[3] = 1; } } else { active[3] = 1; ends[3] = 1; tdone[3] = 1; } break; case 1: if (data1_o.get_w_s() == data1_o.get_w_r()) { ends[3] = 2; ; y_thread_3 = y_thread_3 + 1; S28 = 1; active[3] = 1; ends[3] = 1; tdone[3] = 1; } else { active[3] = 1; ends[3] = 1; tdone[3] = 1; } break; } } break; case 1: S36 = 1; S36 = 0; if (data1_o.get_preempted()) { tutu__1807839633 = 0; tutu__1807839633 = data1_o.get_preempted() ? data1_o.refresh() : 0; S36 = 1; active[3] = 1; ends[3] = 1; tdone[3] = 1; } else { S31 = 0; if (data1_o.get_w_s() == data1_o.get_w_r()) { tutu__1660223482 = 0; tutu__1660223482 = data1_o.get_w_s(); tutu__1660223482++; data1_o.set_w_s(tutu__1660223482); data1_o.set_value(new Byte(r_thread_3)); S31 = 1; if (data1_o.get_w_s() == data1_o.get_w_r()) { ends[3] = 2; ; y_thread_3 = y_thread_3 + 1; S28 = 1; active[3] = 1; ends[3] = 1; tdone[3] = 1; } else { active[3] = 1; ends[3] = 1; tdone[3] = 1; } } else { active[3] = 1; ends[3] = 1; tdone[3] = 1; } } break; } break; case 1: S28 = 1; len_thread_3 = 0; len_thread_3 = tosend_thread_3.length; S28 = 0; if (y_thread_3 == len_thread_3) { breakme_1.setPresent(); currsigs.addElement(breakme_1); // .println("Emitted breakme_1"); S28 = 1; active[3] = 1; ends[3] = 1; tdone[3] = 1; } else { r_thread_3 = 0; r_thread_3 = tosend_thread_3[y_thread_3]; S36 = 0; if (data1_o.get_preempted()) { tutu__813548153 = 0; tutu__813548153 = data1_o.get_preempted() ? data1_o.refresh() : 0; S36 = 1; active[3] = 1; ends[3] = 1; tdone[3] = 1; } else { S31 = 0; if (data1_o.get_w_s() == data1_o.get_w_r()) { tutu__885739271 = 0; tutu__885739271 = data1_o.get_w_s(); tutu__885739271++; data1_o.set_w_s(tutu__885739271); data1_o.set_value(new Byte(r_thread_3)); S31 = 1; if (data1_o.get_w_s() == data1_o.get_w_r()) { ends[3] = 2; ; y_thread_3 = y_thread_3 + 1; S28 = 1; active[3] = 1; ends[3] = 1; tdone[3] = 1; } else { active[3] = 1; ends[3] = 1; tdone[3] = 1; } } else { active[3] = 1; ends[3] = 1; tdone[3] = 1; } } } break; } } break; } break; } } }