|
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>
Include dependency graph for armcc_cmdline.cpp: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 | |
| 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.
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.