cprover
|
#include <musketeer_parse_options.h>
Public Member Functions | |
virtual int | doit () |
invoke main modules More... | |
virtual void | help () |
display command line help More... | |
goto_fence_inserter_parse_optionst (int argc, const char **argv) | |
![]() | |
parse_options_baset (const std::string &optstring, int argc, const char **argv) | |
virtual void | usage_error () |
virtual int | main () |
virtual | ~parse_options_baset () |
![]() | |
language_uit (const cmdlinet &cmdline, ui_message_handlert &ui_message_handler) | |
Constructor. More... | |
virtual | ~language_uit () |
Destructor. More... | |
virtual bool | parse () |
virtual bool | parse (const std::string &filename) |
virtual bool | typecheck () |
virtual bool | final () |
virtual void | clear_parse () |
virtual void | show_symbol_table (bool brief=false) |
virtual void | show_symbol_table_plain (std::ostream &out, bool brief) |
virtual void | show_symbol_table_xml_ui (bool brief) |
uit | get_ui () |
Protected Member Functions | |
virtual void | register_languages () |
void | get_goto_program (goto_functionst &goto_functions) |
void | instrument_goto_program (goto_functionst &goto_functions) |
void | set_verbosity () |
Protected Attributes | |
ui_message_handlert | ui_message_handler |
![]() | |
const cmdlinet & | _cmdline |
ui_message_handlert & | ui_message_handler |
Additional Inherited Members | |
![]() | |
typedef ui_message_handlert::uit | uit |
![]() | |
cmdlinet | cmdline |
![]() | |
language_filest | language_files |
symbol_tablet | symbol_table |
Definition at line 30 of file musketeer_parse_options.h.
|
inline |
Definition at line 38 of file musketeer_parse_options.h.
|
virtual |
invoke main modules
Implements parse_options_baset.
Definition at line 68 of file musketeer_parse_options.cpp.
References cmdlinet::args, parse_options_baset::cmdline, messaget::eom(), messaget::error(), get_goto_program(), messaget::get_message_handler(), help(), instrument_goto_program(), cmdlinet::isset(), MUSKETEER_VERSION, register_languages(), set_verbosity(), messaget::status(), language_uit::symbol_table, and write_goto_binary().
|
protected |
Definition at line 134 of file musketeer_parse_options.cpp.
References cmdlinet::args, parse_options_baset::cmdline, config, messaget::eom(), messaget::get_message_handler(), read_goto_binary(), configt::set_from_symbol_table(), messaget::status(), and language_uit::symbol_table.
Referenced by doit().
|
virtual |
display command line help
Reimplemented from parse_options_baset.
Definition at line 396 of file musketeer_parse_options.cpp.
References MUSKETEER_VERSION.
Referenced by doit().
|
protected |
Definition at line 146 of file musketeer_parse_options.cpp.
References add_failed_symbols(), all, all_loops, arrays_only, parse_options_baset::cmdline, goto_functions_templatet< bodyT >::compute_loop_numbers(), messaget::eom(), fence_all_shared(), fence_all_shared_aeg(), fence_pensieve(), fence_volatile(), fence_weak_memory(), messaget::get_message_handler(), cmdlinet::get_value(), goto_partial_inline(), INFER, cmdlinet::isset(), label_properties(), link_to_library(), min_interference, my_events, no_loop, one_event_per_cycle, Power, propagate_const_function_pointers(), PSO, read_first, remove_asm(), remove_function_pointers(), replace_async(), RMO, optionst::set_option(), messaget::status(), language_uit::symbol_table, TSO, ui_message_handler, Unknown, unsafe_string2unsigned(), goto_functions_templatet< bodyT >::update(), USER_DEF, and write_first.
Referenced by doit().
|
protectedvirtual |
Definition at line 18 of file languages.cpp.
References new_ansi_c_language(), and register_language().
Referenced by doit().
|
protected |
Definition at line 53 of file musketeer_parse_options.cpp.
References parse_options_baset::cmdline, cmdlinet::get_value(), cmdlinet::isset(), message_handlert::set_verbosity(), ui_message_handler, and unsafe_string2unsigned().
Referenced by doit().
|
protected |
Definition at line 46 of file musketeer_parse_options.h.
Referenced by instrument_goto_program(), and set_verbosity().