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 #include <util/message.h>
20 
21 class goto_cc_modet:public messaget
22 {
23 public:
24  virtual int main(int argc, const char **argv);
25  virtual int doit()=0;
26  virtual void help_mode()=0;
27  virtual void help();
28  virtual void usage_error();
29 
32  const std::string &_base_name,
35 
36 protected:
38  const std::string base_name;
39  void register_languages();
40 };
41 
42 #endif // CPROVER_GOTO_CC_GOTO_CC_MODE_H
virtual int main(int argc, const char **argv)
starts the compiler
Command line interpretation for goto-cc.
virtual void usage_error()
prints a message informing the user about incorrect options
goto_cc_cmdlinet & cmdline
Definition: goto_cc_mode.h:37
Class that provides messages with a built-in verbosity &#39;level&#39;.
Definition: message.h:144
virtual int doit()=0
virtual void help_mode()=0
virtual void help()
display command line help
~goto_cc_modet()
constructor
goto_cc_modet(goto_cc_cmdlinet &, const std::string &_base_name, message_handlert &)
constructor
const std::string base_name
Definition: goto_cc_mode.h:38