A goto function, consisting of function type (see type), function body (see body), and parameter identifiers (see parameter_identifiers).
More...
#include <goto_function.h>
A goto function, consisting of function type (see type), function body (see body), and parameter identifiers (see parameter_identifiers).
Definition at line 26 of file goto_function.h.
◆ parameter_identifierst
◆ goto_functiont() [1/3]
goto_functiont::goto_functiont |
( |
| ) |
|
|
inline |
◆ goto_functiont() [2/3]
◆ goto_functiont() [3/3]
◆ body_available()
bool goto_functiont::body_available |
( |
| ) |
const |
|
inline |
◆ clear()
void goto_functiont::clear |
( |
void |
| ) |
|
|
inline |
◆ copy_from()
◆ is_hidden()
bool goto_functiont::is_hidden |
( |
| ) |
const |
|
inline |
◆ is_inlined()
bool goto_functiont::is_inlined |
( |
| ) |
const |
|
inline |
◆ make_hidden()
void goto_functiont::make_hidden |
( |
| ) |
|
|
inline |
◆ operator=() [1/2]
◆ operator=() [2/2]
◆ swap()
◆ update_instructions_function()
void goto_functiont::update_instructions_function |
( |
const irep_idt & |
function_id | ) |
|
|
inline |
update the function member in each instruction
- Parameters
-
function_id | the function_id used for assigning empty function members |
Definition at line 78 of file goto_function.h.
◆ validate()
Check that the goto function is well-formed.
The validation mode indicates whether well-formedness check failures are reported via DATA_INVARIANT violations or exceptions.
Definition at line 119 of file goto_function.h.
◆ body
◆ parameter_identifiers
The identifiers of the parameters of this function.
Note: This variable is currently unused and the vector is thus always empty. In the future the code base may be refactored to fill in the parameter identifiers here when creating a goto_functiont
. For now the parameter identifiers should be retrieved from the type (code_typet
).
Definition at line 42 of file goto_function.h.
◆ type
The type of the function, indicating the return type and parameter types.
Definition at line 32 of file goto_function.h.
The documentation for this class was generated from the following file: