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

clang 20.0.0git

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

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 >

static 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 >

static 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 >

static 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 >

static 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 >

static 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 >

static 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 >

static 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 >

static 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