diff options
author | Ted Kremenek <kremenek@apple.com> | 2010-12-20 21:19:09 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2010-12-20 21:19:09 +0000 |
commit | d048c6ef5b6cfaa0cecb8cc1d4bdace32ed21d07 (patch) | |
tree | 603448a0e4c579fe80d310bf160f3fdba68c7515 /include/clang/Checker/PathSensitive | |
parent | 21a288f2ee8673d91e2d0b7d5aaca567c332de13 (diff) |
Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122270 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Checker/PathSensitive')
-rw-r--r-- | include/clang/Checker/PathSensitive/Checker.h | 30 | ||||
-rw-r--r-- | include/clang/Checker/PathSensitive/GRCoreEngine.h | 6 |
2 files changed, 18 insertions, 18 deletions
diff --git a/include/clang/Checker/PathSensitive/Checker.h b/include/clang/Checker/PathSensitive/Checker.h index 6077ed78e2..7693983e3a 100644 --- a/include/clang/Checker/PathSensitive/Checker.h +++ b/include/clang/Checker/PathSensitive/Checker.h @@ -91,47 +91,47 @@ public: return Eng.getSValBuilder(); } - ExplodedNode *GenerateNode(bool autoTransition = true) { + ExplodedNode *generateNode(bool autoTransition = true) { assert(statement && "Only transitions with statements currently supported"); - ExplodedNode *N = GenerateNodeImpl(statement, getState(), false); + ExplodedNode *N = generateNodeImpl(statement, getState(), false); if (N && autoTransition) Dst.Add(N); return N; } - ExplodedNode *GenerateNode(const Stmt *stmt, const GRState *state, + ExplodedNode *generateNode(const Stmt *stmt, const GRState *state, bool autoTransition = true) { assert(state); - ExplodedNode *N = GenerateNodeImpl(stmt, state, false); + ExplodedNode *N = generateNodeImpl(stmt, state, false); if (N && autoTransition) addTransition(N); return N; } - ExplodedNode *GenerateNode(const GRState *state, ExplodedNode *pred, + ExplodedNode *generateNode(const GRState *state, ExplodedNode *pred, bool autoTransition = true) { assert(statement && "Only transitions with statements currently supported"); - ExplodedNode *N = GenerateNodeImpl(statement, state, pred, false); + ExplodedNode *N = generateNodeImpl(statement, state, pred, false); if (N && autoTransition) addTransition(N); return N; } - ExplodedNode *GenerateNode(const GRState *state, bool autoTransition = true) { + ExplodedNode *generateNode(const GRState *state, bool autoTransition = true) { assert(statement && "Only transitions with statements currently supported"); - ExplodedNode *N = GenerateNodeImpl(statement, state, false); + ExplodedNode *N = generateNodeImpl(statement, state, false); if (N && autoTransition) addTransition(N); return N; } - ExplodedNode *GenerateSink(const Stmt *stmt, const GRState *state = 0) { - return GenerateNodeImpl(stmt, state ? state : getState(), true); + ExplodedNode *generateSink(const Stmt *stmt, const GRState *state = 0) { + return generateNodeImpl(stmt, state ? state : getState(), true); } - ExplodedNode *GenerateSink(const GRState *state = 0) { + ExplodedNode *generateSink(const GRState *state = 0) { assert(statement && "Only transitions with statements currently supported"); - return GenerateNodeImpl(statement, state ? state : getState(), true); + return generateNodeImpl(statement, state ? state : getState(), true); } void addTransition(ExplodedNode *node) { @@ -144,7 +144,7 @@ public: // is new. if (state != getState() || (ST && ST != B.GetState(Pred))) // state is new or equals to ST. - GenerateNode(state, true); + generateNode(state, true); else Dst.Add(Pred); } @@ -166,7 +166,7 @@ public: } private: - ExplodedNode *GenerateNodeImpl(const Stmt* stmt, const GRState *state, + ExplodedNode *generateNodeImpl(const Stmt* stmt, const GRState *state, bool markAsSink) { ExplodedNode *node = B.generateNode(stmt, state, Pred); if (markAsSink && node) @@ -174,7 +174,7 @@ private: return node; } - ExplodedNode *GenerateNodeImpl(const Stmt* stmt, const GRState *state, + ExplodedNode *generateNodeImpl(const Stmt* stmt, const GRState *state, ExplodedNode *pred, bool markAsSink) { ExplodedNode *node = B.generateNode(stmt, state, pred); if (markAsSink && node) diff --git a/include/clang/Checker/PathSensitive/GRCoreEngine.h b/include/clang/Checker/PathSensitive/GRCoreEngine.h index 8e9f3973b6..d8349ba3ce 100644 --- a/include/clang/Checker/PathSensitive/GRCoreEngine.h +++ b/include/clang/Checker/PathSensitive/GRCoreEngine.h @@ -66,7 +66,7 @@ private: /// too many times. BlocksAborted blocksAborted; - void GenerateNode(const ProgramPoint& Loc, const GRState* State, + void generateNode(const ProgramPoint& Loc, const GRState* State, ExplodedNode* Pred); void HandleBlockEdge(const BlockEdge& E, ExplodedNode* Pred); @@ -515,7 +515,7 @@ public: unsigned getIndex() const { return Index; } - void GenerateNode(const GRState *state); + void generateNode(const GRState *state); }; class GRCallExitNodeBuilder { @@ -530,7 +530,7 @@ public: const GRState *getState() const { return Pred->getState(); } - void GenerateNode(const GRState *state); + void generateNode(const GRState *state); }; } // end clang namespace |