CBMC
goto_inspect_main.cpp
Go to the documentation of this file.
1
// Author: Fotis Koutoulakis for Diffblue Ltd.
2
3
#ifdef _MSC_VER
4
# include <
util/unicode.h
>
5
#endif
6
7
#include "
goto_inspect_parse_options.h
"
8
9
#ifdef _MSC_VER
10
int
wmain(
int
argc,
const
wchar_t
**argv_wide)
11
{
12
auto
vec =
narrow_argv
(argc, argv_wide);
13
auto
narrow
=
to_c_str_array
(std::begin(vec), std::end(vec));
14
auto
argv =
narrow
.data();
15
#else
16
int
main
(
int
argc,
const
char
**argv)
17
{
18
#endif
19
return
goto_inspect_parse_optionst
{argc, argv}.
main
();
20
}
parse_options_baset::main
virtual int main()
Definition:
parse_options.cpp:75
main
int main(int argc, const char **argv)
Definition:
goto_inspect_main.cpp:16
goto_inspect_parse_options.h
narrow
output_type narrow(input_type input)
Run-time checked narrowing cast.
Definition:
narrow.h:34
goto_inspect_parse_optionst
Definition:
goto_inspect_parse_options.h:17
narrow_argv
std::vector< std::string > narrow_argv(int argc, const wchar_t **argv_wide)
Definition:
unicode.cpp:149
unicode.h
to_c_str_array
std::vector< const char * > to_c_str_array(It b, It e)
Definition:
unicode.h:66
src
goto-inspect
goto_inspect_main.cpp
Generated by
1.9.1