clang::ento::SymbolVisitor Class Reference

#include <SymbolManager.h>

List of all members.

Public Member Functions
virtual bool	VisitSymbol (SymbolRef sym)=0
	A visitor method invoked by ProgramStateManager::scanReachableSymbols.
virtual bool	VisitMemRegion (const MemRegion *region)
virtual	~SymbolVisitor ()

---

Detailed Description

Definition at line 654 of file SymbolManager.h.

---

Constructor & Destructor Documentation

SymbolVisitor::~SymbolVisitor

(

)

[virtual]

Definition at line 550 of file SymbolManager.cpp.

---

Member Function Documentation

virtual bool clang::ento::SymbolVisitor::VisitMemRegion

(

const MemRegion *

region

)

[inline, virtual]

Definition at line 661 of file SymbolManager.h.

Referenced by clang::ento::ScanReachableSymbols::scan().

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 files:

• SymbolManager.h
• SymbolManager.cpp