clang  3.9.0
Public Types | Static Public Member Functions | List of all members
clang::ento::ProgramStatePartialTrait< void * > Struct Template Reference

#include <ProgramStateTrait.h>

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

Definition at line 217 of file ProgramStateTrait.h.

Member Function Documentation

static data_type clang::ento::ProgramStatePartialTrait< void * >::MakeData ( void *const *  p)
inlinestatic

Definition at line 219 of file ProgramStateTrait.h.

static void* clang::ento::ProgramStatePartialTrait< void * >::MakeVoidPtr ( data_type  d)
inlinestatic

Definition at line 223 of file ProgramStateTrait.h.


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