cprover
|
#include <ms_cl_mode.h>
Public Member Functions | |
virtual int | doit () |
virtual void | help_mode () |
display command line help More... | |
ms_cl_modet (ms_cl_cmdlinet &_ms_cl_cmdline, const std::string &_base_name) | |
![]() | |
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 | |
ms_cl_cmdlinet & | cmdline |
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_cl_mode.h.
|
inline |
Definition at line 28 of file ms_cl_mode.h.
|
virtual |
Implements goto_cc_modet.
Definition at line 44 of file ms_cl_mode.cpp.
References configt::ansi_c, cmdlinet::args, goto_cc_modet::base_name, configt::ansi_ct::char_is_unsigned, cmdline, compilet::COMPILE_LINK_EXECUTABLE, compilet::COMPILE_ONLY, config, messaget::debug(), configt::ansi_ct::defines, messaget::eom(), get_base_name(), messaget::get_message_handler(), cmdlinet::get_value(), has_prefix(), goto_cc_modet::help(), configt::ansi_ct::include_paths, is_directory(), cmdlinet::isset(), message_handler, configt::ansi_ct::mode, compilet::PREPROCESS_ONLY, configt::ansi_ct::preprocessor_options, configt::set(), message_handlert::set_verbosity(), configt::ansi_ct::undefines, unsafe_string2unsigned(), and configt::ansi_ct::VISUAL_STUDIO.
|
virtual |
|
protected |
Definition at line 37 of file ms_cl_mode.h.
Referenced by doit().
|
protected |
Definition at line 38 of file ms_cl_mode.h.
Referenced by doit().