clang API Documentation
#include <ProgramStateTrait.h>
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) |
Definition at line 59 of file ProgramStateTrait.h.
typedef data_type::Factory& clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::context_type |
Definition at line 61 of file ProgramStateTrait.h.
typedef llvm::ImmutableMap<Key,Data,Info> clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::data_type |
Definition at line 60 of file ProgramStateTrait.h.
typedef Key clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::key_type |
Definition at line 62 of file ProgramStateTrait.h.
typedef const value_type* clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::lookup_type |
Definition at line 64 of file ProgramStateTrait.h.
typedef Data clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::value_type |
Definition at line 63 of file ProgramStateTrait.h.
static void* clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::CreateContext | ( | llvm::BumpPtrAllocator & | Alloc | ) | [inline, static] |
Definition at line 88 of file ProgramStateTrait.h.
static void clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::DeleteContext | ( | void * | Ctx | ) | [inline, static] |
Definition at line 92 of file ProgramStateTrait.h.
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.
static context_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::MakeContext | ( | void * | p | ) | [inline, static] |
Definition at line 84 of file ProgramStateTrait.h.
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.
static void* clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::MakeVoidPtr | ( | data_type | B | ) | [inline, static] |
Definition at line 70 of file ProgramStateTrait.h.
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.
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.