Go to the documentation of this file.
33 std::perror(
"Remove failed");
40 for(std::size_t i=0; list[i]!=
nullptr; i++)
42 if(strcmp(option, list[i])==0)
56 if(opt_string.size()==3)
65 option.
optstring=std::string(opt_string, 2, std::string::npos);
72 if(opt_string.size()==2)
81 option.
optstring=std::string(opt_string, 1, std::string::npos);
93 if(!optnr.has_value())
114 while(std::cin.read(&ch, 1))
125 return arg.is_infile_name;
#define UNREACHABLE
This should be used to mark dead code.
std::string get_temporary_file(const std::string &prefix, const std::string &suffix)
Substitute for mkstemps (OpenBSD standard) for Windows, where it is unavailable.
std::vector< optiont > options
Command line interpretation for goto-cc.
bool has_prefix(const std::string &s, const std::string &prefix)
nonstd::optional< T > optionalt
bool have_infile_arg() const
std::size_t get_optnr(const std::string &option)
optionalt< std::size_t > getoptnr(char option) const
void add_infile_arg(const std::string &arg)
static bool in_list(const char *option, const char **list)