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

#include <ProgramStateTrait.h>

Public Types

typedef llvm::ImmutableList< T > data_type
 
typedef T key_type
 
typedef data_type::Factory & context_type
 

Static Public Member Functions

static data_type Add (data_type L, key_type K, context_type F)
 
static bool Contains (data_type L, key_type K)
 
static data_type MakeData (void *const *p)
 
static void * MakeVoidPtr (data_type D)
 
static context_type MakeContext (void *p)
 
static void * CreateContext (llvm::BumpPtrAllocator &Alloc)
 
static void DeleteContext (void *Ctx)
 

Detailed Description

template<typename T>
struct clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >

Definition at line 153 of file ProgramStateTrait.h.

Member Typedef Documentation

template<typename T >
typedef data_type::Factory& clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::context_type

Definition at line 156 of file ProgramStateTrait.h.

Definition at line 154 of file ProgramStateTrait.h.

template<typename T >
typedef T clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::key_type

Definition at line 155 of file ProgramStateTrait.h.

Member Function Documentation

template<typename T >
static data_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::Add ( data_type  L,
key_type  K,
context_type  F 
)
inlinestatic

Definition at line 158 of file ProgramStateTrait.h.

template<typename T >
static bool clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::Contains ( data_type  L,
key_type  K 
)
inlinestatic

Definition at line 162 of file ProgramStateTrait.h.

template<typename T >
static void* clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::CreateContext ( llvm::BumpPtrAllocator &  Alloc)
inlinestatic

Definition at line 179 of file ProgramStateTrait.h.

template<typename T >
static void clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::DeleteContext ( void *  Ctx)
inlinestatic

Definition at line 183 of file ProgramStateTrait.h.

template<typename T >
static context_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::MakeContext ( void *  p)
inlinestatic

Definition at line 175 of file ProgramStateTrait.h.

template<typename T >
static data_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::MakeData ( void *const *  p)
inlinestatic

Definition at line 166 of file ProgramStateTrait.h.

template<typename T >
static void* clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::MakeVoidPtr ( data_type  D)
inlinestatic

Definition at line 171 of file ProgramStateTrait.h.


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