cprover
goto_cc_mode.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Command line interpretation for goto-cc.
4 
5 Author: CM Wintersteiger
6 
7 Date: June 2006
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_CC_GOTO_CC_MODE_H
15 #define CPROVER_GOTO_CC_GOTO_CC_MODE_H
16 
17 #include "goto_cc_cmdline.h"
18 
19 class message_handlert;
20 
22 {
23 public:
24  int main(int argc, const char **argv);
25  virtual int doit()=0;
26  virtual void help_mode()=0;
27  void help();
28  virtual void usage_error();
29 
32  const std::string &_base_name,
35 
36 protected:
38  const std::string base_name;
40  void register_languages();
41 };
42 
43 #endif // CPROVER_GOTO_CC_GOTO_CC_MODE_H
~goto_cc_modet()
constructor
virtual int doit()=0
goto_cc_modet(goto_cc_cmdlinet &, const std::string &_base_name, message_handlert &)
constructor
goto_cc_cmdlinet & cmdline
Definition: goto_cc_mode.h:37
virtual void help_mode()=0
message_handlert & message_handler
Definition: goto_cc_mode.h:39
const std::string base_name
Definition: goto_cc_mode.h:38
virtual void usage_error()
prints a message informing the user about incorrect options
void help()
display command line help
int main(int argc, const char **argv)
starts the compiler
Command line interpretation for goto-cc.