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
19
class
ms_cl_cmdlinet
:
public
goto_cc_cmdlinet
20
{
21
public
:
22
virtual
bool
parse
(
int
,
const
char
**);
23
24
ms_cl_cmdlinet
()
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
goto-cc
ms_cl_cmdline.h
Generated by
1.8.20