From 3bc7b6bef968a18aa69af6594d192897d329692a Mon Sep 17 00:00:00 2001 From: David Blaikie Date: Wed, 20 Feb 2013 22:22:59 +0000 Subject: [PATCH] Rename SVal::isType functions to SVal::isKind Post-commit CR feedback from Jordan Rose regarding r175594. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@175676 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../StaticAnalyzer/Core/PathSensitive/SVals.h | 48 +++++++++---------- 1 file changed, 24 insertions(+), 24 deletions(-) diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h b/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h index def060f3fb..9b6dc53ce1 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h @@ -71,7 +71,7 @@ public: template T castAs() const { - assert(T::isType(*this)); + assert(T::isKind(*this)); T t; SVal& sv = t; sv = *this; @@ -80,7 +80,7 @@ public: template llvm::Optional getAs() const { - if (!T::isType(*this)) + if (!T::isKind(*this)) return llvm::Optional(); T t; SVal& sv = t; @@ -182,7 +182,7 @@ public: private: friend class SVal; - static bool isType(const SVal& V) { + static bool isKind(const SVal& V) { return V.getBaseKind() == UndefinedKind; } }; @@ -204,7 +204,7 @@ protected: private: friend class SVal; - static bool isType(const SVal& V) { + static bool isKind(const SVal& V) { return !V.isUndef(); } }; @@ -215,7 +215,7 @@ public: private: friend class SVal; - static bool isType(const SVal& V) { + static bool isKind(const SVal& V) { return V.getBaseKind() == UnknownKind; } }; @@ -233,7 +233,7 @@ protected: : DefinedOrUnknownSVal(d, isLoc, ValKind) {} private: friend class SVal; - static bool isType(const SVal& V) { + static bool isKind(const SVal& V) { return !V.isUnknownOrUndef(); } }; @@ -249,7 +249,7 @@ public: private: friend class SVal; - static bool isType(const SVal& V) { + static bool isKind(const SVal& V) { return V.getBaseKind() == NonLocKind; } }; @@ -270,7 +270,7 @@ public: private: friend class SVal; - static bool isType(const SVal& V) { + static bool isKind(const SVal& V) { return V.getBaseKind() == LocKind; } }; @@ -300,12 +300,12 @@ public: private: friend class SVal; SymbolVal() {} - static bool isType(const SVal& V) { + static bool isKind(const SVal& V) { return V.getBaseKind() == NonLocKind && V.getSubKind() == SymbolValKind; } - static bool isType(const NonLoc& V) { + static bool isKind(const NonLoc& V) { return V.getSubKind() == SymbolValKind; } }; @@ -330,12 +330,12 @@ public: private: friend class SVal; ConcreteInt() {} - static bool isType(const SVal& V) { + static bool isKind(const SVal& V) { return V.getBaseKind() == NonLocKind && V.getSubKind() == ConcreteIntKind; } - static bool isType(const NonLoc& V) { + static bool isKind(const NonLoc& V) { return V.getSubKind() == ConcreteIntKind; } }; @@ -372,12 +372,12 @@ public: private: friend class SVal; LocAsInteger() {} - static bool isType(const SVal& V) { + static bool isKind(const SVal& V) { return V.getBaseKind() == NonLocKind && V.getSubKind() == LocAsIntegerKind; } - static bool isType(const NonLoc& V) { + static bool isKind(const NonLoc& V) { return V.getSubKind() == LocAsIntegerKind; } }; @@ -399,11 +399,11 @@ public: private: friend class SVal; CompoundVal() {} - static bool isType(const SVal& V) { + static bool isKind(const SVal& V) { return V.getBaseKind() == NonLocKind && V.getSubKind() == CompoundValKind; } - static bool isType(const NonLoc& V) { + static bool isKind(const NonLoc& V) { return V.getSubKind() == CompoundValKind; } }; @@ -423,11 +423,11 @@ public: private: friend class SVal; LazyCompoundVal() {} - static bool isType(const SVal& V) { + static bool isKind(const SVal& V) { return V.getBaseKind() == NonLocKind && V.getSubKind() == LazyCompoundValKind; } - static bool isType(const NonLoc& V) { + static bool isKind(const NonLoc& V) { return V.getSubKind() == LazyCompoundValKind; } }; @@ -453,11 +453,11 @@ public: private: friend class SVal; GotoLabel() {} - static bool isType(const SVal& V) { + static bool isKind(const SVal& V) { return V.getBaseKind() == LocKind && V.getSubKind() == GotoLabelKind; } - static bool isType(const Loc& V) { + static bool isKind(const Loc& V) { return V.getSubKind() == GotoLabelKind; } }; @@ -491,12 +491,12 @@ public: private: friend class SVal; MemRegionVal() {} - static bool isType(const SVal& V) { + static bool isKind(const SVal& V) { return V.getBaseKind() == LocKind && V.getSubKind() == MemRegionKind; } - static bool isType(const Loc& V) { + static bool isKind(const Loc& V) { return V.getSubKind() == MemRegionKind; } }; @@ -516,12 +516,12 @@ public: private: friend class SVal; ConcreteInt() {} - static bool isType(const SVal& V) { + static bool isKind(const SVal& V) { return V.getBaseKind() == LocKind && V.getSubKind() == ConcreteIntKind; } - static bool isType(const Loc& V) { + static bool isKind(const Loc& V) { return V.getSubKind() == ConcreteIntKind; } }; -- 2.40.0