cprover
|
#include <unified_diff.h>
Public Types | |
enum | differencet { differencet::SAME, differencet::DELETED, differencet::NEW } |
typedef std::list< std::pair< goto_programt::const_targett, differencet > > | goto_program_difft |
Public Member Functions | |
unified_difft (const goto_modelt &model_old, const goto_modelt &model_new) | |
bool | operator() () |
void | output (std::ostream &os) const |
void | get_diff (const irep_idt &function, goto_program_difft &dest) const |
Protected Types | |
typedef std::vector< differencet > | differencest |
typedef std::map< irep_idt, differencest > | differences_mapt |
Protected Member Functions | |
void | unified_diff (const irep_idt &identifier, const goto_programt &old_goto_program, const goto_programt &new_goto_program) |
void | lcss (const irep_idt &identifier, const goto_programt &old_goto_program, const goto_programt &new_goto_program, differencest &differences) const |
void | get_diff (const irep_idt &identifier, const goto_programt &old_goto_program, const goto_programt &new_goto_program, const differencest &differences, goto_program_difft &dest) const |
void | output_diff (const irep_idt &identifier, const goto_programt &old_goto_program, const goto_programt &new_goto_program, const differencest &differences, std::ostream &os) const |
bool | instructions_equal (const goto_programt::instructiont &ins1, const goto_programt::instructiont &ins2, bool recurse=true) const |
Protected Attributes | |
const goto_functionst & | old_goto_functions |
const namespacet | ns_old |
const goto_functionst & | new_goto_functions |
const namespacet | ns_new |
differences_mapt | differences_map |
Definition at line 30 of file unified_diff.h.
|
protected |
Definition at line 63 of file unified_diff.h.
|
protected |
Definition at line 62 of file unified_diff.h.
typedef std::list<std::pair<goto_programt::const_targett, differencet> > unified_difft::goto_program_difft |
Definition at line 50 of file unified_diff.h.
|
strong |
Enumerator | |
---|---|
SAME | |
DELETED | |
NEW |
Definition at line 41 of file unified_diff.h.
unified_difft::unified_difft | ( | const goto_modelt & | model_old, |
const goto_modelt & | model_new | ||
) |
Definition at line 20 of file unified_diff.cpp.
void unified_difft::get_diff | ( | const irep_idt & | function, |
goto_program_difft & | dest | ||
) | const |
Definition at line 29 of file unified_diff.cpp.
References differences_map, goto_functions_templatet< bodyT >::function_map, new_goto_functions, and old_goto_functions.
Referenced by change_impactt::change_impact(), and output_diff().
|
protected |
Definition at line 64 of file unified_diff.cpp.
References DELETED, goto_program_templatet< codeT, guardT >::instructions, NEW, and SAME.
|
inlineprotected |
Definition at line 92 of file unified_diff.h.
Referenced by lcss().
|
protected |
Definition at line 164 of file unified_diff.cpp.
References DELETED, goto_program_templatet< codeT, guardT >::instructions, instructions_equal(), NEW, and SAME.
Referenced by unified_diff().
bool unified_difft::operator() | ( | void | ) |
Definition at line 341 of file unified_diff.cpp.
References differences_map, forall_goto_functions, new_goto_functions, old_goto_functions, and unified_diff().
void unified_difft::output | ( | std::ostream & | os | ) | const |
Definition at line 384 of file unified_diff.cpp.
References differences_map, goto_functions_templatet< bodyT >::function_map, new_goto_functions, old_goto_functions, and output_diff().
Referenced by goto_diff_parse_optionst::doit().
|
protected |
Definition at line 103 of file unified_diff.cpp.
References DELETED, get_diff(), NEW, ns_new, ns_old, goto_programt::output_instruction(), and SAME.
Referenced by output().
|
protected |
Definition at line 317 of file unified_diff.cpp.
References DELETED, differences_map, goto_program_templatet< codeT, guardT >::instructions, lcss(), and NEW.
Referenced by operator()().
|
protected |
Definition at line 65 of file unified_diff.h.
Referenced by get_diff(), operator()(), output(), and unified_diff().
|
protected |
Definition at line 59 of file unified_diff.h.
Referenced by get_diff(), operator()(), and output().
|
protected |
Definition at line 60 of file unified_diff.h.
Referenced by output_diff().
|
protected |
Definition at line 58 of file unified_diff.h.
Referenced by output_diff().
|
protected |
Definition at line 57 of file unified_diff.h.
Referenced by get_diff(), operator()(), and output().