clang: clang::ento::StoreRef Class Reference

clang API Documentation

#include <StoreRef.h>

List of all members.

Public Member Functions
	StoreRef (Store, StoreManager &)
	StoreRef (const StoreRef &)
StoreRef &	operator= (StoreRef const &)
bool	operator== (const StoreRef &x) const
bool	operator!= (const StoreRef &x) const
	~StoreRef ()
Store	getStore () const
const StoreManager &	getStoreManager () const

Detailed Description

Definition at line 30 of file StoreRef.h.

Constructor & Destructor Documentation

clang::ento::StoreRef::StoreRef	(	Store	store,
		StoreManager &	smgr
	)		`[inline]`

Definition at line 250 of file Store.h.

References clang::ento::StoreManager::incrementReferenceCount().

clang::ento::StoreRef::StoreRef ( const StoreRef & sr ) [inline]

Definition at line 256 of file Store.h.

References clang::ento::StoreManager::incrementReferenceCount().

clang::ento::StoreRef::~StoreRef ( ) [inline]

Definition at line 263 of file Store.h.

References clang::ento::StoreManager::decrementReferenceCount().

Member Function Documentation

Store clang::ento::StoreRef::getStore ( ) const [inline]

Definition at line 46 of file StoreRef.h.

Referenced by clang::ento::StoreManager::enterStackFrame(), clang::ento::LazyCompoundValData::getStore(), clang::ento::ProgramState::killBinding(), operator=(), and clang::ento::LazyCompoundValData::Profile().

const StoreManager& clang::ento::StoreRef::getStoreManager ( ) const [inline]

Definition at line 47 of file StoreRef.h.

bool clang::ento::StoreRef::operator!= ( const StoreRef & x ) const [inline]

Definition at line 42 of file StoreRef.h.

References operator==().

StoreRef & clang::ento::StoreRef::operator= ( StoreRef const & newStore ) [inline]

Definition at line 268 of file Store.h.

References clang::ento::StoreManager::decrementReferenceCount(), getStore(), and clang::ento::StoreManager::incrementReferenceCount().

bool clang::ento::StoreRef::operator== ( const StoreRef & x ) const [inline]

Definition at line 38 of file StoreRef.h.

Referenced by operator!=().

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