CBMC
ms_cl_cmdline.cpp File Reference

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 More...
 
const char * ms_cl_flags []
 
const char * ms_cl_prefixes []
 

Detailed Description

A special command line object for the CL options.

Definition in file ms_cl_cmdline.cpp.

Function Documentation

◆ my_wgetline()

static std::istream& my_wgetline ( std::istream &  in,
std::wstring &  dest 
)
static

Definition at line 137 of file ms_cl_cmdline.cpp.

Variable Documentation

◆ ms_cl_flags

const char* ms_cl_flags[]
Initial value:
=
{
"c",
nullptr
}
Returns
none

Definition at line 285 of file ms_cl_cmdline.cpp.

◆ ms_cl_prefixes

const char* ms_cl_prefixes[]

Definition at line 291 of file ms_cl_cmdline.cpp.

◆ non_ms_cl_options

const char* non_ms_cl_options[]
Initial value:
=
{
"--show-symbol-table",
"--show-function-table",
"--ppc-macos",
"--i386-linux",
"--i386-win32",
"--i386-macos",
"--string-abstraction",
"--no-library",
"--16",
"--32",
"--64",
"--little-endian",
"--big-endian",
"--unsigned-char",
"--help",
"--xml",
"--partial-inlining",
"--verbosity",
"--function",
"--validate-goto-model",
"--export-file-local-symbols",
"--mangle-suffix",
nullptr
}

parses the command line options into a cmdlinet

parameters: argument count, argument strings
Returns
none

Definition at line 25 of file ms_cl_cmdline.cpp.