object_id.cpp File Reference

#include "object_id.h"
#include <goto-programs/goto_instruction_code.h>
#include <util/pointer_expr.h>

Include dependency graph for object_id.cpp:

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)

Detailed Description

Object Identifiers

Definition in file object_id.cpp.

Enumeration Type Documentation

get_modet

enum get_modet

strong

Enumerator
LHS_R
LHS_W
READ

Definition at line 18 of file object_id.cpp.

Function Documentation

get_objects()

void get_objects	(	const exprt &	expr,
		object_id_sett &	dest
	)

Definition at line 76 of file object_id.cpp.

get_objects_r()

void get_objects_r	(	const code_assignt &	assign,
		object_id_sett &	dest
	)

Definition at line 81 of file object_id.cpp.

get_objects_r_lhs()

void get_objects_r_lhs	(	const exprt &	lhs,
		object_id_sett &	dest
	)

Definition at line 97 of file object_id.cpp.

get_objects_rec()

void get_objects_rec	(	get_modet	mode,
		const exprt &	expr,
		object_id_sett &	dest,
		const std::string &	suffix
	)

Definition at line 20 of file object_id.cpp.

get_objects_w() [1/2]

void get_objects_w	(	const code_assignt &	assign,
		object_id_sett &	dest
	)

Definition at line 87 of file object_id.cpp.

get_objects_w() [2/2]

void get_objects_w	(	const exprt &	lhs,
		object_id_sett &	dest
	)

Definition at line 92 of file object_id.cpp.