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  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;
39  void register_languages();
40 };
41 
42 #endif // CPROVER_GOTO_CC_GOTO_CC_MODE_H
messaget
Class that provides messages with a built-in verbosity 'level'.
Definition: message.h:155
goto_cc_modet::register_languages
void register_languages()
Definition: goto_cc_languages.cpp:20
goto_cc_modet::~goto_cc_modet
~goto_cc_modet()
constructor
Definition: goto_cc_mode.cpp:42
goto_cc_modet::base_name
const std::string base_name
Definition: goto_cc_mode.h:38
goto_cc_modet::help_mode
virtual void help_mode()=0
goto_cc_cmdline.h
Command line interpretation for goto-cc.
goto_cc_modet::usage_error
virtual void usage_error()
prints a message informing the user about incorrect options
Definition: goto_cc_mode.cpp:120
goto_cc_modet::doit
virtual int doit()=0
message_handlert
Definition: message.h:28
goto_cc_modet::cmdline
goto_cc_cmdlinet & cmdline
Definition: goto_cc_mode.h:37
goto_cc_modet::goto_cc_modet
goto_cc_modet(goto_cc_cmdlinet &, const std::string &_base_name, message_handlert &)
constructor
Definition: goto_cc_mode.cpp:30
goto_cc_modet
Definition: goto_cc_mode.h:22
goto_cc_modet::main
int main(int argc, const char **argv)
starts the compiler
Definition: goto_cc_mode.cpp:76
goto_cc_modet::help
void help()
display command line help
Definition: goto_cc_mode.cpp:47
message.h
goto_cc_cmdlinet
Definition: goto_cc_cmdline.h:20