From 52c3196a89a26cebcf069dd140c3396b743b8e33 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Wed, 13 May 2009 19:14:06 +0000 Subject: [PATCH] Add ExplodedNode utility methods 'getLocationAs()' and 'getFirstPred()' git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71699 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/clang/Analysis/PathSensitive/ExplodedGraph.h | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/include/clang/Analysis/PathSensitive/ExplodedGraph.h b/include/clang/Analysis/PathSensitive/ExplodedGraph.h index f00e48887e..8494d93565 100644 --- a/include/clang/Analysis/PathSensitive/ExplodedGraph.h +++ b/include/clang/Analysis/PathSensitive/ExplodedGraph.h @@ -123,6 +123,9 @@ public: /// getLocation - Returns the edge associated with the given node. ProgramPoint getLocation() const { return Location; } + template + const T* getLocationAs() const { return llvm::dyn_cast(&Location); } + unsigned succ_size() const { return Succs.size(); } unsigned pred_size() const { return Preds.size(); } bool succ_empty() const { return Succs.empty(); } @@ -183,6 +186,14 @@ public: ExplodedNodeImpl::addPredecessor(V); } + ExplodedNode* getFirstPred() { + return pred_empty() ? NULL : *(pred_begin()); + } + + const ExplodedNode* getFirstPred() const { + return const_cast(this)->getFirstPred(); + } + // Iterators over successor and predecessor vertices. typedef ExplodedNode** succ_iterator; typedef const ExplodedNode* const * const_succ_iterator; -- 2.50.1