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::register_languages
void register_languages()
Definition: goto_cc_languages.cpp:20
goto_cc_modet::message_handler
message_handlert & message_handler
Definition: goto_cc_mode.h:39
goto_cc_modet::~goto_cc_modet
~goto_cc_modet()
constructor
Definition: goto_cc_mode.cpp:41
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:123
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:31
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:75
goto_cc_modet::help
void help()
display command line help
Definition: goto_cc_mode.cpp:46
goto_cc_cmdlinet
Definition: goto_cc_cmdline.h:20