clang 22.0.0git
clang::ento::SymbolVisitor Class Referenceabstract

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

Inheritance diagram for clang::ento::SymbolVisitor:
[legend]

Public Member Functions

 SymbolVisitor ()=default
 SymbolVisitor (const SymbolVisitor &)=default
 SymbolVisitor (SymbolVisitor &&)
SymbolVisitoroperator= (const SymbolVisitor &)=delete
SymbolVisitoroperator= (SymbolVisitor &&)=delete
virtual bool VisitSymbol (SymbolRef sym)=0
 A visitor method invoked by ProgramStateManager::scanReachableSymbols.
virtual bool VisitMemRegion (const MemRegion *)

Protected Member Functions

 ~SymbolVisitor ()=default

Detailed Description

Definition at line 654 of file SymbolManager.h.

Constructor & Destructor Documentation

◆ ~SymbolVisitor()

clang::ento::SymbolVisitor::~SymbolVisitor ( )
protecteddefault

◆ SymbolVisitor() [1/3]

clang::ento::SymbolVisitor::SymbolVisitor ( )
default

◆ SymbolVisitor() [2/3]

clang::ento::SymbolVisitor::SymbolVisitor ( const SymbolVisitor & )
default

References SymbolVisitor().

◆ SymbolVisitor() [3/3]

clang::ento::SymbolVisitor::SymbolVisitor ( SymbolVisitor && )
inline

Definition at line 661 of file SymbolManager.h.

References SymbolVisitor().

Member Function Documentation

◆ operator=() [1/2]

SymbolVisitor & clang::ento::SymbolVisitor::operator= ( const SymbolVisitor & )
delete

References SymbolVisitor().

◆ operator=() [2/2]

SymbolVisitor & clang::ento::SymbolVisitor::operator= ( SymbolVisitor && )
delete

References SymbolVisitor().

◆ VisitMemRegion()

virtual bool clang::ento::SymbolVisitor::VisitMemRegion ( const MemRegion * )
inlinevirtual

Reimplemented in FindStackRegionsSymbolVisitor.

Definition at line 673 of file SymbolManager.h.

◆ VisitSymbol()

virtual bool clang::ento::SymbolVisitor::VisitSymbol ( SymbolRef sym)
pure virtual

A visitor method invoked by ProgramStateManager::scanReachableSymbols.

The method returns true if symbols should continue be scanned and false otherwise.

Implemented in FindStackRegionsSymbolVisitor.


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