cprover
goto_functiont Class Reference

#include <goto_function.h>

Collaboration diagram for goto_functiont:
[legend]

Public Types

typedef std::vector< irep_idtparameter_identifierst
 

Public Member Functions

bool body_available () const
 
bool is_inlined () const
 
bool is_hidden () const
 
void make_hidden ()
 
 goto_functiont ()
 
void clear ()
 
void update_instructions_function (const irep_idt &function_id)
 update the function member in each instruction More...
 
void swap (goto_functiont &other)
 
void copy_from (const goto_functiont &other)
 
 goto_functiont (const goto_functiont &)=delete
 
goto_functiontoperator= (const goto_functiont &)=delete
 
 goto_functiont (goto_functiont &&other)
 
goto_functiontoperator= (goto_functiont &&other)
 

Public Attributes

goto_programt body
 
code_typet type
 
parameter_identifierst parameter_identifiers
 

Detailed Description

Definition at line 20 of file goto_function.h.

Member Typedef Documentation

◆ parameter_identifierst

Definition at line 26 of file goto_function.h.

Constructor & Destructor Documentation

◆ goto_functiont() [1/3]

goto_functiont::goto_functiont ( )
inline

Definition at line 49 of file goto_function.h.

◆ goto_functiont() [2/3]

goto_functiont::goto_functiont ( const goto_functiont )
delete

◆ goto_functiont() [3/3]

goto_functiont::goto_functiont ( goto_functiont &&  other)
inline

Definition at line 85 of file goto_function.h.

Member Function Documentation

◆ body_available()

◆ clear()

void goto_functiont::clear ( void  )
inline

Definition at line 53 of file goto_function.h.

References body, irept::clear(), goto_programt::clear(), parameter_identifiers, and type.

◆ copy_from()

void goto_functiont::copy_from ( const goto_functiont other)
inline

◆ is_hidden()

bool goto_functiont::is_hidden ( ) const
inline

Definition at line 39 of file goto_function.h.

References irept::get_bool(), and type.

Referenced by goto_inlinet::insert_function_body().

◆ is_inlined()

bool goto_functiont::is_inlined ( ) const
inline

Definition at line 34 of file goto_function.h.

References irept::get_bool(), and type.

Referenced by goto_partial_inline().

◆ make_hidden()

void goto_functiont::make_hidden ( )
inline

Definition at line 44 of file goto_function.h.

References irept::set(), and type.

◆ operator=() [1/2]

goto_functiont& goto_functiont::operator= ( const goto_functiont )
delete

◆ operator=() [2/2]

goto_functiont& goto_functiont::operator= ( goto_functiont &&  other)
inline

Definition at line 92 of file goto_function.h.

References body, parameter_identifiers, and type.

◆ swap()

void goto_functiont::swap ( goto_functiont other)
inline

Definition at line 68 of file goto_function.h.

References body, parameter_identifiers, irept::swap(), goto_programt::swap(), and type.

◆ update_instructions_function()

void goto_functiont::update_instructions_function ( const irep_idt function_id)
inline

update the function member in each instruction

Parameters
function_idthe function_id used for assigning empty function members

Definition at line 63 of file goto_function.h.

References body, and goto_programt::update_instructions_function().

Member Data Documentation

◆ body

◆ parameter_identifiers

parameter_identifierst goto_functiont::parameter_identifiers

Definition at line 27 of file goto_function.h.

Referenced by clear(), copy_from(), operator=(), and swap().

◆ type


The documentation for this class was generated from the following file: