CBMC
|
A special command line object to mimic ARM's armcc. More...
#include "armcc_cmdline.h"
#include <util/prefix.h>
#include <algorithm>
#include <cstring>
#include <iostream>
#include <string>
#include <vector>
Go to the source code of this file.
Functions | |
std::optional< std::string > | prefix_in_list (const std::string &option, const std::vector< std::string > &list) |
Variables | |
static const char * | options_no_arg [] |
parses the command line options into a cmdlinet More... | |
static const std::vector< std::string > | options_with_prefix |
static const std::vector< std::string > | options_with_arg |
A special command line object to mimic ARM's armcc.
Definition in file armcc_cmdline.cpp.
std::optional<std::string> prefix_in_list | ( | const std::string & | option, |
const std::vector< std::string > & | list | ||
) |
Definition at line 273 of file armcc_cmdline.cpp.
|
static |
parses the command line options into a cmdlinet
Definition at line 28 of file armcc_cmdline.cpp.
|
static |
Definition at line 252 of file armcc_cmdline.cpp.
|
static |
Definition at line 203 of file armcc_cmdline.cpp.