#include <SymbolManager.h>
Public Member Functions | |
| SymbolDerived (SymbolID sym, SymbolRef parent, const TypedValueRegion *r) | |
| SymbolRef | getParentSymbol () const |
| const TypedValueRegion * | getRegion () const |
| QualType | getType () const override |
| void | dumpToStream (raw_ostream &os) const override |
| void | Profile (llvm::FoldingSetNodeID &profile) override |
Static Public Member Functions | |
| static void | Profile (llvm::FoldingSetNodeID &profile, SymbolRef parent, const TypedValueRegion *r) |
| static bool | classof (const SymExpr *SE) |
Detailed Description
A symbol representing the value of a MemRegion whose parent region has symbolic value.
Definition at line 200 of file SymbolManager.h.
Constructor & Destructor Documentation
| clang::ento::SymbolDerived::SymbolDerived | ( | SymbolID | sym, |
| SymbolRef | parent, | ||
| const TypedValueRegion * | r | ||
| ) | [inline] |
Definition at line 205 of file SymbolManager.h.
Member Function Documentation
| static bool clang::ento::SymbolDerived::classof | ( | const SymExpr * | SE | ) | [inline, static] |
Reimplemented from clang::ento::SymbolData.
Definition at line 227 of file SymbolManager.h.
References clang::ento::SymExpr::DerivedKind, and clang::ento::SymExpr::getKind().
| void SymbolDerived::dumpToStream | ( | raw_ostream & | os | ) | const [override, virtual] |
Reimplemented from clang::ento::SymExpr.
Definition at line 71 of file SymbolManager.cpp.
References getParentSymbol(), getRegion(), and clang::ento::SymbolData::getSymbolID().
| SymbolRef clang::ento::SymbolDerived::getParentSymbol | ( | ) | const [inline] |
Definition at line 208 of file SymbolManager.h.
Referenced by dumpToStream().
| const TypedValueRegion* clang::ento::SymbolDerived::getRegion | ( | ) | const [inline] |
Definition at line 209 of file SymbolManager.h.
Referenced by dumpToStream().
| QualType SymbolDerived::getType | ( | ) | const [override, virtual] |
Implements clang::ento::SymExpr.
Definition at line 311 of file SymbolManager.cpp.
| static void clang::ento::SymbolDerived::Profile | ( | llvm::FoldingSetNodeID & | profile, |
| SymbolRef | parent, | ||
| const TypedValueRegion * | r | ||
| ) | [inline, static] |
Definition at line 215 of file SymbolManager.h.
References clang::ento::SymExpr::DerivedKind.
Referenced by Profile().
| void clang::ento::SymbolDerived::Profile | ( | llvm::FoldingSetNodeID & | profile | ) | [inline, override, virtual] |
Implements clang::ento::SymExpr.
Definition at line 222 of file SymbolManager.h.
References Profile().
The documentation for this class was generated from the following files: