#include <rebuild_goto_start_function.h>
template<typename maybe_lazy_goto_modelt>
class rebuild_goto_start_function_baset< maybe_lazy_goto_modelt >
Definition at line 28 of file rebuild_goto_start_function.h.
◆ rebuild_goto_start_function_baset()
template<typename maybe_lazy_goto_modelt >
To rebuild the _start function in the event the program was compiled into GOTO with a different entry function selected.
- Parameters
-
options | Command-line options |
goto_model | The goto functions (to replace the body of the _start function) and symbol table (to replace the _start function symbol) of the program. |
message_handler | The message handler to report any messages with |
Definition at line 30 of file rebuild_goto_start_function.cpp.
◆ get_entry_point_mode()
template<typename maybe_lazy_goto_modelt >
Find out the mode of the current entry point to determine the mode of the replacement entry point.
- Returns
- A mode string saying which language to use
Definition at line 74 of file rebuild_goto_start_function.cpp.
◆ operator()()
template<typename maybe_lazy_goto_modelt >
To rebuild the _start function in the event the program was compiled into GOTO with a different entry function selected.
It works by discarding the _start symbol and GOTO function and calling on the relevant languaget to generate the _start function again.
- Returns
- Returns true if either the symbol is not found, or something went wrong with generating the start_function. False otherwise.
Definition at line 45 of file rebuild_goto_start_function.cpp.
◆ remove_existing_entry_point()
template<typename maybe_lazy_goto_modelt >
Eliminate the existing entry point function symbol and any symbols created in that scope from the symbol table.
Definition at line 85 of file rebuild_goto_start_function.cpp.
◆ goto_model
template<typename maybe_lazy_goto_modelt >
◆ options
template<typename maybe_lazy_goto_modelt >
The documentation for this class was generated from the following files: