clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > > Struct Template Reference

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

Inheritance diagram for clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >:

Public Types
using	data_type = llvm::ImmutableList<T>
using	key_type = T
using	context_type = typename data_type::Factory &

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 238 of file ProgramStateTrait.h.

Member Typedef Documentation

context_type

template<typename T>

using clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::context_type = typename data_type::Factory &

Definition at line 241 of file ProgramStateTrait.h.

data_type

template<typename T>

using clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::data_type = llvm::ImmutableList<T>

Definition at line 239 of file ProgramStateTrait.h.

key_type

template<typename T>

using clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::key_type = T

Definition at line 240 of file ProgramStateTrait.h.

Member Function Documentation

Add()

template<typename T>

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

inlinestatic

Definition at line 243 of file ProgramStateTrait.h.

Contains()

template<typename T>

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

inlinestatic

Definition at line 247 of file ProgramStateTrait.h.

CreateContext()

template<typename T>

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

inlinestatic

Definition at line 264 of file ProgramStateTrait.h.

DeleteContext()

template<typename T>

void clang::ento::ProgramStatePartialTrait< llvm::ImmutableList< T > >::DeleteContext ( void * Ctx )

inlinestatic

Definition at line 268 of file ProgramStateTrait.h.

MakeContext()

template<typename T>

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

inlinestatic

Definition at line 260 of file ProgramStateTrait.h.

MakeData()

template<typename T>

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

inlinestatic

Definition at line 251 of file ProgramStateTrait.h.

MakeVoidPtr()

template<typename T>

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

inlinestatic

Definition at line 256 of file ProgramStateTrait.h.

---

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

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