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

#include <ProgramStateTrait.h>

Inheritance diagram for clang::ento::ProgramStatePartialTrait< const void * >:
[legend]

Public Types

typedef const 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< const void * >

Definition at line 229 of file ProgramStateTrait.h.

Member Typedef Documentation

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

Definition at line 230 of file ProgramStateTrait.h.

Member Function Documentation

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

Definition at line 232 of file ProgramStateTrait.h.

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

Definition at line 236 of file ProgramStateTrait.h.


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