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

#include <ProgramStateTrait.h>

List of all members.

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

---

Detailed Description

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

Definition at line 110 of file ProgramStateTrait.h.

---

Member Typedef Documentation

template<typename Key , typename Info >

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

Definition at line 112 of file ProgramStateTrait.h.

template<typename Key , typename Info >

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

Definition at line 111 of file ProgramStateTrait.h.

template<typename Key , typename Info >

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

Definition at line 113 of file ProgramStateTrait.h.

---

Member Function Documentation

template<typename Key , typename Info >

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

Definition at line 124 of file ProgramStateTrait.h.

template<typename Key , typename Info >

static bool clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::Contains	(	data_type	B,
		key_type	K
	)		[inline, static]

Definition at line 132 of file ProgramStateTrait.h.

template<typename Key , typename Info >

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

(

llvm::BumpPtrAllocator &

Alloc

)

[inline, static]

Definition at line 140 of file ProgramStateTrait.h.

template<typename Key , typename Info >

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

(

void *

Ctx

)

[inline, static]

Definition at line 144 of file ProgramStateTrait.h.

template<typename Key , typename Info >

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

(

void *

p

)

[inline, static]

Definition at line 136 of file ProgramStateTrait.h.

template<typename Key , typename Info >

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

(

void *const *

p

)

[inline, static]

Definition at line 115 of file ProgramStateTrait.h.

template<typename Key , typename Info >

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

(

data_type

B

)

[inline, static]

Definition at line 120 of file ProgramStateTrait.h.

template<typename Key , typename Info >

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

Definition at line 128 of file ProgramStateTrait.h.

---

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

• ProgramStateTrait.h