aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/ExplodedGraph.h
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-08-27 01:56:11 +0000
committerTed Kremenek <kremenek@apple.com>2008-08-27 01:56:11 +0000
commit2e287540c90255e14208e7e5f43f07cb752a1fd7 (patch)
tree54f9790fc949923262d3fe61f0fd586c60f24ddf /include/clang/Analysis/PathSensitive/ExplodedGraph.h
parent45b8789258b282769b03cbeb68e9f5b0308f067b (diff)
Added "Auditor" interface for auditing the construction of ExplodedGraphs.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@55403 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Analysis/PathSensitive/ExplodedGraph.h')
-rw-r--r--include/clang/Analysis/PathSensitive/ExplodedGraph.h14
1 files changed, 13 insertions, 1 deletions
diff --git a/include/clang/Analysis/PathSensitive/ExplodedGraph.h b/include/clang/Analysis/PathSensitive/ExplodedGraph.h
index c85d1e9107..3406d178dd 100644
--- a/include/clang/Analysis/PathSensitive/ExplodedGraph.h
+++ b/include/clang/Analysis/PathSensitive/ExplodedGraph.h
@@ -123,7 +123,19 @@ public:
bool pred_empty() const { return Preds.empty(); }
bool isSink() const { return Succs.getFlag(); }
- void markAsSink() { Succs.setFlag(); }
+ void markAsSink() { Succs.setFlag(); }
+
+ // For debugging.
+
+public:
+
+ class Auditor {
+ public:
+ virtual ~Auditor();
+ virtual void AddEdge(ExplodedNodeImpl* Src, ExplodedNodeImpl* Dst) = 0;
+ };
+
+ static void SetAuditor(Auditor* A);
};