cprover
goto_program.cpp File Reference

Program Transformation. More...

#include "goto_program.h"
#include <ostream>
#include <util/std_expr.h>
#include <langapi/language_util.h>
Include dependency graph for goto_program.cpp:

Go to the source code of this file.

Functions

void parse_lhs_read (const exprt &src, std::list< exprt > &dest)
 
std::list< exprtexpressions_read (const goto_programt::instructiont &instruction)
 
std::list< exprtexpressions_written (const goto_programt::instructiont &instruction)
 
void objects_read (const exprt &src, std::list< exprt > &dest)
 
std::list< exprtobjects_read (const goto_programt::instructiont &instruction)
 
void objects_written (const exprt &src, std::list< exprt > &dest)
 
std::list< exprtobjects_written (const goto_programt::instructiont &instruction)
 
std::string as_string (const class namespacet &ns, const goto_programt::instructiont &i)
 

Detailed Description

Program Transformation.

Definition in file goto_program.cpp.

Function Documentation

◆ as_string()

std::string as_string ( const class namespacet ns,
const goto_programt::instructiont &  i 
)

◆ expressions_read()

◆ expressions_written()

std::list<exprt> expressions_written ( const goto_programt::instructiont &  instruction)

◆ objects_read() [1/2]

void objects_read ( const exprt src,
std::list< exprt > &  dest 
)

◆ objects_read() [2/2]

std::list<exprt> objects_read ( const goto_programt::instructiont &  instruction)

Definition at line 357 of file goto_program.cpp.

References expressions_read(), forall_expr_list, and objects_read().

◆ objects_written() [1/2]

void objects_written ( const exprt src,
std::list< exprt > &  dest 
)

◆ objects_written() [2/2]

std::list<exprt> objects_written ( const goto_programt::instructiont &  instruction)

Definition at line 384 of file goto_program.cpp.

References expressions_written(), forall_expr_list, and objects_written().

◆ parse_lhs_read()

void parse_lhs_read ( const exprt src,
std::list< exprt > &  dest 
)

Definition at line 233 of file goto_program.cpp.

References irept::id(), exprt::op0(), exprt::op1(), exprt::op2(), and exprt::operands().

Referenced by expressions_read().