aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Checker
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2010-12-01 21:28:31 +0000
committerTed Kremenek <kremenek@apple.com>2010-12-01 21:28:31 +0000
commit846eabd187be4bfe992e8bca131166b734d86e0d (patch)
tree665d8a86d76612f2b117ca9c6fd53e4f1f146105 /include/clang/Checker
parent2ab03034925829614eb9ed186d0a4fb6f8e2b69a (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.h4
-rw-r--r--include/clang/Checker/PathSensitive/GRExprEngine.h16
-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.h10
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; }