clang 19.0.0git
Public Member Functions | Static Public Member Functions | List of all members
clang::ento::UnarySymExpr Class Reference

Represents a symbolic expression involving a unary operator. More...

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

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

Public Member Functions

 UnarySymExpr (const SymExpr *In, UnaryOperator::Opcode Op, QualType T)
 
unsigned computeComplexity () const override
 
const SymExprgetOperand () const
 
UnaryOperator::Opcode getOpcode () const
 
QualType getType () const override
 
void dumpToStream (raw_ostream &os) const override
 
void Profile (llvm::FoldingSetNodeID &ID) 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 void Profile (llvm::FoldingSetNodeID &ID, const SymExpr *In, UnaryOperator::Opcode Op, QualType T)
 
static bool classof (const SymExpr *SE)
 

Additional Inherited Members

- Public Types inherited from clang::ento::SymExpr
enum  Kind
 
- Protected Member Functions inherited from clang::ento::SymExpr
 SymExpr (Kind k)
 
- 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

Represents a symbolic expression involving a unary operator.

Definition at line 329 of file SymbolManager.h.

Constructor & Destructor Documentation

◆ UnarySymExpr()

clang::ento::UnarySymExpr::UnarySymExpr ( const SymExpr In,
UnaryOperator::Opcode  Op,
QualType  T 
)
inline

Member Function Documentation

◆ classof()

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

Definition at line 372 of file SymbolManager.h.

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

◆ computeComplexity()

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

Implements clang::ento::SymExpr.

Definition at line 347 of file SymbolManager.h.

References clang::ento::SymExpr::Complexity.

◆ dumpToStream()

void UnarySymExpr::dumpToStream ( raw_ostream &  os) const
overridevirtual

◆ getOpcode()

UnaryOperator::Opcode clang::ento::UnarySymExpr::getOpcode ( ) const
inline

Definition at line 354 of file SymbolManager.h.

◆ getOperand()

const SymExpr * clang::ento::UnarySymExpr::getOperand ( ) const
inline

Definition at line 353 of file SymbolManager.h.

◆ getType()

QualType clang::ento::UnarySymExpr::getType ( ) const
inlineoverridevirtual

Implements clang::ento::SymExpr.

Definition at line 355 of file SymbolManager.h.

◆ Profile() [1/2]

void clang::ento::UnarySymExpr::Profile ( llvm::FoldingSetNodeID &  ID)
inlineoverridevirtual

Implements clang::ento::SymExpr.

Definition at line 367 of file SymbolManager.h.

References ID, and Profile().

◆ Profile() [2/2]

static void clang::ento::UnarySymExpr::Profile ( llvm::FoldingSetNodeID &  ID,
const SymExpr In,
UnaryOperator::Opcode  Op,
QualType  T 
)
inlinestatic

Definition at line 359 of file SymbolManager.h.

References ID.

Referenced by clang::ento::SymbolManager::getUnarySymExpr(), and Profile().


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