cprover
find_symbols.cpp File Reference
#include "find_symbols.h"
#include "std_types.h"
#include "std_expr.h"
+ Include dependency graph for find_symbols.cpp:

Go to the source code of this file.

Enumerations

enum  kindt { kindt::F_TYPE, kindt::F_TYPE_NON_PTR, kindt::F_EXPR, kindt::F_BOTH }
 

Functions

void find_symbols (const exprt &src, find_symbols_sett &dest)
 
void find_symbols (const exprt &src, find_symbols_sett &dest, bool current, bool next)
 
bool has_symbol (const exprt &src, const find_symbols_sett &symbols, bool current, bool next)
 
bool has_symbol (const exprt &src, const find_symbols_sett &symbols)
 
void find_symbols (const exprt &src, std::set< exprt > &dest)
 
void find_symbols (const exprt &src, std::set< symbol_exprt > &dest)
 
void find_symbols (kindt kind, const typet &src, find_symbols_sett &dest)
 
void find_symbols (kindt kind, const exprt &src, find_symbols_sett &dest)
 
void find_type_symbols (const exprt &src, find_symbols_sett &dest)
 
void find_type_symbols (const typet &src, find_symbols_sett &dest)
 
void find_non_pointer_type_symbols (const exprt &src, find_symbols_sett &dest)
 
void find_non_pointer_type_symbols (const typet &src, find_symbols_sett &dest)
 
void find_type_and_expr_symbols (const exprt &src, find_symbols_sett &dest)
 
void find_type_and_expr_symbols (const typet &src, find_symbols_sett &dest)
 

Enumeration Type Documentation

◆ kindt

enum kindt
strong
Enumerator
F_TYPE 
F_TYPE_NON_PTR 
F_EXPR 
F_BOTH 

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

Definition at line 190 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 197 of file find_symbols.cpp.

◆ find_symbols() [1/6]

void find_symbols ( const exprt src,
find_symbols_sett dest 
)

Definition at line 16 of file find_symbols.cpp.

◆ find_symbols() [2/6]

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

Definition at line 23 of file find_symbols.cpp.

◆ find_symbols() [3/6]

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

Definition at line 67 of file find_symbols.cpp.

◆ find_symbols() [4/6]

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

Definition at line 80 of file find_symbols.cpp.

◆ find_symbols() [5/6]

void find_symbols ( kindt  kind,
const typet src,
find_symbols_sett dest 
)

Definition at line 121 of file find_symbols.cpp.

◆ find_symbols() [6/6]

void find_symbols ( kindt  kind,
const exprt src,
find_symbols_sett dest 
)

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

Definition at line 204 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 209 of file find_symbols.cpp.

◆ find_type_symbols() [1/2]

void find_type_symbols ( const exprt src,
find_symbols_sett dest 
)

Definition at line 180 of file find_symbols.cpp.

◆ find_type_symbols() [2/2]

void find_type_symbols ( const typet src,
find_symbols_sett dest 
)

Definition at line 185 of file find_symbols.cpp.

◆ has_symbol() [1/2]

bool has_symbol ( const exprt src,
const find_symbols_sett symbols,
bool  current,
bool  next 
)

Definition at line 40 of file find_symbols.cpp.

◆ has_symbol() [2/2]

bool has_symbol ( const exprt src,
const find_symbols_sett symbols 
)

Definition at line 60 of file find_symbols.cpp.