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
void process_response_file_line(const std::string &line)
Command line interpretation for goto-cc.
void process_non_cl_option(const std::string &s)
virtual bool parse(int, const char **)
parses the command line options into a cmdlinet
void process_response_file(const std::string &file)
Definition: kdev_t.h:19
void process_cl_option(const std::string &s)