#include <SymbolManager.h>
Definition at line 571 of file SymbolManager.h.
clang::ento::SymbolVisitor::~SymbolVisitor |
( |
| ) |
|
|
protecteddefault |
clang::ento::SymbolVisitor::SymbolVisitor |
( |
| ) |
|
|
default |
clang::ento::SymbolVisitor::SymbolVisitor |
( |
const SymbolVisitor & |
| ) |
|
|
default |
virtual bool clang::ento::SymbolVisitor::VisitMemRegion |
( |
const MemRegion * |
region | ) |
|
|
inlinevirtual |
virtual bool clang::ento::SymbolVisitor::VisitSymbol |
( |
SymbolRef |
sym | ) |
|
|
pure virtual |
A visitor method invoked by ProgramStateManager::scanReachableSymbols.
The method returns true
if symbols should continue be scanned and false
otherwise.
Referenced by clang::ento::ScanReachableSymbols::scan().
The documentation for this class was generated from the following file: