llvm::ImutContainerInfo< clang::ento::SymbolRef > Struct Reference

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

Inheritance diagram for llvm::ImutContainerInfo< clang::ento::SymbolRef >:

Public Types
using	value_type = clang::ento::SymbolRef
using	value_type_ref = clang::ento::SymbolRef
using	key_type = value_type
using	key_type_ref = value_type_ref
using	data_type = bool
using	data_type_ref = bool

Static Public Member Functions
static key_type_ref	KeyOfValue (value_type_ref D)
static data_type_ref	DataOfValue (value_type_ref)
static bool	isEqual (clang::ento::SymbolRef LHS, clang::ento::SymbolRef RHS)
static bool	isLess (clang::ento::SymbolRef LHS, clang::ento::SymbolRef RHS)
static bool	isDataEqual (data_type_ref, data_type_ref)

Detailed Description

Definition at line 720 of file SymbolManager.h.

Member Typedef Documentation

data_type

using llvm::ImutContainerInfo< clang::ento::SymbolRef >::data_type = bool

Definition at line 726 of file SymbolManager.h.

data_type_ref

using llvm::ImutContainerInfo< clang::ento::SymbolRef >::data_type_ref = bool

Definition at line 727 of file SymbolManager.h.

key_type

using llvm::ImutContainerInfo< clang::ento::SymbolRef >::key_type = value_type

Definition at line 724 of file SymbolManager.h.

key_type_ref

using llvm::ImutContainerInfo< clang::ento::SymbolRef >::key_type_ref = value_type_ref

Definition at line 725 of file SymbolManager.h.

value_type

using llvm::ImutContainerInfo< clang::ento::SymbolRef >::value_type = clang::ento::SymbolRef

Definition at line 722 of file SymbolManager.h.

value_type_ref

using llvm::ImutContainerInfo< clang::ento::SymbolRef >::value_type_ref = clang::ento::SymbolRef

Definition at line 723 of file SymbolManager.h.

Member Function Documentation

DataOfValue()

static data_type_ref llvm::ImutContainerInfo< clang::ento::SymbolRef >::DataOfValue ( value_type_ref  )

inlinestatic

Definition at line 730 of file SymbolManager.h.

isDataEqual()

static bool llvm::ImutContainerInfo< clang::ento::SymbolRef >::isDataEqual ( data_type_ref  , data_type_ref    )

inlinestatic

Definition at line 743 of file SymbolManager.h.

isEqual()

static bool llvm::ImutContainerInfo< clang::ento::SymbolRef >::isEqual ( clang::ento::SymbolRef  LHS, clang::ento::SymbolRef  RHS  )

inlinestatic

Definition at line 732 of file SymbolManager.h.

References clang::ento::SymExpr::getSymbolID().

isLess()

static bool llvm::ImutContainerInfo< clang::ento::SymbolRef >::isLess ( clang::ento::SymbolRef  LHS, clang::ento::SymbolRef  RHS  )

inlinestatic

Definition at line 736 of file SymbolManager.h.

References clang::ento::SymExpr::getSymbolID().

KeyOfValue()

static key_type_ref llvm::ImutContainerInfo< clang::ento::SymbolRef >::KeyOfValue ( value_type_ref  D )

inlinestatic

Definition at line 729 of file SymbolManager.h.

References D.

---

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

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