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
>
16
#include <
goto-programs/goto_model.h
>
17
18
class
goto_diff_languagest
:
public
language_uit
19
{
20
public
:
21
explicit
goto_diff_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_GOTO_DIFF_GOTO_DIFF_LANGUAGES_H
ui_message_handlert
Definition:
ui_message.h:19
language_uit
Definition:
language_ui.h:21
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
goto_diff_languagest::goto_diff_languagest
goto_diff_languagest(const cmdlinet &cmdline, ui_message_handlert &ui_message_handler)
Definition:
goto_diff_languages.h:21
goto_diff_languagest::register_languages
virtual void register_languages()
Definition:
goto_diff_languages.cpp:19
language_ui.h
goto_diff_languagest
Definition:
goto_diff_languages.h:18
goto-diff
goto_diff_languages.h
Generated by
1.8.14