cprover
ms_cl_cmdline.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: A special command line object for the gcc-like options
4 
5 Author: CM Wintersteiger
6 
7 Date: June 2006
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_CC_MS_CL_CMDLINE_H
15 #define CPROVER_GOTO_CC_MS_CL_CMDLINE_H
16 
17 #include "goto_cc_cmdline.h"
18 
20 {
21 public:
22  virtual bool parse(int, const char **);
23 
25  {
26  }
27 
28  void parse_env();
29 
30 protected:
31  void process_non_cl_option(const std::string &s);
32  void process_cl_option(const std::string &s);
33  void process_response_file(const std::string &file);
34  void process_response_file_line(const std::string &line);
35  bool parse(const std::vector<std::string> &);
36 };
37 
38 #endif // CPROVER_GOTO_CC_MS_CL_CMDLINE_H
file
Definition: kdev_t.h:19
ms_cl_cmdlinet::process_non_cl_option
void process_non_cl_option(const std::string &s)
Definition: ms_cl_cmdline.cpp:277
goto_cc_cmdline.h
Command line interpretation for goto-cc.
ms_cl_cmdlinet
Definition: ms_cl_cmdline.h:20
ms_cl_cmdlinet::process_response_file_line
void process_response_file_line(const std::string &line)
Definition: ms_cl_cmdline.cpp:237
ms_cl_cmdlinet::ms_cl_cmdlinet
ms_cl_cmdlinet()
Definition: ms_cl_cmdline.h:24
ms_cl_cmdlinet::parse_env
void parse_env()
Definition: ms_cl_cmdline.cpp:103
goto_cc_cmdlinet::parse
virtual bool parse(int argc, const char **argv, const char *optstring)
Definition: cmdline.cpp:154
ms_cl_cmdlinet::process_cl_option
void process_cl_option(const std::string &s)
Definition: ms_cl_cmdline.cpp:418
goto_cc_cmdlinet
Definition: goto_cc_cmdline.h:20
ms_cl_cmdlinet::process_response_file
void process_response_file(const std::string &file)
Definition: ms_cl_cmdline.cpp:176