cprover
Loading...
Searching...
No Matches
ms_link_cmdline.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: A special command line object for LINK options
4
5Author: Daniel Kroening
6
7Date: July 2018
8
9\*******************************************************************/
10
13
14#ifndef CPROVER_GOTO_CC_MS_LINK_CMDLINE_H
15#define CPROVER_GOTO_CC_MS_LINK_CMDLINE_H
16
17#include "goto_cc_cmdline.h"
18
20{
21public:
22 virtual bool parse(int, const char **);
23
25 {
26 }
27
28protected:
29 void process_non_link_option(const std::string &s);
30 void process_link_option(const std::string &s);
31 void process_response_file(const std::string &file);
32 void process_response_file_line(const std::string &line);
33 bool parse(const std::vector<std::string> &);
34};
35
36#endif // CPROVER_GOTO_CC_MS_LINK_CMDLINE_H
Command line interpretation for goto-cc.
Definition: kdev_t.h:19