clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > > Struct Template Reference

#include <ProgramStateTrait.h>

List of all members.

Public Types
typedef llvm::ImmutableMap < Key, Data, Info >	data_type
typedef data_type::Factory &	context_type
typedef Key	key_type
typedef Data	value_type
typedef const value_type *	lookup_type
Static Public Member Functions
static data_type	MakeData (void *const *p)
static void *	MakeVoidPtr (data_type B)
static lookup_type	Lookup (data_type B, key_type K)
static data_type	Set (data_type B, key_type K, value_type E, context_type F)
static data_type	Remove (data_type B, key_type K, context_type F)
static context_type	MakeContext (void *p)
static void *	CreateContext (llvm::BumpPtrAllocator &Alloc)
static void	DeleteContext (void *Ctx)

---

Detailed Description

template<typename Key, typename Data, typename Info>
struct clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >

Definition at line 59 of file ProgramStateTrait.h.

---

Member Typedef Documentation

template<typename Key , typename Data , typename Info >

typedef data_type::Factory& clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::context_type

Definition at line 61 of file ProgramStateTrait.h.

template<typename Key , typename Data , typename Info >

typedef llvm::ImmutableMap<Key,Data,Info> clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::data_type

Definition at line 60 of file ProgramStateTrait.h.

template<typename Key , typename Data , typename Info >

typedef Key clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::key_type

Definition at line 62 of file ProgramStateTrait.h.

template<typename Key , typename Data , typename Info >

typedef const value_type* clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::lookup_type

Definition at line 64 of file ProgramStateTrait.h.

template<typename Key , typename Data , typename Info >

typedef Data clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::value_type

Definition at line 63 of file ProgramStateTrait.h.

---

Member Function Documentation

template<typename Key , typename Data , typename Info >

static void* clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::CreateContext

(

llvm::BumpPtrAllocator &

Alloc

)

[inline, static]

Definition at line 88 of file ProgramStateTrait.h.

template<typename Key , typename Data , typename Info >

static void clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::DeleteContext

(

void *

Ctx

)

[inline, static]

Definition at line 92 of file ProgramStateTrait.h.

template<typename Key , typename Data , typename Info >

static lookup_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::Lookup	(	data_type	B,
		key_type	K
	)		[inline, static]

Definition at line 73 of file ProgramStateTrait.h.

template<typename Key , typename Data , typename Info >

static context_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::MakeContext

(

void *

p

)

[inline, static]

Definition at line 84 of file ProgramStateTrait.h.

template<typename Key , typename Data , typename Info >

static data_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::MakeData

(

void *const *

p

)

[inline, static]

Definition at line 66 of file ProgramStateTrait.h.

template<typename Key , typename Data , typename Info >

static void* clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::MakeVoidPtr

(

data_type

B

)

[inline, static]

Definition at line 70 of file ProgramStateTrait.h.

template<typename Key , typename Data , typename Info >

static data_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::Remove	(	data_type	B,
		key_type	K,
		context_type	F
	)		[inline, static]

Definition at line 80 of file ProgramStateTrait.h.

template<typename Key , typename Data , typename Info >

static data_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::Set	(	data_type	B,
		key_type	K,
		value_type	E,
		context_type	F
	)		[inline, static]

Definition at line 76 of file ProgramStateTrait.h.

---

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

• ProgramStateTrait.h