clang  7.0.0svn
Public Member Functions | Protected Member Functions | List of all members
clang::ento::SymbolVisitor Class Referenceabstract

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

Public Member Functions

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

Protected Member Functions

 ~SymbolVisitor ()=default

Detailed Description

Definition at line 619 of file SymbolManager.h.

Constructor & Destructor Documentation

◆ ~SymbolVisitor()

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

◆ SymbolVisitor() [1/3]

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

◆ SymbolVisitor() [2/3]

clang::ento::SymbolVisitor::SymbolVisitor ( const SymbolVisitor )

◆ SymbolVisitor() [3/3]

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

Definition at line 626 of file SymbolManager.h.

Member Function Documentation

◆ VisitMemRegion()

virtual bool clang::ento::SymbolVisitor::VisitMemRegion ( const MemRegion region)

Definition at line 633 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.

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