clang
7.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
Public Types | |
using | data_type = llvm::ImmutableSet< Key, Info > |
using | context_type = typename data_type::Factory & |
using | key_type = Key |
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 109 of file ProgramStateTrait.h.
using clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::context_type = typename data_type::Factory & |
Definition at line 111 of file ProgramStateTrait.h.
using clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::data_type = llvm::ImmutableSet<Key, Info> |
Definition at line 110 of file ProgramStateTrait.h.
using clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::key_type = Key |
Definition at line 112 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 123 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 131 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 139 of file ProgramStateTrait.h.
References Factory.
|
inlinestatic |
Definition at line 143 of file ProgramStateTrait.h.
References Factory.
|
inlinestatic |
Definition at line 135 of file ProgramStateTrait.h.
References Factory.
|
inlinestatic |
Definition at line 114 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 119 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 127 of file ProgramStateTrait.h.