| 537 |
case OP_MARK: |
case OP_MARK: |
| 538 |
case OP_PRUNE_ARG: |
case OP_PRUNE_ARG: |
| 539 |
case OP_SKIP_ARG: |
case OP_SKIP_ARG: |
|
case OP_THEN_ARG: |
|
| 540 |
fprintf(f, " %s %s", OP_names[*code], code + 2); |
fprintf(f, " %s %s", OP_names[*code], code + 2); |
| 541 |
extra += code[1]; |
extra += code[1]; |
| 542 |
break; |
break; |
| 543 |
|
|
| 544 |
|
case OP_THEN: |
| 545 |
|
if (print_lengths) |
| 546 |
|
fprintf(f, " %s %d", OP_names[*code], GET(code, 1)); |
| 547 |
|
else |
| 548 |
|
fprintf(f, " %s", OP_names[*code]); |
| 549 |
|
break; |
| 550 |
|
|
| 551 |
|
case OP_THEN_ARG: |
| 552 |
|
if (print_lengths) |
| 553 |
|
fprintf(f, " %s %d %s", OP_names[*code], GET(code, 1), |
| 554 |
|
code + 2 + LINK_SIZE); |
| 555 |
|
else |
| 556 |
|
fprintf(f, " %s %s", OP_names[*code], code + 2 + LINK_SIZE); |
| 557 |
|
extra += code[1+LINK_SIZE]; |
| 558 |
|
break; |
| 559 |
|
|
| 560 |
/* Anything else is just an item with no data*/ |
/* Anything else is just an item with no data*/ |
| 561 |
|
|