clang::ento::ProgramStatePartialTrait< void * > Struct Template Reference

#include <ProgramStateTrait.h>

List of all members.

Public Types
typedef void *	data_type
Static Public Member Functions
static data_type	MakeData (void *const *p)
static void *	MakeVoidPtr (data_type d)

---

Detailed Description

template<>
struct clang::ento::ProgramStatePartialTrait< void * >

Definition at line 216 of file ProgramStateTrait.h.

---

Member Typedef Documentation

typedef void* clang::ento::ProgramStatePartialTrait< void * >::data_type

Definition at line 217 of file ProgramStateTrait.h.

---

Member Function Documentation

static data_type clang::ento::ProgramStatePartialTrait< void * >::MakeData

(

void *const *

p

)

[inline, static]

Definition at line 219 of file ProgramStateTrait.h.

static void* clang::ento::ProgramStatePartialTrait< void * >::MakeVoidPtr

(

data_type

d

)

[inline, static]

Definition at line 223 of file ProgramStateTrait.h.

---

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

• ProgramStateTrait.h