clang::ento::RegionOffset Class Reference

Represent a region's offset within the top level base region. More...

#include <MemRegion.h>

List of all members.

Public Member Functions
	RegionOffset (const MemRegion *r)
	RegionOffset (const MemRegion *r, int64_t off)
const MemRegion *	getRegion () const
int64_t	getOffset () const

---

Detailed Description

Represent a region's offset within the top level base region.

Definition at line 46 of file MemRegion.h.

---

Constructor & Destructor Documentation

clang::ento::RegionOffset::RegionOffset

(

const MemRegion *

r

)

[inline]

Definition at line 54 of file MemRegion.h.

clang::ento::RegionOffset::RegionOffset	(	const MemRegion *	r,
		int64_t	off
	)		[inline]

Definition at line 55 of file MemRegion.h.

---

Member Function Documentation

int64_t clang::ento::RegionOffset::getOffset

(

)

const [inline]

Definition at line 58 of file MemRegion.h.

const MemRegion* clang::ento::RegionOffset::getRegion

(

)

const [inline]

Definition at line 57 of file MemRegion.h.

---

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

• MemRegion.h