| 110 | } |
| 111 | |
| 112 | void |
| 113 | CoverageTestExtension::OutputFirstFunInvocation(std::ostream &out, FunctionInvocation *invoke) |
| 114 | { |
| 115 | out << AbsExtension::tab_ << "for(" << array_index_ << " = 0; "; |
| 116 | out << array_index_ << " < " << inputs_size_ << "; " << array_index_ << "++) {" << std::endl; |
| 117 | vector<ExtensionValue *>::iterator i; |
| 118 | int count = 0; |
| 119 | for (i = values_.begin(); i != values_.end(); ++i) { |
| 120 | out << AbsExtension::tab_ << AbsExtension::tab_; |
| 121 | out << (*i)->get_name() << " = "; |
| 122 | out << CoverageTestExtension::array_base_name_ << count; |
| 123 | out << "[" << array_index_ << "];" << std::endl; |
| 124 | count++; |
| 125 | } |
| 126 | assert(invoke); |
| 127 | out << AbsExtension::tab_ << AbsExtension::tab_; |
| 128 | invoke->Output(out); |
| 129 | out << ";" << std::endl; |
| 130 | out << AbsExtension::tab_ << "}" << std::endl; |
| 131 | } |
| 132 | |
| 133 | void |
| 134 | CoverageTestExtension::OutputInit(std::ostream &out) |