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>
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 137 of file ms_cl_cmdline.cpp.
const char* ms_cl_flags[] |
const char* ms_cl_prefixes[] |
Definition at line 291 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.