Go to the documentation of this file.
34 std::perror(
"Remove failed");
41 for(std::size_t i=0; list[i]!=
nullptr; i++)
43 if(strcmp(option, list[i])==0)
57 if(opt_string.size()==3)
66 option.
optstring=std::string(opt_string, 2, std::string::npos);
73 if(opt_string.size()==2)
82 option.
optstring=std::string(opt_string, 1, std::string::npos);
94 if(!optnr.has_value())
115 while(std::cin.read(&ch, 1))
126 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.
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
bool has_prefix(const std::string &s, const std::string &prefix)
void add_infile_arg(const std::string &arg)
static bool in_list(const char *option, const char **list)