| 55 | }; |
| 56 | |
| 57 | void stats_collecting_logger::generated(prod &query) |
| 58 | { |
| 59 | queries++; |
| 60 | |
| 61 | stats_visitor v; |
| 62 | query.accept(&v); |
| 63 | |
| 64 | sum_nodes += v.nodes; |
| 65 | sum_height += v.maxlevel; |
| 66 | sum_retries += v.retries; |
| 67 | } |
| 68 | |
| 69 | void cerr_logger::report() |
| 70 | { |