find_symbols.cpp File Reference

#include "find_symbols.h"
#include "c_types.h"
#include "std_expr.h"

Include dependency graph for find_symbols.cpp:

Go to the source code of this file.

Enumerations
enum class	symbol_kindt {   F_TYPE , F_TYPE_NON_PTR , F_EXPR , F_EXPR_FREE ,   F_ALL }
	Kinds of symbols to be considered by find_symbols. More...

Functions
static bool	find_symbols (symbol_kindt, const typet &, std::function< bool(const symbol_exprt &)>, std::unordered_set< irep_idt > &bindings, const std::vector< irep_idt > &subs_to_find)
	Find identifiers with id ID_symbol of the sub expressions and the subs with ID in subs_to_find considering both free and bound variables, as well as any type tags.
static bool	find_symbols (symbol_kindt kind, const exprt &src, std::function< bool(const symbol_exprt &)> op, std::unordered_set< irep_idt > &bindings, const std::vector< irep_idt > &subs_to_find)
static bool	find_symbols (symbol_kindt kind, const typet &type, std::function< bool(const symbol_exprt &)> op, const std::vector< irep_idt > &subs_to_find={})
static bool	find_symbols (symbol_kindt kind, const exprt &src, std::function< bool(const symbol_exprt &)> op, const std::vector< irep_idt > &subs_to_find={})
void	find_symbols (const exprt &src, std::set< symbol_exprt > &dest)
	Find sub expressions with id ID_symbol, considering both free and bound variables.
bool	has_symbol_expr (const exprt &src, const irep_idt &identifier, bool include_bound_symbols)
	Returns true if one of the symbol expressions in src has identifier identifier; if include_bound_symbols is true, then bindings are included in the search.
void	find_type_symbols (const exprt &src, find_symbols_sett &dest)
	Collect all type tags contained in src and add them to dest.
void	find_type_symbols (const typet &src, find_symbols_sett &dest)
	Collect all type tags contained in src and add them to dest.
void	find_non_pointer_type_symbols (const exprt &src, find_symbols_sett &dest)
	Collect type tags contained in src when the expression of such a type is not a pointer, and add them to dest.
void	find_non_pointer_type_symbols (const typet &src, find_symbols_sett &dest)
	Collect type tags contained in src when the expression of such a type is not a pointer, and add them to dest.
void	find_type_and_expr_symbols (const exprt &src, find_symbols_sett &dest, const std::vector< irep_idt > &subs_to_find)
	Find identifiers with id ID_symbol of the sub expressions and the subs with ID in subs_to_find considering both free and bound variables, as well as any type tags.
void	find_type_and_expr_symbols (const typet &src, find_symbols_sett &dest, const std::vector< irep_idt > &subs_to_find)
	Find identifiers with id ID_symbol of the sub expressions and the subs with ID in subs_to_find considering both free and bound variables, as well as any type tags.
void	find_symbols (const exprt &src, find_symbols_sett &dest)
	Add to the set dest the sub-expressions of src with id ID_symbol, for both free and bound variables.

Enumeration Type Documentation

symbol_kindt

enum class symbol_kindt

strong

Kinds of symbols to be considered by find_symbols.

Enumerator
F_TYPE	Struct, union, or enum tag symbols.
F_TYPE_NON_PTR	Struct, union, or enum tag symbols when the expression using them is not a pointer.
F_EXPR	Symbol expressions.
F_EXPR_FREE	Symbol expressions, but excluding bound variables.
F_ALL	All of the above.

Definition at line 15 of file find_symbols.cpp.

Function Documentation

find_non_pointer_type_symbols() [1/2]

void find_non_pointer_type_symbols	(	const exprt &	src,
		find_symbols_sett &	dest
	)

Collect type tags contained in src when the expression of such a type is not a pointer, and add them to dest.

Definition at line 296 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
	)

Collect type tags contained in src when the expression of such a type is not a pointer, and add them to dest.

Definition at line 307 of file find_symbols.cpp.

find_symbols() [1/6]

void find_symbols	(	const exprt &	src,
		find_symbols_sett &	dest
	)

Add to the set dest the sub-expressions of src with id ID_symbol, for both free and bound variables.

Definition at line 348 of file find_symbols.cpp.

find_symbols() [2/6]

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

Find sub expressions with id ID_symbol, considering both free and bound variables.

Definition at line 259 of file find_symbols.cpp.

find_symbols() [3/6]

static bool find_symbols ( symbol_kindt  kind, const exprt &  src, std::function< bool(const symbol_exprt &)>  op, const std::vector< irep_idt > &  subs_to_find = {}  )

static

Definition at line 249 of file find_symbols.cpp.

find_symbols() [4/6]

static bool find_symbols ( symbol_kindt  kind, const exprt &  src, std::function< bool(const symbol_exprt &)>  op, std::unordered_set< irep_idt > &  bindings, const std::vector< irep_idt > &  subs_to_find  )

static

Definition at line 40 of file find_symbols.cpp.

find_symbols() [5/6]

static bool find_symbols ( symbol_kindt  kind, const typet &  type, std::function< bool(const symbol_exprt &)>  op, const std::vector< irep_idt > &  subs_to_find = {}  )

static

Definition at line 239 of file find_symbols.cpp.

find_symbols() [6/6]

static bool find_symbols ( symbol_kindt  kind, const typet &  src, std::function< bool(const symbol_exprt &)>  op, std::unordered_set< irep_idt > &  bindings, const std::vector< irep_idt > &  subs_to_find  )

static

Find identifiers with id ID_symbol of the sub expressions and the subs with ID in subs_to_find considering both free and bound variables, as well as any type tags.

Definition at line 152 of file find_symbols.cpp.

find_type_and_expr_symbols() [1/2]

void find_type_and_expr_symbols	(	const exprt &	src,
		find_symbols_sett &	dest,
		const std::vector< irep_idt > &	subs_to_find
	)

Find identifiers with id ID_symbol of the sub expressions and the subs with ID in subs_to_find considering both free and bound variables, as well as any type tags.

Definition at line 318 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,
		const std::vector< irep_idt > &	subs_to_find
	)

Find identifiers with id ID_symbol of the sub expressions and the subs with ID in subs_to_find considering both free and bound variables, as well as any type tags.

Definition at line 333 of file find_symbols.cpp.

find_type_symbols() [1/2]

void find_type_symbols	(	const exprt &	src,
		find_symbols_sett &	dest
	)

Collect all type tags contained in src and add them to dest.

Definition at line 280 of file find_symbols.cpp.

find_type_symbols() [2/2]

void find_type_symbols	(	const typet &	src,
		find_symbols_sett &	dest
	)

Collect all type tags contained in src and add them to dest.

Definition at line 288 of file find_symbols.cpp.

has_symbol_expr()

bool has_symbol_expr	(	const exprt &	src,
		const irep_idt &	identifier,
		bool	include_bound_symbols
	)

Returns true if one of the symbol expressions in src has identifier identifier; if include_bound_symbols is true, then bindings are included in the search.

Definition at line 267 of file find_symbols.cpp.