cprover
ms_link_cmdline.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: A special command line object for LINK options
4
5
Author: Daniel Kroening
6
7
Date: 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
19
class
ms_link_cmdlinet
:
public
goto_cc_cmdlinet
20
{
21
public
:
22
virtual
bool
parse
(
int
,
const
char
**);
23
24
ms_link_cmdlinet
()
25
{
26
}
27
28
protected
:
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
ms_link_cmdlinet::process_response_file
void process_response_file(const std::string &file)
Definition:
ms_link_cmdline.cpp:113
ms_link_cmdlinet::process_non_link_option
void process_non_link_option(const std::string &s)
Definition:
ms_link_cmdline.cpp:213
ms_link_cmdlinet
Definition:
ms_link_cmdline.h:20
file
Definition:
kdev_t.h:19
goto_cc_cmdline.h
Command line interpretation for goto-cc.
ms_link_cmdlinet::ms_link_cmdlinet
ms_link_cmdlinet()
Definition:
ms_link_cmdline.h:24
ms_link_cmdlinet::process_link_option
void process_link_option(const std::string &s)
Definition:
ms_link_cmdline.cpp:326
ms_link_cmdlinet::process_response_file_line
void process_response_file_line(const std::string &line)
Definition:
ms_link_cmdline.cpp:173
goto_cc_cmdlinet::parse
virtual bool parse(int argc, const char **argv, const char *optstring)
Definition:
cmdline.cpp:154
goto_cc_cmdlinet
Definition:
goto_cc_cmdline.h:20
goto-cc
ms_link_cmdline.h
Generated by
1.8.20