clang
3.9.0
|
#include <ProgramStateTrait.h>
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) |
Definition at line 110 of file ProgramStateTrait.h.
typedef data_type::Factory& clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::context_type |
Definition at line 112 of file ProgramStateTrait.h.
typedef llvm::ImmutableSet<Key,Info> clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::data_type |
Definition at line 111 of file ProgramStateTrait.h.
typedef Key clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::key_type |
Definition at line 113 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 124 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 132 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 140 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 144 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 136 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 115 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 120 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 128 of file ProgramStateTrait.h.