467 strcmp(qualifier, "DS") == 0 || strcmp(qualifier, "SL") == 0 || |
467 strcmp(qualifier, "DS") == 0 || strcmp(qualifier, "SL") == 0 || |
468 strcmp(qualifier, "S") == 0 || strcmp(qualifier, "R") == 0) { |
468 strcmp(qualifier, "S") == 0 || strcmp(qualifier, "R") == 0) { |
469 s4o.print("activated"); |
469 s4o.print("activated"); |
470 } |
470 } |
471 if (strcmp(qualifier, "D") == 0 || strcmp(qualifier, "L") == 0) { |
471 if (strcmp(qualifier, "D") == 0 || strcmp(qualifier, "L") == 0) { |
472 s4o.print("active && "); |
472 s4o.print("active && __TIME_CMP("); |
473 print_step_argument(current_step, "elapsed_time"); |
473 print_step_argument(current_step, "elapsed_time"); |
|
474 s4o.print(", "); |
|
475 symbol->action_time->accept(*this); |
474 if (strcmp(qualifier, "D") == 0) { |
476 if (strcmp(qualifier, "D") == 0) { |
475 s4o.print(" >= "); |
477 s4o.print(") >= 0"); |
476 } |
478 } |
477 else { |
479 else { |
478 s4o.print(" < "); |
480 s4o.print(") < 0"); |
479 } |
481 } |
480 symbol->action_time->accept(*this); |
|
481 } |
482 } |
482 s4o.print(") {\n"); |
483 s4o.print(") {\n"); |
483 s4o.indent_right(); |
484 s4o.indent_right(); |
484 s4o.print(s4o.indent_spaces); |
485 s4o.print(s4o.indent_spaces); |
485 if (strcmp(qualifier, "N") == 0 || strcmp(qualifier, "P") == 0 || |
486 if (strcmp(qualifier, "N") == 0 || strcmp(qualifier, "P") == 0 || |