cprover
goto_diff_languages.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: GOTO-DIFF Languages
4 
5 Author: Peter Schrammel
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_DIFF_GOTO_DIFF_LANGUAGES_H
13 #define CPROVER_GOTO_DIFF_GOTO_DIFF_LANGUAGES_H
14 
15 #include <langapi/language_ui.h>
17 
19 {
20 public:
22  const cmdlinet &cmdline,
25  {
27  }
28 
29 protected:
30  virtual void register_languages();
31 };
32 
33 #endif // CPROVER_GOTO_DIFF_GOTO_DIFF_LANGUAGES_H
goto_diff_languagest::goto_diff_languagest
goto_diff_languagest(const cmdlinet &cmdline, ui_message_handlert &ui_message_handler)
Definition: goto_diff_languages.h:21
ui_message_handlert
Definition: ui_message.h:19
language_uit::ui_message_handler
ui_message_handlert & ui_message_handler
Definition: language_ui.h:56
goto_diff_languagest::register_languages
virtual void register_languages()
Definition: goto_diff_languages.cpp:19
goto_model.h
language_ui.h
cmdlinet
Definition: cmdline.h:19
language_uit
Definition: language_ui.h:21
goto_diff_languagest
Definition: goto_diff_languages.h:18