Lines Matching defs:emission_path
536 checker_path emission_path;
538 /* Populate emission_path with a full description of EPATH. */
539 build_emission_path (pb, epath, &emission_path);
542 prune_path (&emission_path, sd.m_sm, sd.m_var, sd.m_state);
548 emission_path.add_final_event (sd.m_sm, epath.get_final_enode (), stmt,
555 add_events_for_eedge (pb, *sd.m_trailing_eedge, &emission_path);
557 emission_path.prepare_for_emission (sd.m_d);
560 rich_loc.set_path (&emission_path);
630 checker_path *emission_path) const
636 add_events_for_eedge (pb, *eedge, emission_path);
647 checker_path *emission_path)
649 m_emission_path (emission_path)
818 checker_path *emission_path) const
855 state_change_event_creator visitor (eedge, emission_path);
862 eedge.m_custom_info->add_events_to_path (emission_path, eedge);
873 add_events_for_superedge (pb, eedge, emission_path);
878 emission_path->add_event
890 emission_path->add_event
897 emission_path->add_event
985 checker_path *emission_path)
1007 emission_path->add_event
1014 emission_path->add_event
1024 emission_path->add_event
1038 emission_path->add_event
1054 emission_path->add_event