CBMC
ms_link_cmdline.cpp File Reference

A special command line object for LINK options. More...

#include "ms_link_cmdline.h"
#include <util/unicode.h>
#include <fstream>
#include <iostream>
+ Include dependency graph for ms_link_cmdline.cpp:

Go to the source code of this file.

Functions

static std::istream & my_wgetline (std::istream &in, std::wstring &dest)
 
static std::string to_upper_string (const std::string &s)
 

Variables

const char * non_ms_link_options []
 parses the command line options into a cmdlinet More...
 
const char * ms_link_options []
 

Detailed Description

A special command line object for LINK options.

Definition in file ms_link_cmdline.cpp.

Function Documentation

◆ my_wgetline()

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

Definition at line 74 of file ms_link_cmdline.cpp.

◆ to_upper_string()

static std::string to_upper_string ( const std::string &  s)
static

Definition at line 313 of file ms_link_cmdline.cpp.

Variable Documentation

◆ ms_link_options

const char* ms_link_options[]

Definition at line 219 of file ms_link_cmdline.cpp.

◆ non_ms_link_options

const char* non_ms_link_options[]
Initial value:
=
{
"--help",
"--verbosity"
}

parses the command line options into a cmdlinet

parameters: argument count, argument strings
Returns
none

Definition at line 22 of file ms_link_cmdline.cpp.