|
CBMC
|
A special command line object for the CL options. More...
#include "ms_cl_cmdline.h"#include <util/unicode.h>#include <climits>#include <cstdlib>#include <fstream>#include <iostream>
Include dependency graph for ms_cl_cmdline.cpp:Go to the source code of this file.
Functions | |
| static std::istream & | my_wgetline (std::istream &in, std::wstring &dest) |
Variables | |
| const char * | non_ms_cl_options [] |
| parses the command line options into a cmdlinet | |
| const char * | ms_cl_flags [] |
| const char * | ms_cl_prefixes [] |
A special command line object for the CL options.
Definition in file ms_cl_cmdline.cpp.
|
static |
Definition at line 137 of file ms_cl_cmdline.cpp.
Definition at line 291 of file ms_cl_cmdline.cpp.
parses the command line options into a cmdlinet
Definition at line 25 of file ms_cl_cmdline.cpp.