|
clang
5.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
Public Types | |
| typedef T::data_type | data_type |
Static Public Member Functions | |
| static void * | MakeVoidPtr (data_type D) |
| static data_type | MakeData (void *const *P) |
Definition at line 54 of file ProgramState.h.
| typedef T::data_type clang::ento::ProgramStateTrait< T >::data_type |
Definition at line 55 of file ProgramState.h.
|
inlinestatic |
Definition at line 57 of file ProgramState.h.
Referenced by clang::ento::ProgramState::get().
|
inlinestatic |
Definition at line 56 of file ProgramState.h.
1.8.6