diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-02-16 01:12:31 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-02-16 01:12:31 +0000 |
commit | d70d0b05e5143be9e952eceb5aad7914b2ecab97 (patch) | |
tree | dde9c40fb2d03c7aee7f151db078b0bb700e93a7 /Analysis/SymbolManager.cpp | |
parent | 425a6095a5bd5df6921e32ea646f78e38bb3e984 (diff) |
Further cleanup. Moved definitions for SymbolManager and ValueManager into
their own [.cpp;.h] files.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47201 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'Analysis/SymbolManager.cpp')
-rw-r--r-- | Analysis/SymbolManager.cpp | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/Analysis/SymbolManager.cpp b/Analysis/SymbolManager.cpp new file mode 100644 index 0000000000..bdda0e6eed --- /dev/null +++ b/Analysis/SymbolManager.cpp @@ -0,0 +1,53 @@ +//== SymbolManager.h - Management of Symbolic Values ------------*- C++ -*--==// +// +// The LLVM Compiler Infrastructure +// +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// +// +// This files defines SymbolManager, a class that manages symbolic values +// created for use by GRExprEngine and related classes. +// +//===----------------------------------------------------------------------===// + +#include "clang/Analysis/PathSensitive/SymbolManager.h" + +using namespace clang; + +SymbolID SymbolManager::getSymbol(ParmVarDecl* D) { + SymbolID& X = DataToSymbol[getKey(D)]; + + if (!X.isInitialized()) { + X = SymbolToData.size(); + SymbolToData.push_back(SymbolDataParmVar(D)); + } + + return X; +} + +SymbolID SymbolManager::getContentsOfSymbol(SymbolID sym) { + SymbolID& X = DataToSymbol[getKey(sym)]; + + if (!X.isInitialized()) { + X = SymbolToData.size(); + SymbolToData.push_back(SymbolDataContentsOf(sym)); + } + + return X; +} + +QualType SymbolData::getType() const { + switch (getKind()) { + default: + assert (false && "getType() not implemented for this symbol."); + + case ParmKind: + return cast<SymbolDataParmVar>(this)->getDecl()->getType(); + + } +} + +SymbolManager::SymbolManager() {} +SymbolManager::~SymbolManager() {} |