clang::ento::ProgramStateTrait< AutoreleasePoolContents > Struct Template Reference

Inheritance diagram for clang::ento::ProgramStateTrait< AutoreleasePoolContents >:

Collaboration diagram for clang::ento::ProgramStateTrait< AutoreleasePoolContents >:

List of all members.

Static Public Member Functions
static void *	GDMIndex ()

---

Detailed Description

template<>
struct clang::ento::ProgramStateTrait< AutoreleasePoolContents >

Definition at line 1592 of file RetainCountChecker.cpp.

---

Member Function Documentation

static void* clang::ento::ProgramStateTrait< AutoreleasePoolContents >::GDMIndex

(

)

[inline, static]

Definition at line 1594 of file RetainCountChecker.cpp.

References AutoRCIndex.

---

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

• RetainCountChecker.cpp