cprover
|
#include <ms_link_mode.h>
Public Member Functions | |
int | doit () final |
does it. More... | |
void | help_mode () final |
display command line help More... | |
ms_link_modet (goto_cc_cmdlinet &) | |
![]() | |
virtual int | main (int argc, const char **argv) |
starts the compiler More... | |
virtual void | help () |
display command line help More... | |
virtual void | usage_error () |
prints a message informing the user about incorrect options More... | |
goto_cc_modet (goto_cc_cmdlinet &, const std::string &_base_name, message_handlert &) | |
constructor More... | |
~goto_cc_modet () | |
constructor More... | |
Protected Attributes | |
console_message_handlert | message_handler |
![]() | |
goto_cc_cmdlinet & | cmdline |
const std::string | base_name |
Additional Inherited Members | |
![]() | |
void | register_languages () |
Definition at line 22 of file ms_link_mode.h.
|
explicit |
Definition at line 19 of file ms_link_mode.cpp.
|
finalvirtual |
does it.
Implements goto_cc_modet.
Definition at line 25 of file ms_link_mode.cpp.
References cmdlinet::args, goto_cc_modet::cmdline, config, messaget::eval_verbosity(), get_base_name(), cmdlinet::get_value(), cmdlinet::get_values(), goto_cc_modet::help(), cmdlinet::isset(), compilet::LINK_LIBRARY, messaget::M_ERROR, message_handler, goto_cc_cmdlinet::parsed_argv, and configt::set().
|
finalvirtual |
|
protected |
Definition at line 31 of file ms_link_mode.h.
Referenced by doit().