cprover
find_symbols.h File Reference
#include <algorithm>
#include <set>
#include <unordered_set>
#include "deprecate.h"
#include "irep.h"
+ Include dependency graph for find_symbols.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Typedefs

typedef std::unordered_set< irep_idtfind_symbols_sett
 

Functions

void find_symbols_or_nexts (const exprt &src, find_symbols_sett &dest)
 Add to the set dest the sub-expressions of src with id ID_symbol or ID_next_symbol. More...
 
template<typename iteratort >
find_symbols_sett find_symbols_or_nexts (iteratort begin, iteratort end)
 
void find_symbols (const exprt &src, find_symbols_sett &dest, bool current, bool next)
 Add to the set dest the sub-expressions of src with id ID_symbol if current is true, and ID_next_symbol if next is true. More...
 
void find_symbols (const exprt &src, std::set< exprt > &dest)
 Find sub expressions with id ID_symbol or ID_next_symbol. More...
 
void find_symbols (const exprt &src, std::set< symbol_exprt > &dest)
 Find sub expressions with id ID_symbol. More...
 
std::set< symbol_exprtfind_symbols (const exprt &src)
 Find sub expressions with id ID_symbol. More...
 
std::unordered_set< irep_idtfind_symbol_identifiers (const exprt &src)
 Find identifiers of the sub expressions with id ID_symbol. More...
 
bool has_symbol (const exprt &src, const find_symbols_sett &symbols)
 
void find_type_symbols (const typet &src, find_symbols_sett &dest)
 
void find_type_symbols (const exprt &src, find_symbols_sett &dest)
 
void find_non_pointer_type_symbols (const typet &src, find_symbols_sett &dest)
 
void find_non_pointer_type_symbols (const exprt &src, find_symbols_sett &dest)
 
void find_type_and_expr_symbols (const typet &src, find_symbols_sett &dest)
 
void find_type_and_expr_symbols (const exprt &src, find_symbols_sett &dest)
 

Typedef Documentation

◆ find_symbols_sett

typedef std::unordered_set<irep_idt> find_symbols_sett

Definition at line 24 of file find_symbols.h.

Function Documentation

◆ find_non_pointer_type_symbols() [1/2]

void find_non_pointer_type_symbols ( const exprt src,
find_symbols_sett dest 
)

Definition at line 196 of file find_symbols.cpp.

◆ find_non_pointer_type_symbols() [2/2]

void find_non_pointer_type_symbols ( const typet src,
find_symbols_sett dest 
)

Definition at line 203 of file find_symbols.cpp.

◆ find_symbol_identifiers()

std::unordered_set<irep_idt> find_symbol_identifiers ( const exprt src)

Find identifiers of the sub expressions with id ID_symbol.

Definition at line 91 of file find_symbols.cpp.

◆ find_symbols() [1/4]

std::set<symbol_exprt> find_symbols ( const exprt src)

Find sub expressions with id ID_symbol.

Definition at line 84 of file find_symbols.cpp.

◆ find_symbols() [2/4]

void find_symbols ( const exprt src,
find_symbols_sett dest,
bool  current,
bool  next 
)

Add to the set dest the sub-expressions of src with id ID_symbol if current is true, and ID_next_symbol if next is true.

Definition at line 23 of file find_symbols.cpp.

◆ find_symbols() [3/4]

void find_symbols ( const exprt src,
std::set< exprt > &  dest 
)

Find sub expressions with id ID_symbol or ID_next_symbol.

Deprecated:
"deprecated since " "2019" "-" "06" "-" "17" "; " "Unused"

Definition at line 64 of file find_symbols.cpp.

◆ find_symbols() [4/4]

void find_symbols ( const exprt src,
std::set< symbol_exprt > &  dest 
)

Find sub expressions with id ID_symbol.

Definition at line 74 of file find_symbols.cpp.

◆ find_symbols_or_nexts() [1/2]

void find_symbols_or_nexts ( const exprt src,
find_symbols_sett dest 
)

Add to the set dest the sub-expressions of src with id ID_symbol or ID_next_symbol.

Definition at line 18 of file find_symbols.cpp.

◆ find_symbols_or_nexts() [2/2]

template<typename iteratort >
find_symbols_sett find_symbols_or_nexts ( iteratort  begin,
iteratort  end 
)
Returns
set of sub-expressions of the expressions contained in the range defined by begin and end which have id ID_symbol or ID_next_symbol

Definition at line 33 of file find_symbols.h.

◆ find_type_and_expr_symbols() [1/2]

void find_type_and_expr_symbols ( const exprt src,
find_symbols_sett dest 
)

Definition at line 210 of file find_symbols.cpp.

◆ find_type_and_expr_symbols() [2/2]

void find_type_and_expr_symbols ( const typet src,
find_symbols_sett dest 
)

Definition at line 215 of file find_symbols.cpp.

◆ find_type_symbols() [1/2]

void find_type_symbols ( const exprt src,
find_symbols_sett dest 
)

Definition at line 186 of file find_symbols.cpp.

◆ find_type_symbols() [2/2]

void find_type_symbols ( const typet src,
find_symbols_sett dest 
)

Definition at line 191 of file find_symbols.cpp.

◆ has_symbol()

bool has_symbol ( const exprt src,
const find_symbols_sett symbols 
)
Returns
true if one of the symbols in src is present in symbols

Definition at line 57 of file find_symbols.cpp.