clang::ento::StoreManager::CastResult Class Reference

#include <Store.h>

List of all members.

Public Member Functions
ProgramStateRef	getState () const
const MemRegion *	getRegion () const
	CastResult (ProgramStateRef s, const MemRegion *r=0)

---

Detailed Description

Definition at line 136 of file Store.h.

---

Constructor & Destructor Documentation

clang::ento::StoreManager::CastResult::CastResult	(	ProgramStateRef	s,
		const MemRegion *	r = 0
	)		[inline]

Definition at line 142 of file Store.h.

---

Member Function Documentation

const MemRegion* clang::ento::StoreManager::CastResult::getRegion

(

)

const [inline]

Definition at line 141 of file Store.h.

ProgramStateRef clang::ento::StoreManager::CastResult::getState

(

)

const [inline]

Definition at line 140 of file Store.h.

---

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

• Store.h