clang  3.9.0
Public Member Functions | List of all members
clang::ento::SymExpr::symbol_iterator Class Reference

Iterator over symbols that the current symbol depends on. More...

#include <SymExpr.h>

Public Member Functions

 symbol_iterator ()
 
 symbol_iterator (const SymExpr *SE)
 
symbol_iteratoroperator++ ()
 
const SymExproperator* ()
 
bool operator== (const symbol_iterator &X) const
 
bool operator!= (const symbol_iterator &X) const
 

Detailed Description

Iterator over symbols that the current symbol depends on.

For SymbolData, it's the symbol itself; for expressions, it's the expression symbol and all the operands in it. Note, SymbolDerived is treated as SymbolData - the iterator will NOT visit the parent region.

Definition at line 62 of file SymExpr.h.

Constructor & Destructor Documentation

clang::ento::SymExpr::symbol_iterator::symbol_iterator ( )
inline

Definition at line 67 of file SymExpr.h.

SymExpr::symbol_iterator::symbol_iterator ( const SymExpr SE)

Definition at line 99 of file SymbolManager.cpp.

Member Function Documentation

bool SymExpr::symbol_iterator::operator!= ( const symbol_iterator X) const

Definition at line 95 of file SymbolManager.cpp.

SymbolRef SymExpr::symbol_iterator::operator* ( )

Definition at line 109 of file SymbolManager.cpp.

SymExpr::symbol_iterator & SymExpr::symbol_iterator::operator++ ( )

Definition at line 103 of file SymbolManager.cpp.

bool SymExpr::symbol_iterator::operator== ( const symbol_iterator X) const

Definition at line 91 of file SymbolManager.cpp.


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