46 std::cerr <<
"failed to open `" <<
cmdline.
args[0] <<
"'\n";
54 return convert(std::cin,
"stdin");
62 catch(
const char *error)
64 std::cerr << error <<
'\n';
67 catch(
const std::string error)
69 std::cerr << error <<
'\n';
78 const std::string &
file)
88 std::cerr <<
"parse error, giving up\n";
102 "* * MMCC " CBMC_VERSION " - Copyright (C) 2015-2015 * *\n";
108 " mmcc [-?] [-h] [--help] show help\n" 109 " mmcc file.cat convert given source file\n" 110 " mmcc convert from stdin\n"
void mm2cpp(const irep_idt &model_name, const irept &instruction, std::ostream &out)
virtual void help()
display command line help
virtual bool isset(char option) const
void set_file(const irep_idt &file)
mmcc_parse_optionst(int argc, const char **argv)
int convert(std::istream &, const std::string &)
virtual void set_message_handler(message_handlert &_message_handler)
virtual int doit()
invoke main modules
mmcc Command Line Option Processing
virtual void usage_error()