14 #ifndef CPROVER_GOTO_CC_MS_LINK_CMDLINE_H 15 #define CPROVER_GOTO_CC_MS_LINK_CMDLINE_H 22 virtual bool parse(
int,
const char **);
33 bool parse(
const std::vector<std::string> &);
36 #endif // CPROVER_GOTO_CC_MS_LINK_CMDLINE_H void process_response_file(const std::string &file)
Command line interpretation for goto-cc.
void process_link_option(const std::string &s)
virtual bool parse(int, const char **)
parses the command line options into a cmdlinet
void process_non_link_option(const std::string &s)
void process_response_file_line(const std::string &line)