clang  6.0.0svn
Public Types | Static Public Member Functions | List of all members
clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > > Struct Template Reference

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

Public Types

typedef llvm::ImmutableMap< Key, Data, Info > data_type
 
typedef data_type::Factory & context_type
 
typedef Key key_type
 
typedef Data value_type
 
typedef const value_typelookup_type
 

Static Public Member Functions

static data_type MakeData (void *const *p)
 
static void * MakeVoidPtr (data_type B)
 
static lookup_type Lookup (data_type B, key_type K)
 
static data_type Set (data_type B, key_type K, value_type E, context_type F)
 
static data_type Remove (data_type B, key_type K, context_type F)
 
static bool Contains (data_type B, key_type K)
 
static context_type MakeContext (void *p)
 
static void * CreateContext (llvm::BumpPtrAllocator &Alloc)
 
static void DeleteContext (void *Ctx)
 

Detailed Description

template<typename Key, typename Data, typename Info>
struct clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >

Definition at line 59 of file ProgramStateTrait.h.

Member Typedef Documentation

◆ context_type

template<typename Key , typename Data , typename Info >
typedef data_type::Factory& clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::context_type

Definition at line 61 of file ProgramStateTrait.h.

◆ data_type

template<typename Key , typename Data , typename Info >
typedef llvm::ImmutableMap<Key,Data,Info> clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::data_type

Definition at line 60 of file ProgramStateTrait.h.

◆ key_type

template<typename Key , typename Data , typename Info >
typedef Key clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::key_type

Definition at line 62 of file ProgramStateTrait.h.

◆ lookup_type

template<typename Key , typename Data , typename Info >
typedef const value_type* clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::lookup_type

Definition at line 64 of file ProgramStateTrait.h.

◆ value_type

template<typename Key , typename Data , typename Info >
typedef Data clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::value_type

Definition at line 63 of file ProgramStateTrait.h.

Member Function Documentation

◆ Contains()

template<typename Key , typename Data , typename Info >
static bool clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::Contains ( data_type  B,
key_type  K 
)
inlinestatic

Definition at line 84 of file ProgramStateTrait.h.

◆ CreateContext()

template<typename Key , typename Data , typename Info >
static void* clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::CreateContext ( llvm::BumpPtrAllocator &  Alloc)
inlinestatic

Definition at line 92 of file ProgramStateTrait.h.

◆ DeleteContext()

template<typename Key , typename Data , typename Info >
static void clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::DeleteContext ( void *  Ctx)
inlinestatic

Definition at line 96 of file ProgramStateTrait.h.

◆ Lookup()

template<typename Key , typename Data , typename Info >
static lookup_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::Lookup ( data_type  B,
key_type  K 
)
inlinestatic

Definition at line 73 of file ProgramStateTrait.h.

◆ MakeContext()

template<typename Key , typename Data , typename Info >
static context_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::MakeContext ( void *  p)
inlinestatic

Definition at line 88 of file ProgramStateTrait.h.

◆ MakeData()

template<typename Key , typename Data , typename Info >
static data_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::MakeData ( void *const *  p)
inlinestatic

Definition at line 66 of file ProgramStateTrait.h.

◆ MakeVoidPtr()

template<typename Key , typename Data , typename Info >
static void* clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::MakeVoidPtr ( data_type  B)
inlinestatic

Definition at line 70 of file ProgramStateTrait.h.

◆ Remove()

template<typename Key , typename Data , typename Info >
static data_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::Remove ( data_type  B,
key_type  K,
context_type  F 
)
inlinestatic

Definition at line 80 of file ProgramStateTrait.h.

◆ Set()

template<typename Key , typename Data , typename Info >
static data_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableMap< Key, Data, Info > >::Set ( data_type  B,
key_type  K,
value_type  E,
context_type  F 
)
inlinestatic

Definition at line 76 of file ProgramStateTrait.h.


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