aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/PathSensitive/CoreEngine.h
diff options
context:
space:
mode:
Diffstat (limited to 'include/clang/StaticAnalyzer/PathSensitive/CoreEngine.h')
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/CoreEngine.h40
1 files changed, 20 insertions, 20 deletions
diff --git a/include/clang/StaticAnalyzer/PathSensitive/CoreEngine.h b/include/clang/StaticAnalyzer/PathSensitive/CoreEngine.h
index 3d63982d73..ab2cf3bebd 100644
--- a/include/clang/StaticAnalyzer/PathSensitive/CoreEngine.h
+++ b/include/clang/StaticAnalyzer/PathSensitive/CoreEngine.h
@@ -40,7 +40,7 @@ class CoreEngine {
friend class BranchNodeBuilder;
friend class IndirectGotoNodeBuilder;
friend class SwitchNodeBuilder;
- friend class EndPathNodeBuilder;
+ friend class EndOfFunctionNodeBuilder;
friend class CallEnterNodeBuilder;
friend class CallExitNodeBuilder;
@@ -87,41 +87,41 @@ private:
return SubEng.getInitialState(InitLoc);
}
- void ProcessEndPath(EndPathNodeBuilder& Builder) {
- SubEng.ProcessEndPath(Builder);
+ void processEndOfFunction(EndOfFunctionNodeBuilder& Builder) {
+ SubEng.processEndOfFunction(Builder);
}
- void ProcessElement(const CFGElement E, StmtNodeBuilder& Builder) {
- SubEng.ProcessElement(E, Builder);
+ void processCFGElement(const CFGElement E, StmtNodeBuilder& Builder) {
+ SubEng.processCFGElement(E, Builder);
}
- bool ProcessBlockEntrance(const CFGBlock* Blk, const ExplodedNode *Pred,
+ bool processCFGBlockEntrance(const CFGBlock* Blk, const ExplodedNode *Pred,
BlockCounter BC) {
- return SubEng.ProcessBlockEntrance(Blk, Pred, BC);
+ return SubEng.processCFGBlockEntrance(Blk, Pred, BC);
}
- void ProcessBranch(const Stmt* Condition, const Stmt* Terminator,
+ void processBranch(const Stmt* Condition, const Stmt* Terminator,
BranchNodeBuilder& Builder) {
- SubEng.ProcessBranch(Condition, Terminator, Builder);
+ SubEng.processBranch(Condition, Terminator, Builder);
}
- void ProcessIndirectGoto(IndirectGotoNodeBuilder& Builder) {
- SubEng.ProcessIndirectGoto(Builder);
+ void processIndirectGoto(IndirectGotoNodeBuilder& Builder) {
+ SubEng.processIndirectGoto(Builder);
}
- void ProcessSwitch(SwitchNodeBuilder& Builder) {
- SubEng.ProcessSwitch(Builder);
+ void processSwitch(SwitchNodeBuilder& Builder) {
+ SubEng.processSwitch(Builder);
}
- void ProcessCallEnter(CallEnterNodeBuilder &Builder) {
- SubEng.ProcessCallEnter(Builder);
+ void processCallEnter(CallEnterNodeBuilder &Builder) {
+ SubEng.processCallEnter(Builder);
}
- void ProcessCallExit(CallExitNodeBuilder &Builder) {
- SubEng.ProcessCallExit(Builder);
+ void processCallExit(CallExitNodeBuilder &Builder) {
+ SubEng.processCallExit(Builder);
}
private:
@@ -439,7 +439,7 @@ public:
const GRState* getState() const { return Pred->State; }
};
-class EndPathNodeBuilder {
+class EndOfFunctionNodeBuilder {
CoreEngine &Eng;
const CFGBlock& B;
ExplodedNode* Pred;
@@ -448,10 +448,10 @@ public:
bool HasGeneratedNode;
public:
- EndPathNodeBuilder(const CFGBlock* b, ExplodedNode* N, CoreEngine* e)
+ EndOfFunctionNodeBuilder(const CFGBlock* b, ExplodedNode* N, CoreEngine* e)
: Eng(*e), B(*b), Pred(N), HasGeneratedNode(false) {}
- ~EndPathNodeBuilder();
+ ~EndOfFunctionNodeBuilder();
WorkList &getWorkList() { return *Eng.WList; }