Add getSymbolManager() and getBasicVals() accessors to GRStateRef.

llvm-svn: 64675
This commit is contained in:
Ted Kremenek 2009-02-16 21:57:23 +00:00
parent e28b359881
commit 210c26f8d3
1 changed files with 3 additions and 0 deletions

View File

@ -742,6 +742,9 @@ public:
return cb;
}
SymbolManager& getSymbolManager() { return Mgr->getSymbolManager(); }
BasicValueFactory& getBasicVals() { return Mgr->getBasicVals(); }
// Pretty-printing.
void print(std::ostream& Out, const char* nl = "\n",
const char *sep = "") const;