diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-08-27 01:56:11 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-08-27 01:56:11 +0000 |
commit | 2e287540c90255e14208e7e5f43f07cb752a1fd7 (patch) | |
tree | 54f9790fc949923262d3fe61f0fd586c60f24ddf /include/clang/Analysis/PathSensitive/ExplodedGraph.h | |
parent | 45b8789258b282769b03cbeb68e9f5b0308f067b (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.h | 14 |
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); }; |