clang::ento::StoreManager::BindingsHandler Class Reference

#include <Store.h>

Inheritance diagram for clang::ento::StoreManager::BindingsHandler:

List of all members.

Public Member Functions
virtual	~BindingsHandler ()
virtual bool	HandleBinding (StoreManager &SMgr, Store store, const MemRegion *region, SVal val)=0

---

Detailed Description

Definition at line 209 of file Store.h.

---

Constructor & Destructor Documentation

StoreManager::BindingsHandler::~BindingsHandler

(

)

[virtual]

Definition at line 492 of file Store.cpp.

---

Member Function Documentation

virtual bool clang::ento::StoreManager::BindingsHandler::HandleBinding	(	StoreManager &	SMgr,
		Store	store,
		const MemRegion *	region,
		SVal	val
	)		[pure virtual]

Implemented in clang::ento::StoreManager::FindUniqueBinding.

---

The documentation for this class was generated from the following files:

• Store.h
• Store.cpp