clang  6.0.0svn
clang::ento::StoreManager::BindingsHandler Member List

This is the complete list of members for clang::ento::StoreManager::BindingsHandler, including all inherited members.

HandleBinding(StoreManager &SMgr, Store store, const MemRegion *region, SVal val)=0clang::ento::StoreManager::BindingsHandlerpure virtual
~BindingsHandler()clang::ento::StoreManager::BindingsHandlervirtual