Searched refs:exploded_graph_annotator (Results 1 – 3 of 3) sorted by relevance
3750 class exploded_graph_annotator : public dot_annotator class3753 exploded_graph_annotator (const exploded_graph &eg) in exploded_graph_annotator() function in ana::exploded_graph_annotator4057 exploded_graph_annotator a (eg); in impl_run_checkers()
5479 class exploded_graph_annotator : public dot_annotator class5482 exploded_graph_annotator (const exploded_graph &eg) in exploded_graph_annotator() function in ana::exploded_graph_annotator5844 exploded_graph_annotator a (eg); in impl_run_checkers()
2807 (exploded_graph_annotator::print_enode): Iterate3034 * engine.cc (exploded_graph_annotator::print_saved_diagnostic):3925 (exploded_graph_annotator::add_node_annotations):3937 (exploded_graph_annotator::print_enode): Show STATUS_BULK_MERGED.6035 (class exploded_graph_annotator): New subclass of dot_annotator.6037 after the analysis runs, using exploded_graph_annotator. dumping