clang::ento::ProgramStateTrait< iterator::IteratorSymbolMap > Struct Reference

#include "/work/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Checkers/Iterator.h"

Inheritance diagram for clang::ento::ProgramStateTrait< iterator::IteratorSymbolMap >:

Public Types
typedef iterator::IteratorSymbolMap::data_type	data_type

Static Public Member Functions
static void *	GDMIndex ()
static void *	MakeVoidPtr (data_type D)
static data_type	MakeData (void *const *P)

Detailed Description

Definition at line 124 of file Iterator.h.

Member Typedef Documentation

data_type

typedef iterator::IteratorSymbolMap::data_type clang::ento::ProgramStateTrait< iterator::IteratorSymbolMap >::data_type

Definition at line 52 of file ProgramState.h.

Member Function Documentation

GDMIndex()

void * clang::ento::ProgramStateTrait< iterator::IteratorSymbolMap >::GDMIndex ( )

inlinestatic

Definition at line 126 of file Iterator.h.

MakeData()

data_type clang::ento::ProgramStateTrait< iterator::IteratorSymbolMap >::MakeData ( void *const * P )

inlinestatic

Definition at line 54 of file ProgramState.h.

MakeVoidPtr()

void * clang::ento::ProgramStateTrait< iterator::IteratorSymbolMap >::MakeVoidPtr ( data_type D )

inlinestatic

Definition at line 53 of file ProgramState.h.

---

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

• lib/StaticAnalyzer/Checkers/Iterator.h