Searched refs:Auditor (Results 1 – 3 of 3) sorted by relevance
57 static std::unique_ptr<ExplodedNode::Auditor> CreateUbiViz();649 std::unique_ptr<ExplodedNode::Auditor> Auditor; in ActionExprEngine() local651 Auditor = CreateUbiViz(); in ActionExprEngine()652 ExplodedNode::SetAuditor(Auditor.get()); in ActionExprEngine()715 class UbigraphViz : public ExplodedNode::Auditor {733 static std::unique_ptr<ExplodedNode::Auditor> CreateUbiViz() { in CreateUbiViz()
34 ExplodedNode::Auditor::~Auditor() {} in ~Auditor()37 static ExplodedNode::Auditor* NodeAuditor = nullptr;40 void ExplodedNode::SetAuditor(ExplodedNode::Auditor* A) { in SetAuditor()
231 class Auditor {233 virtual ~Auditor();237 static void SetAuditor(Auditor* A);