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,
24  language_uit(cmdline, ui_message_handler)
25  {
27  }
28 
29 protected:
30  virtual void register_languages();
31 };
32 
33 #endif // CPROVER_GOTO_DIFF_GOTO_DIFF_LANGUAGES_H
Symbol Table + CFG.
ui_message_handlert & ui_message_handler
Definition: language_ui.h:54
goto_diff_languagest(const cmdlinet &cmdline, ui_message_handlert &ui_message_handler)
virtual void register_languages()