|
CBMC
|
#include "ms_cl_cmdline.h"#include <climits>#include <cstdlib>#include <fstream>#include <iostream>#include <util/unicode.h>
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 More... | |
| 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 138 of file ms_cl_cmdline.cpp.
| const char* ms_cl_flags[] |
| const char* ms_cl_prefixes[] |
Definition at line 295 of file ms_cl_cmdline.cpp.
| const char* non_ms_cl_options[] |
parses the command line options into a cmdlinet
Definition at line 25 of file ms_cl_cmdline.cpp.