clang::ento::ProgramStateTrait< T > Struct Template Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"

Inheritance diagram for clang::ento::ProgramStateTrait< T >:

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)

Detailed Description

template<typename T>
struct clang::ento::ProgramStateTrait< T >

Definition at line 51 of file ProgramState.h.

Member Typedef Documentation

data_type

template<typename T>

typedef T::data_type clang::ento::ProgramStateTrait< T >::data_type

Definition at line 52 of file ProgramState.h.

Member Function Documentation

MakeData()

template<typename T>

data_type clang::ento::ProgramStateTrait< T >::MakeData ( void *const * P )

inlinestatic

Definition at line 54 of file ProgramState.h.

Referenced by clang::ento::ProgramState::contains(), clang::ento::ProgramState::get(), and clang::ento::ProgramState::get().

MakeVoidPtr()

template<typename T>

void * clang::ento::ProgramStateTrait< T >::MakeVoidPtr ( data_type D )

inlinestatic

Definition at line 53 of file ProgramState.h.

Referenced by clang::ento::ProgramStateManager::add(), clang::ento::ProgramStateManager::remove(), clang::ento::ProgramStateManager::set(), and clang::ento::ProgramStateManager::set().

---

The documentation for this struct was generated from the following file:

• include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h