| 92 | } |
| 93 | |
| 94 | void |
| 95 | CoverageTestExtension::output_decls(std::ostream &out) |
| 96 | { |
| 97 | AbsExtension::default_output_definitions(out, values_, false); |
| 98 | vector<ExtensionValue *>::iterator i; |
| 99 | int count = 0; |
| 100 | for (i = values_.begin(); i != values_.end(); ++i) { |
| 101 | out << AbsExtension::tab_; |
| 102 | (*i)->get_type()->Output(out); |
| 103 | out << " " << CoverageTestExtension::array_base_name_ << count; |
| 104 | out << "[" << inputs_size_ << "] = {"; |
| 105 | output_array_init(out, count); |
| 106 | out << "};" << std::endl; |
| 107 | count++; |
| 108 | } |
| 109 | out << AbsExtension::tab_ << "int " << array_index_ << ";" << std::endl; |
| 110 | } |
| 111 | |
| 112 | void |
| 113 | CoverageTestExtension::OutputFirstFunInvocation(std::ostream &out, FunctionInvocation *invoke) |