clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > > Struct Template Reference

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

Inheritance diagram for clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >:

Public Types
using	data_type = llvm::ImmutableSet<Key, Info>
using	context_type = typename data_type::Factory &
using	key_type = Key

Static Public Member Functions
static data_type	MakeData (void *const *p)
static void *	MakeVoidPtr (data_type B)
static data_type	Add (data_type B, key_type K, 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 Info>
struct clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >

Definition at line 197 of file ProgramStateTrait.h.

Member Typedef Documentation

context_type

template<typename Key, typename Info>

using clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::context_type = typename data_type::Factory &

Definition at line 199 of file ProgramStateTrait.h.

data_type

template<typename Key, typename Info>

using clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::data_type = llvm::ImmutableSet<Key, Info>

Definition at line 198 of file ProgramStateTrait.h.

key_type

template<typename Key, typename Info>

using clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::key_type = Key

Definition at line 200 of file ProgramStateTrait.h.

Member Function Documentation

Add()

template<typename Key, typename Info>

data_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::Add ( data_type B, key_type K, context_type F )

inlinestatic

Definition at line 211 of file ProgramStateTrait.h.

Contains()

template<typename Key, typename Info>

bool clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::Contains ( data_type B, key_type K )

inlinestatic

Definition at line 219 of file ProgramStateTrait.h.

CreateContext()

template<typename Key, typename Info>

void * clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::CreateContext ( llvm::BumpPtrAllocator & Alloc )

inlinestatic

Definition at line 227 of file ProgramStateTrait.h.

DeleteContext()

template<typename Key, typename Info>

void clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::DeleteContext ( void * Ctx )

inlinestatic

Definition at line 231 of file ProgramStateTrait.h.

MakeContext()

template<typename Key, typename Info>

context_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::MakeContext ( void * p )

inlinestatic

Definition at line 223 of file ProgramStateTrait.h.

MakeData()

template<typename Key, typename Info>

data_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::MakeData ( void *const * p )

inlinestatic

Definition at line 202 of file ProgramStateTrait.h.

MakeVoidPtr()

template<typename Key, typename Info>

void * clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::MakeVoidPtr ( data_type B )

inlinestatic

Definition at line 207 of file ProgramStateTrait.h.

Remove()

template<typename Key, typename Info>

data_type clang::ento::ProgramStatePartialTrait< llvm::ImmutableSet< Key, Info > >::Remove ( data_type B, key_type K, context_type F )

inlinestatic

Definition at line 215 of file ProgramStateTrait.h.

---

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

• include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h