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 27 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 |
- Deprecated:
- "deprecated since " "2019" "-" "2" "-" "16" "; " "Get the type from the symbol table instead"
Definition at line 64 of file goto_function.h.
◆ is_inlined()
bool goto_functiont::is_inlined |
( |
| ) |
const |
|
inline |
- Deprecated:
- "deprecated since " "2019" "-" "2" "-" "16" "; " "Get the type from the symbol table instead"
Definition at line 58 of file goto_function.h.
◆ make_hidden()
void goto_functiont::make_hidden |
( |
| ) |
|
|
inline |
- Deprecated:
- "deprecated since " "2019" "-" "2" "-" "16" "; " "Get the type from the symbol table instead"
Definition at line 70 of file goto_function.h.
◆ operator=() [1/2]
◆ operator=() [2/2]
◆ set_parameter_identifiers()
void goto_functiont::set_parameter_identifiers |
( |
const code_typet & |
code_type | ) |
|
|
inline |
◆ swap()
◆ 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 36 of file goto_function.cpp.
◆ body
◆ parameter_identifiers
The identifiers of the parameters of this function.
Note: This is now the preferred way of getting the identifiers of the parameters. The identifiers in the type will go away.
Definition at line 42 of file goto_function.h.
◆ type
The type of the function, indicating the return type and parameter types.
- Deprecated:
- "deprecated since " "2019" "-" "2" "-" "16" "; " "Get the type from the symbol table instead"
Definition at line 34 of file goto_function.h.
The documentation for this class was generated from the following files: