cprover
Loading...
Searching...
No Matches
java_syntactic_diff.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Syntactic GOTO-DIFF for Java
4
5Author: Peter Schrammel
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_JDIFF_JAVA_SYNTACTIC_DIFF_H
13#define CPROVER_JDIFF_JAVA_SYNTACTIC_DIFF_H
14
15#include <goto-diff/goto_diff.h>
16
18{
19public:
21 const goto_modelt &_goto_model1,
22 const goto_modelt &_goto_model2,
23 const optionst &_options,
24 ui_message_handlert &_message_handler)
25 : goto_difft(_goto_model1, _goto_model2, _options, _message_handler)
26 {
27 }
28
29 virtual bool operator()();
30};
31
32#endif // CPROVER_JDIFF_JAVA_SYNTACTIC_DIFF_H
goto_difft(const goto_modelt &_goto_model1, const goto_modelt &_goto_model2, const optionst &_options, ui_message_handlert &_message_handler)
Definition goto_diff.h:28
java_syntactic_difft(const goto_modelt &_goto_model1, const goto_modelt &_goto_model2, const optionst &_options, ui_message_handlert &_message_handler)
GOTO-DIFF Base Class.