clang::ento::SymExpr::symbol_iterator Class Reference

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

#include <SymbolManager.h>

List of all members.

Public Member Functions
	symbol_iterator ()
	symbol_iterator (const SymExpr *SE)
symbol_iterator &	operator++ ()
const SymExpr *	operator* ()
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 79 of file SymbolManager.h.

---

Constructor & Destructor Documentation

clang::ento::SymExpr::symbol_iterator::symbol_iterator

(

)

[inline]

Definition at line 83 of file SymbolManager.h.

SymExpr::symbol_iterator::symbol_iterator

(

const SymExpr *

SE

)

Definition at line 118 of file SymbolManager.cpp.

---

Member Function Documentation

bool clang::ento::SymExpr::symbol_iterator::operator!=

(

const symbol_iterator &

X

)

const

const SymExpr* clang::ento::SymExpr::symbol_iterator::operator*

(

)

symbol_iterator& clang::ento::SymExpr::symbol_iterator::operator++

(

)

bool clang::ento::SymExpr::symbol_iterator::operator==

(

const symbol_iterator &

X

)

const

---

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

• SymbolManager.h
• SymbolManager.cpp