maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Renamed class AnalysisVertex to SimulVertex 

llvm-svn: 45290
This commit is contained in:
Ted Kremenek 2007-12-21 21:16:58 +00:00
parent 85f26f28b9
commit 3d8b0d6948
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
clang/include/clang/Analysis/PathSensitive/AnalysisVertex.h
View File

@ -1,4 +1,4 @@
//=- AnalysisVertex.h - Local, Path-Sensitive Supergraph Vertices -*- C++ -*-=//
//=- SimulVertex.h - Local, Path-Sensitive Supergraph Vertices -*- C++ -*--=//
//
// The LLVM Compiler Infrastructure
//
@ -7,7 +7,7 @@
//
//===----------------------------------------------------------------------===//
//
// This file defines the template class AnalysisVertex which is used to
// This file defines the template class SimulVertex which is used to
// represent a vertex in the location*state supergraph of an intra-procedural,
// path-sensitive dataflow analysis.
//
@ -24,7 +24,7 @@ namespace clang {
class ProgramEdge;
template <typename StateTy>
class AnalysisVertex {
class SimulVertex {
/// VertexID - A unique ID for the vertex. This number indicates the
/// creation order of vertices, with lower numbers being created first.
/// The first created vertex has VertexID == 0.
@ -41,12 +41,12 @@ class AnalysisVertex {
/// Predecessors/Successors - Keep track of the predecessor/successor
/// vertices.
typedef llvm::SmallVector<1> AdjacentVertices;
typedef llvm::SmallVector<1,SimulVertex*> AdjacentVertices;
AdjacentVertices Preds;
AdjacentVertices Succs;
public:
explicit AnalysisVertex(unsigned ID, const ProgramEdge& loc, StateTy* state)
explicit SimulVertex(unsigned ID, const ProgramEdge& loc, StateTy* state)
: VertexID(ID), Location(loc), State(state) {}
// Accessors.
@ -79,8 +79,8 @@ public:
unsigned pred_empty() const { return Preds.empty(); }
// Manipulation of successors/predecessors.
void addPredecessor(AnalysisVertex* V) {
Preds.push_back(&V);
void addPredecessor(SimulVertex* V) {
Preds.push_back(V);
V.Succs.push_back(V);
}
};