A symbol representing the value stored at a MemRegion. More...
#include <SymbolManager.h>
Public Member Functions | |
| SymbolRegionValue (SymbolID sym, const TypedValueRegion *r) | |
| const TypedValueRegion * | getRegion () const |
| virtual void | Profile (llvm::FoldingSetNodeID &profile) |
| virtual void | dumpToStream (raw_ostream &os) const |
| QualType | getType (ASTContext &) const |
Static Public Member Functions | |
| static void | Profile (llvm::FoldingSetNodeID &profile, const TypedValueRegion *R) |
| static bool | classof (const SymExpr *SE) |
Detailed Description
A symbol representing the value stored at a MemRegion.
Definition at line 127 of file SymbolManager.h.
Constructor & Destructor Documentation
| clang::ento::SymbolRegionValue::SymbolRegionValue | ( | SymbolID | sym, |
| const TypedValueRegion * | r | ||
| ) | [inline] |
Definition at line 131 of file SymbolManager.h.
Member Function Documentation
| static bool clang::ento::SymbolRegionValue::classof | ( | const SymExpr * | SE | ) | [inline, static] |
Reimplemented from clang::ento::SymbolData.
Definition at line 150 of file SymbolManager.h.
References clang::ento::SymExpr::getKind(), and clang::ento::SymExpr::RegionValueKind.
| virtual void clang::ento::SymbolRegionValue::dumpToStream | ( | raw_ostream & | os | ) | const [virtual] |
Reimplemented from clang::ento::SymExpr.
| const TypedValueRegion* clang::ento::SymbolRegionValue::getRegion | ( | ) | const [inline] |
Definition at line 134 of file SymbolManager.h.
| QualType clang::ento::SymbolRegionValue::getType | ( | ASTContext & | ) | const [virtual] |
Implements clang::ento::SymExpr.
| static void clang::ento::SymbolRegionValue::Profile | ( | llvm::FoldingSetNodeID & | profile, |
| const TypedValueRegion * | R | ||
| ) | [inline, static] |
Definition at line 136 of file SymbolManager.h.
References clang::ento::SymExpr::RegionValueKind.
Referenced by Profile().
| virtual void clang::ento::SymbolRegionValue::Profile | ( | llvm::FoldingSetNodeID & | profile | ) | [inline, virtual] |
Implements clang::ento::SymExpr.
Definition at line 141 of file SymbolManager.h.
References Profile().
The documentation for this class was generated from the following file: