clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > > Struct Template Reference

#include <ProgramStateTrait.h>

List of all members.

Public Types
typedef llvm::ImmutableList< T >	data_type
typedef T	key_type
typedef data_type::Factory &	context_type
Static Public Member Functions
static data_type	Add (data_type L, key_type K, context_type F)
static bool	Contains (data_type L, key_type K)
static data_type	MakeData (void *const *p)
static void *	MakeVoidPtr (data_type D)
static context_type	MakeContext (void *p)
static void *	CreateContext (llvm::BumpPtrAllocator &Alloc)
static void	DeleteContext (void *Ctx)

---

Detailed Description

template<typename T>
struct clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >

Definition at line 153 of file ProgramStateTrait.h.

---

Member Typedef Documentation

template<typename T >

typedef data_type::Factory& clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::context_type

Definition at line 156 of file ProgramStateTrait.h.

template<typename T >

typedef llvm::ImmutableList<T> clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::data_type

Definition at line 154 of file ProgramStateTrait.h.

template<typename T >

typedef T clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::key_type

Definition at line 155 of file ProgramStateTrait.h.

---

Member Function Documentation

template<typename T >

static data_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::Add	(	data_type	L,
		key_type	K,
		context_type	F
	)		[inline, static]

Definition at line 158 of file ProgramStateTrait.h.

template<typename T >

static bool clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::Contains	(	data_type	L,
		key_type	K
	)		[inline, static]

Definition at line 162 of file ProgramStateTrait.h.

template<typename T >

static void* clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::CreateContext

(

llvm::BumpPtrAllocator &

Alloc

)

[inline, static]

Definition at line 179 of file ProgramStateTrait.h.

template<typename T >

static void clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::DeleteContext

(

void *

Ctx

)

[inline, static]

Definition at line 183 of file ProgramStateTrait.h.

template<typename T >

static context_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::MakeContext

(

void *

p

)

[inline, static]

Definition at line 175 of file ProgramStateTrait.h.

template<typename T >

static data_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::MakeData

(

void *const *

p

)

[inline, static]

Definition at line 166 of file ProgramStateTrait.h.

template<typename T >

static void* clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::MakeVoidPtr

(

data_type

D

)

[inline, static]

Definition at line 171 of file ProgramStateTrait.h.

---

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

• ProgramStateTrait.h