| 3528 | Exec_time_tracker *tracker; |
| 3529 | public: |
| 3530 | void set_time_tracker(Exec_time_tracker *tracker_arg) { tracker=tracker_arg;} |
| 3531 | Exec_time_tracker *get_time_tracker() { return tracker; } |
| 3532 | |
| 3533 | Item *pushed_idx_cond; |
no outgoing calls
no test coverage detected