cprover
|
Object Identifiers. More...
#include "object_id.h"
Go to the source code of this file.
Enumerations | |
enum | get_modet { get_modet::LHS_R, get_modet::LHS_W, get_modet::READ } |
Functions | |
void | get_objects_rec (get_modet mode, const exprt &expr, object_id_sett &dest, const std::string &suffix) |
void | get_objects (const exprt &expr, object_id_sett &dest) |
void | get_objects_r (const code_assignt &assign, object_id_sett &dest) |
void | get_objects_w (const code_assignt &assign, object_id_sett &dest) |
void | get_objects_w (const exprt &lhs, object_id_sett &dest) |
void | get_objects_r_lhs (const exprt &lhs, object_id_sett &dest) |
Object Identifiers.
Definition in file object_id.cpp.
|
strong |
Enumerator | |
---|---|
LHS_R | |
LHS_W | |
READ |
Definition at line 14 of file object_id.cpp.
void get_objects | ( | const exprt & | expr, |
object_id_sett & | dest | ||
) |
Definition at line 72 of file object_id.cpp.
References get_objects_rec(), and READ.
void get_objects_r | ( | const code_assignt & | assign, |
object_id_sett & | dest | ||
) |
Definition at line 77 of file object_id.cpp.
References get_objects_rec(), code_assignt::lhs(), LHS_R, READ, and code_assignt::rhs().
void get_objects_r_lhs | ( | const exprt & | lhs, |
object_id_sett & | dest | ||
) |
Definition at line 93 of file object_id.cpp.
References get_objects_rec(), and LHS_R.
void get_objects_rec | ( | get_modet | mode, |
const exprt & | expr, | ||
object_id_sett & | dest, | ||
const std::string & | suffix | ||
) |
Definition at line 16 of file object_id.cpp.
References index_exprt::array(), if_exprt::cond(), if_exprt::false_case(), forall_operands, member_exprt::get_component_name(), irept::id(), id2string(), index_exprt::index(), LHS_R, LHS_W, dereference_exprt::pointer(), READ, member_exprt::struct_op(), to_dereference_expr(), to_if_expr(), to_index_expr(), to_member_expr(), to_symbol_expr(), and if_exprt::true_case().
Referenced by get_objects(), get_objects_r(), get_objects_r_lhs(), and get_objects_w().
void get_objects_w | ( | const code_assignt & | assign, |
object_id_sett & | dest | ||
) |
Definition at line 83 of file object_id.cpp.
References get_objects_rec(), code_assignt::lhs(), and LHS_W.
void get_objects_w | ( | const exprt & | lhs, |
object_id_sett & | dest | ||
) |
Definition at line 88 of file object_id.cpp.
References get_objects_rec(), and LHS_W.