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

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

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

Public Types
using	value_type = clang::ento::SVal
using	value_type_ref = clang::ento::SVal
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::SVal L, clang::ento::SVal R)
static bool	isLess (clang::ento::SVal L, clang::ento::SVal R)
static bool	isDataEqual (data_type_ref, data_type_ref)

Detailed Description

Definition at line 540 of file SVals.h.

Member Typedef Documentation

data_type

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

Definition at line 546 of file SVals.h.

data_type_ref

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

Definition at line 547 of file SVals.h.

key_type

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

Definition at line 544 of file SVals.h.

key_type_ref

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

Definition at line 545 of file SVals.h.

value_type

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

Definition at line 542 of file SVals.h.

value_type_ref

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

Definition at line 543 of file SVals.h.

Member Function Documentation

DataOfValue()

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

inlinestatic

Definition at line 550 of file SVals.h.

isDataEqual()

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

inlinestatic

Definition at line 558 of file SVals.h.

isEqual()

bool llvm::ImutContainerInfo< clang::ento::SVal >::isEqual ( clang::ento::SVal L, clang::ento::SVal R )

inlinestatic

Definition at line 552 of file SVals.h.

isLess()

bool llvm::ImutContainerInfo< clang::ento::SVal >::isLess ( clang::ento::SVal L, clang::ento::SVal R )

inlinestatic

Definition at line 556 of file SVals.h.

KeyOfValue()

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

inlinestatic

Definition at line 549 of file SVals.h.

---

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

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