clang
7.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
Public Types | |
using | data_type = llvm::ImmutableMap< Key, Data, Info > |
using | context_type = typename data_type::Factory & |
using | key_type = Key |
using | value_type = Data |
using | lookup_type = const value_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 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 52 of file ProgramStateTrait.h.
using clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::context_type = typename data_type::Factory & |
Definition at line 54 of file ProgramStateTrait.h.
using clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::data_type = llvm::ImmutableMap<Key, Data, Info> |
Definition at line 53 of file ProgramStateTrait.h.
using clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::key_type = Key |
Definition at line 55 of file ProgramStateTrait.h.
using clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::lookup_type = const value_type * |
Definition at line 57 of file ProgramStateTrait.h.
using clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::value_type = Data |
Definition at line 56 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 81 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 89 of file ProgramStateTrait.h.
References Factory.
|
inlinestatic |
Definition at line 93 of file ProgramStateTrait.h.
References Factory.
|
inlinestatic |
Definition at line 68 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 85 of file ProgramStateTrait.h.
References Factory.
|
inlinestatic |
Definition at line 59 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 64 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 77 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 72 of file ProgramStateTrait.h.