|
cprover
|
A special command line object for the CL options. More...
#include "ms_cl_cmdline.h"#include <cassert>#include <cstring>#include <cstdlib>#include <iostream>#include <fstream>#include <util/unicode.h>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 135 of file ms_cl_cmdline.cpp.
Referenced by ms_cl_cmdlinet::process_response_file().
| const char* ms_cl_flags[] |
Definition at line 288 of file ms_cl_cmdline.cpp.
Referenced by ms_cl_cmdlinet::process_cl_option().
| const char* ms_cl_prefixes[] |
Definition at line 294 of file ms_cl_cmdline.cpp.
Referenced by ms_cl_cmdlinet::process_cl_option().
| const char* non_ms_cl_options[] |
parses the command line options into a cmdlinet
Definition at line 25 of file ms_cl_cmdline.cpp.
Referenced by ms_cl_cmdlinet::process_non_cl_option().