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
15
#include <
goto-programs/goto_model.h
>
16
#include <
langapi/language_ui.h
>
17
18
class
jdiff_languagest
:
public
language_uit
19
{
20
public
:
21
explicit
jdiff_languagest
(
22
const
cmdlinet
&cmdline,
23
ui_message_handlert
&
ui_message_handler
)
24
:
language_uit
(cmdline,
ui_message_handler
)
25
{
26
register_languages
();
27
}
28
29
protected
:
30
virtual
void
register_languages
();
31
};
32
33
#endif // CPROVER_JDIFF_JDIFF_LANGUAGES_H
ui_message_handlert
Definition:
ui_message.h:19
language_uit
Definition:
language_ui.h:21
jdiff_languagest::register_languages
virtual void register_languages()
Definition:
jdiff_languages.cpp:18
cmdlinet
Definition:
cmdline.h:19
goto_model.h
Symbol Table + CFG.
language_uit::ui_message_handler
ui_message_handlert & ui_message_handler
Definition:
language_ui.h:55
language_ui.h
jdiff_languagest
Definition:
jdiff_languages.h:18
jdiff_languagest::jdiff_languagest
jdiff_languagest(const cmdlinet &cmdline, ui_message_handlert &ui_message_handler)
Definition:
jdiff_languages.h:21
jbmc
src
jdiff
jdiff_languages.h
Generated by
1.8.14