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
optionst
*
options
)
25
:
language_uit
(cmdline,
ui_message_handler
,
options
)
26
{
27
register_languages
();
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
language_uit
Definition:
language_ui.h:21
language_uit::options
optionst * options
Definition:
language_ui.h:57
jdiff_languagest::register_languages
virtual void register_languages()
Definition:
jdiff_languages.cpp:18
optionst
Definition:
options.h:22
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:56
jdiff_languagest::jdiff_languagest
jdiff_languagest(const cmdlinet &cmdline, ui_message_handlert &ui_message_handler, optionst *options)
Definition:
jdiff_languages.h:21
language_ui.h
jdiff_languagest
Definition:
jdiff_languages.h:18
jbmc
src
jdiff
jdiff_languages.h
Generated by
1.8.14