diff options
author | Ted Kremenek <kremenek@apple.com> | 2010-12-01 21:28:31 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2010-12-01 21:28:31 +0000 |
commit | 846eabd187be4bfe992e8bca131166b734d86e0d (patch) | |
tree | 665d8a86d76612f2b117ca9c6fd53e4f1f146105 /include/clang/Checker | |
parent | 2ab03034925829614eb9ed186d0a4fb6f8e2b69a (diff) |
Rename 'SValuator' to 'SValBuilder'. The new name
reflects what the class actually does.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@120605 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Checker')
-rw-r--r-- | include/clang/Checker/PathSensitive/Checker.h | 4 | ||||
-rw-r--r-- | include/clang/Checker/PathSensitive/GRExprEngine.h | 16 | ||||
-rw-r--r-- | include/clang/Checker/PathSensitive/SValBuilder.h (renamed from include/clang/Checker/PathSensitive/SValuator.h) | 16 | ||||
-rw-r--r-- | include/clang/Checker/PathSensitive/ValueManager.h | 10 |
4 files changed, 23 insertions, 23 deletions
diff --git a/include/clang/Checker/PathSensitive/Checker.h b/include/clang/Checker/PathSensitive/Checker.h index 136a29da5f..6ea5b77163 100644 --- a/include/clang/Checker/PathSensitive/Checker.h +++ b/include/clang/Checker/PathSensitive/Checker.h @@ -91,8 +91,8 @@ public: return Eng.getValueManager(); } - SValuator &getSValuator() { - return Eng.getSValuator(); + SValBuilder &getSValBuilder() { + return Eng.getSValBuilder(); } ExplodedNode *GenerateNode(bool autoTransition = true) { diff --git a/include/clang/Checker/PathSensitive/GRExprEngine.h b/include/clang/Checker/PathSensitive/GRExprEngine.h index 519a3e4c6f..69a81ef1b6 100644 --- a/include/clang/Checker/PathSensitive/GRExprEngine.h +++ b/include/clang/Checker/PathSensitive/GRExprEngine.h @@ -53,8 +53,8 @@ class GRExprEngine : public GRSubEngine { /// ValMgr - Object that manages/creates SVals. ValueManager &ValMgr; - /// SVator - SValuator object that creates SVals from expressions. - SValuator &SVator; + /// svalBuilder - SValBuilder object that creates SVals from expressions. + SValBuilder &svalBuilder; /// EntryNode - The immediate predecessor node. ExplodedNode* EntryNode; @@ -136,7 +136,7 @@ public: virtual AnalysisManager &getAnalysisManager() { return AMgr; } - SValuator &getSValuator() { return SVator; } + SValBuilder &getSValBuilder() { return svalBuilder; } GRTransferFuncs& getTF() { return *TF; } @@ -484,28 +484,28 @@ public: const Expr *Ex); SVal EvalMinus(SVal X) { - return X.isValid() ? SVator.EvalMinus(cast<NonLoc>(X)) : X; + return X.isValid() ? svalBuilder.EvalMinus(cast<NonLoc>(X)) : X; } SVal EvalComplement(SVal X) { - return X.isValid() ? SVator.EvalComplement(cast<NonLoc>(X)) : X; + return X.isValid() ? svalBuilder.EvalComplement(cast<NonLoc>(X)) : X; } public: SVal EvalBinOp(const GRState *state, BinaryOperator::Opcode op, NonLoc L, NonLoc R, QualType T) { - return SVator.EvalBinOpNN(state, op, L, R, T); + return svalBuilder.EvalBinOpNN(state, op, L, R, T); } SVal EvalBinOp(const GRState *state, BinaryOperator::Opcode op, NonLoc L, SVal R, QualType T) { - return R.isValid() ? SVator.EvalBinOpNN(state,op,L, cast<NonLoc>(R), T) : R; + return R.isValid() ? svalBuilder.EvalBinOpNN(state,op,L, cast<NonLoc>(R), T) : R; } SVal EvalBinOp(const GRState *ST, BinaryOperator::Opcode Op, SVal LHS, SVal RHS, QualType T) { - return SVator.EvalBinOp(ST, Op, LHS, RHS, T); + return svalBuilder.EvalBinOp(ST, Op, LHS, RHS, T); } protected: diff --git a/include/clang/Checker/PathSensitive/SValuator.h b/include/clang/Checker/PathSensitive/SValBuilder.h index 9192ca7b86..22e0cc683c 100644 --- a/include/clang/Checker/PathSensitive/SValuator.h +++ b/include/clang/Checker/PathSensitive/SValBuilder.h @@ -1,4 +1,4 @@ -// SValuator.h - Construction of SVals from evaluating expressions -*- C++ -*--- +// SValBuilder.h - Construction of SVals from evaluating expressions -*- C++ -*- // // The LLVM Compiler Infrastructure // @@ -7,13 +7,13 @@ // //===----------------------------------------------------------------------===// // -// This file defines SValuator, a class that defines the interface for +// This file defines SValBuilder, a class that defines the interface for // "symbolical evaluators" which construct an SVal from an expression. // //===----------------------------------------------------------------------===// -#ifndef LLVM_CLANG_ANALYSIS_SVALUATOR -#define LLVM_CLANG_ANALYSIS_SVALUATOR +#ifndef LLVM_CLANG_ANALYSIS_SVALBUILDER +#define LLVM_CLANG_ANALYSIS_SVALBUILDER #include "clang/AST/Expr.h" #include "clang/Checker/PathSensitive/SVals.h" @@ -23,7 +23,7 @@ namespace clang { class GRState; class ValueManager; -class SValuator { +class SValBuilder { friend class ValueManager; protected: ValueManager &ValMgr; @@ -35,8 +35,8 @@ public: virtual SVal EvalCastL(Loc val, QualType castTy) = 0; public: - SValuator(ValueManager &valMgr) : ValMgr(valMgr) {} - virtual ~SValuator() {} + SValBuilder(ValueManager &valMgr) : ValMgr(valMgr) {} + virtual ~SValBuilder() {} SVal EvalCast(SVal V, QualType castTy, QualType originalType); @@ -64,7 +64,7 @@ public: DefinedOrUnknownSVal R); }; -SValuator* CreateSimpleSValuator(ValueManager &valMgr); +SValBuilder* createSimpleSValBuilder(ValueManager &valMgr); } // end clang namespace #endif diff --git a/include/clang/Checker/PathSensitive/ValueManager.h b/include/clang/Checker/PathSensitive/ValueManager.h index b81e9c1502..98b4f21f31 100644 --- a/include/clang/Checker/PathSensitive/ValueManager.h +++ b/include/clang/Checker/PathSensitive/ValueManager.h @@ -21,7 +21,7 @@ #include "clang/Checker/PathSensitive/SVals.h" #include "clang/Checker/PathSensitive/BasicValueFactory.h" #include "clang/Checker/PathSensitive/SymbolManager.h" -#include "clang/Checker/PathSensitive/SValuator.h" +#include "clang/Checker/PathSensitive/SValBuilder.h" #include "clang/AST/ExprCXX.h" namespace llvm { class BumpPtrAllocator; } @@ -38,8 +38,8 @@ class ValueManager { /// SymMgr - Object that manages the symbol information. SymbolManager SymMgr; - /// SVator - SValuator object that creates SVals from expressions. - llvm::OwningPtr<SValuator> SVator; + /// svalBuilder - SValBuilder object that creates SVals from expressions. + llvm::OwningPtr<SValBuilder> svalBuilder; MemRegionManager MemMgr; @@ -57,7 +57,7 @@ public: ArrayIndexTy(context.IntTy), ArrayIndexWidth(context.getTypeSize(ArrayIndexTy)) { // FIXME: Generalize later. - SVator.reset(clang::CreateSimpleSValuator(*this)); + svalBuilder.reset(clang::createSimpleSValBuilder(*this)); } // Accessors to submanagers. @@ -73,7 +73,7 @@ public: SymbolManager &getSymbolManager() { return SymMgr; } const SymbolManager &getSymbolManager() const { return SymMgr; } - SValuator &getSValuator() { return *SVator.get(); } + SValBuilder &getSValBuilder() { return *svalBuilder.get(); } MemRegionManager &getRegionManager() { return MemMgr; } const MemRegionManager &getRegionManager() const { return MemMgr; } |