cprover
jdiff_languages.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: JDIFF Languages
4 
5 Author: Peter Schrammel
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_JDIFF_JDIFF_LANGUAGES_H
13 #define CPROVER_JDIFF_JDIFF_LANGUAGES_H
14 
16 #include <langapi/language_ui.h>
17 
19 {
20 public:
21  explicit jdiff_languagest(
22  const cmdlinet &cmdline,
26  {
28  }
29 
30 protected:
31  virtual void register_languages();
32 };
33 
34 #endif // CPROVER_JDIFF_JDIFF_LANGUAGES_H
ui_message_handlert
Definition: ui_message.h:19
optionst
Definition: options.h:22
language_uit::ui_message_handler
ui_message_handlert & ui_message_handler
Definition: language_ui.h:56
goto_model.h
language_uit::options
optionst * options
Definition: language_ui.h:57
language_ui.h
jdiff_languagest::register_languages
virtual void register_languages()
Definition: jdiff_languages.cpp:18
cmdlinet
Definition: cmdline.h:19
language_uit
Definition: language_ui.h:21
jdiff_languagest
Definition: jdiff_languages.h:18
jdiff_languagest::jdiff_languagest
jdiff_languagest(const cmdlinet &cmdline, ui_message_handlert &ui_message_handler, optionst *options)
Definition: jdiff_languages.h:21