|
clang
5.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
Public Types | |
| typedef llvm::ImmutableList< T > | data_type |
| typedef T | key_type |
| typedef data_type::Factory & | context_type |
Static Public Member Functions | |
| static data_type | Add (data_type L, key_type K, context_type F) |
| static bool | Contains (data_type L, key_type K) |
| static data_type | MakeData (void *const *p) |
| static void * | MakeVoidPtr (data_type D) |
| static context_type | MakeContext (void *p) |
| static void * | CreateContext (llvm::BumpPtrAllocator &Alloc) |
| static void | DeleteContext (void *Ctx) |
Definition at line 157 of file ProgramStateTrait.h.
| typedef data_type::Factory& clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::context_type |
Definition at line 160 of file ProgramStateTrait.h.
| typedef llvm::ImmutableList<T> clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::data_type |
Definition at line 158 of file ProgramStateTrait.h.
| typedef T clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::key_type |
Definition at line 159 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 162 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 166 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 183 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 187 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 179 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 170 of file ProgramStateTrait.h.
|
inlinestatic |
Definition at line 175 of file ProgramStateTrait.h.
1.8.6