find_symbols.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_UTIL_FIND_SYMBOLS_H
#define CPROVER_UTIL_FIND_SYMBOLS_H
 
#include "irep.h"
 
#include <set>
#include <unordered_set>
 
class exprt;
class symbol_exprt; // IWYU pragma: keep
class typet;
 
typedef std::unordered_set<irep_idt> find_symbols_sett;

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

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

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

inline std::set<symbol_exprt> find_symbols(const exprt &src)
{
  std::set<symbol_exprt> syms;
  find_symbols(src, syms);
  return syms;
}

inline find_symbols_sett find_symbol_identifiers(const exprt &src)
{
  find_symbols_sett identifiers;
  find_symbols(src, identifiers);
  return identifiers;
}

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,
  const std::vector<irep_idt> &subs_to_find = {});

void find_type_and_expr_symbols(
  const exprt &src,
  find_symbols_sett &dest,
  const std::vector<irep_idt> &subs_to_find = {});
 
#endif // CPROVER_UTIL_FIND_SYMBOLS_H