cprover
mmcc_parse_options.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: mmcc Command Line Option Processing
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_MEMORY_MODELS_MMCC_PARSE_OPTIONS_H
13 #define CPROVER_MEMORY_MODELS_MMCC_PARSE_OPTIONS_H
14 
15 #include <util/parse_options.h>
16 
17 #include <langapi/language_ui.h>
18 
19 #define MMCC_OPTIONS \
20  ""
21 
23 {
24 public:
25  virtual int doit();
26  virtual void help();
27 
28  mmcc_parse_optionst(int argc, const char **argv);
29 
30 protected:
31  int convert(std::istream &, const std::string &);
32 };
33 
34 #endif // CPROVER_MEMORY_MODELS_MMCC_PARSE_OPTIONS_H
virtual void help()
display command line help
mmcc_parse_optionst(int argc, const char **argv)
int convert(std::istream &, const std::string &)
virtual int doit()
invoke main modules