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
optionst * options
Definition: language_ui.h:57
virtual void register_languages()
Symbol Table + CFG.
ui_message_handlert & ui_message_handler
Definition: language_ui.h:56
jdiff_languagest(const cmdlinet &cmdline, ui_message_handlert &ui_message_handler, optionst *options)