clang  6.0.0svn
Public Member Functions | List of all members
clang::ento::StoreManager::FindUniqueBinding Class Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/Store.h"

Inheritance diagram for clang::ento::StoreManager::FindUniqueBinding:
Inheritance graph
[legend]
Collaboration diagram for clang::ento::StoreManager::FindUniqueBinding:
Collaboration graph
[legend]

Public Member Functions

 FindUniqueBinding (SymbolRef sym)
 
bool HandleBinding (StoreManager &SMgr, Store store, const MemRegion *R, SVal val) override
 
 operator bool ()
 
const MemRegiongetRegion ()
 
- Public Member Functions inherited from clang::ento::StoreManager::BindingsHandler
virtual ~BindingsHandler ()
 

Detailed Description

Definition at line 242 of file Store.h.

Constructor & Destructor Documentation

◆ FindUniqueBinding()

clang::ento::StoreManager::FindUniqueBinding::FindUniqueBinding ( SymbolRef  sym)
inline

Member Function Documentation

◆ getRegion()

const MemRegion* clang::ento::StoreManager::FindUniqueBinding::getRegion ( )
inline

◆ HandleBinding()

bool StoreManager::FindUniqueBinding::HandleBinding ( StoreManager SMgr,
Store  store,
const MemRegion R,
SVal  val 
)
overridevirtual

◆ operator bool()

clang::ento::StoreManager::FindUniqueBinding::operator bool ( )
inlineexplicit

Definition at line 254 of file Store.h.


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