* */
| 568 | * |
| 569 | */ |
| 570 | void |
| 571 | Effect::Output(std::ostream &out) const |
| 572 | { |
| 573 | vector<Variable *>::size_type len; |
| 574 | vector<Variable *>::size_type i; |
| 575 | |
| 576 | std::ostringstream ss; |
| 577 | |
| 578 | ss << std::endl; |
| 579 | ss << " * reads :"; |
| 580 | len = read_vars.size(); |
| 581 | for (i = 0; i < len; ++i) { |
| 582 | ss << " "; |
| 583 | read_vars[i]->OutputForComment(ss); |
| 584 | |
| 585 | } |
| 586 | ss << endl; |
| 587 | |
| 588 | ss << " * writes:"; |
| 589 | len = write_vars.size(); |
| 590 | for (i = 0; i < len; ++i) { |
| 591 | ss << " "; |
| 592 | write_vars[i]->OutputForComment(ss); |
| 593 | } |
| 594 | ss << endl; |
| 595 | |
| 596 | output_comment_line(out, ss.str()); |
| 597 | } |
| 598 | |
| 599 | /* |
| 600 | * |
nothing calls this directly
no test coverage detected