clang 20.0.0git
Public Member Functions | Static Public Member Functions | Protected Member Functions | List of all members
clang::ento::SymbolData Class Referenceabstract

A symbol representing data which can be stored in a memory location (region). More...

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

Inheritance diagram for clang::ento::SymbolData:
Inheritance graph
[legend]

Public Member Functions

 ~SymbolData () override=default
 
virtual StringRef getKindStr () const =0
 Get a string representation of the kind of the region.
 
SymbolID getSymbolID () const
 
unsigned computeComplexity () const override
 
- Public Member Functions inherited from clang::ento::SymExpr
virtual ~SymExpr ()=default
 
Kind getKind () const
 
virtual void dump () const
 
virtual void dumpToStream (raw_ostream &os) const
 
virtual QualType getType () const =0
 
virtual void Profile (llvm::FoldingSetNodeID &profile)=0
 
llvm::iterator_range< symbol_iteratorsymbols () const
 
virtual unsigned computeComplexity () const =0
 
virtual const MemRegiongetOriginRegion () const
 Find the region from which this symbol originates.
 

Static Public Member Functions

static bool classof (const SymExpr *SE)
 

Protected Member Functions

 SymbolData (Kind k, SymbolID sym)
 
- Protected Member Functions inherited from clang::ento::SymExpr
 SymExpr (Kind k)
 

Additional Inherited Members

- Public Types inherited from clang::ento::SymExpr
enum  Kind
 
- Static Protected Member Functions inherited from clang::ento::SymExpr
static bool isValidTypeForSymbol (QualType T)
 
- Protected Attributes inherited from clang::ento::SymExpr
unsigned Complexity = 0
 

Detailed Description

A symbol representing data which can be stored in a memory location (region).

Definition at line 119 of file SymExpr.h.

Constructor & Destructor Documentation

◆ SymbolData()

clang::ento::SymbolData::SymbolData ( Kind  k,
SymbolID  sym 
)
inlineprotected

Definition at line 125 of file SymExpr.h.

References classof().

◆ ~SymbolData()

clang::ento::SymbolData::~SymbolData ( )
overridedefault

Member Function Documentation

◆ classof()

static bool clang::ento::SymbolData::classof ( const SymExpr SE)
inlinestatic

Definition at line 142 of file SymExpr.h.

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

Referenced by SymbolData().

◆ computeComplexity()

unsigned clang::ento::SymbolData::computeComplexity ( ) const
inlineoverridevirtual

Implements clang::ento::SymExpr.

Definition at line 137 of file SymExpr.h.

◆ getKindStr()

virtual StringRef clang::ento::SymbolData::getKindStr ( ) const
pure virtual

◆ getSymbolID()

SymbolID clang::ento::SymbolData::getSymbolID ( ) const
inline

The documentation for this class was generated from the following files: