A symbol representing data which can be stored in a memory location (region). More...
#include <SymbolManager.h>
Inheritance diagram for clang::ento::SymbolData:
Collaboration diagram for clang::ento::SymbolData:
Public Member Functions | |
| virtual | ~SymbolData () |
| SymbolID | getSymbolID () const |
Static Public Member Functions | |
| static bool | classof (const SymExpr *SE) |
Protected Member Functions | |
| SymbolData (Kind k, SymbolID sym) | |
Detailed Description
A symbol representing data which can be stored in a memory location (region).
Definition at line 104 of file SymbolManager.h.
Constructor & Destructor Documentation
| clang::ento::SymbolData::SymbolData | ( | Kind | k, |
| SymbolID | sym | ||
| ) | [inline, protected] |
Definition at line 109 of file SymbolManager.h.
| virtual clang::ento::SymbolData::~SymbolData | ( | ) | [inline, virtual] |
Definition at line 112 of file SymbolManager.h.
Member Function Documentation
| static bool clang::ento::SymbolData::classof | ( | const SymExpr * | SE | ) | [inline, static] |
Reimplemented in clang::ento::SymbolMetadata, clang::ento::SymbolExtent, clang::ento::SymbolDerived, clang::ento::SymbolConjured, and clang::ento::SymbolRegionValue.
Definition at line 117 of file SymbolManager.h.
References clang::ento::SymExpr::BEGIN_SYMBOLS, clang::ento::SymExpr::END_SYMBOLS, and clang::ento::SymExpr::getKind().
| SymbolID clang::ento::SymbolData::getSymbolID | ( | ) | const [inline] |
The documentation for this class was generated from the following files: