cprover
Loading...
Searching...
No Matches
ms_cl_cmdline.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: A special command line object for the gcc-like options
4
5Author: CM Wintersteiger
6
7Date: 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{
21public:
22 virtual bool parse(int, const char **);
23
25 {
26 }
27
28 void parse_env();
29
30protected:
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(const std::string &file)
void process_response_file_line(const std::string &line)
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_cl_option(const std::string &s)
Command line interpretation for goto-cc.
Definition: kdev_t.h:19