Searched refs:replace_event (Results 1 – 4 of 4) sorted by relevance
575 void replace_event (unsigned idx, checker_event *new_event) in replace_event() function
2704 path->replace_event (start_idx, new_start_ev); in consolidate_conditions()2705 path->replace_event (start_idx + 1, new_end_ev); in consolidate_conditions()
3183 (checker_path::replace_event): New.
32817 class, taking over the role of replace_event.32819 (class replace_event): Rename to class line_event. Convert to