equal
deleted
inserted
replaced
183 } |
183 } |
184 } |
184 } |
185 |
185 |
186 void ReplacedNodes::dump(outputStream *st) const { |
186 void ReplacedNodes::dump(outputStream *st) const { |
187 if (!is_empty()) { |
187 if (!is_empty()) { |
188 tty->print("replaced nodes: "); |
188 st->print("replaced nodes: "); |
189 for (int i = 0; i < _replaced_nodes->length(); i++) { |
189 for (int i = 0; i < _replaced_nodes->length(); i++) { |
190 tty->print("%d->%d", _replaced_nodes->at(i).initial()->_idx, _replaced_nodes->at(i).improved()->_idx); |
190 st->print("%d->%d", _replaced_nodes->at(i).initial()->_idx, _replaced_nodes->at(i).improved()->_idx); |
191 if (i < _replaced_nodes->length()-1) { |
191 if (i < _replaced_nodes->length()-1) { |
192 tty->print(","); |
192 st->print(","); |
193 } |
193 } |
194 } |
194 } |
195 } |
195 } |
196 } |
196 } |
197 |
197 |