CBMC: syntactic_difft Class Reference

CBMC

Loading...

Searching...

No Matches

Public Member Functions | List of all members

syntactic_difft Class Reference

#include <syntactic_diff.h>

+ Inheritance diagram for syntactic_difft:

+ Collaboration diagram for syntactic_difft:

Public Member Functions

syntactic_difft (const goto_modelt &_goto_model1, const goto_modelt &_goto_model2, const optionst &_options, ui_message_handlert &_message_handler)

virtual bool operator() ()

- Public Member Functions inherited from goto_difft

goto_difft (const goto_modelt &_goto_model1, const goto_modelt &_goto_model2, const optionst &_options, ui_message_handlert &_message_handler)

virtual ~goto_difft ()=default

virtual void output_functions () const

Output diff result.

Additional Inherited Members

- Protected Member Functions inherited from goto_difft

void output_function_group (const std::string &group_name, const std::set< irep_idt > &function_group, const goto_modelt &goto_model) const

Output group of functions in plain text format.

void output_function (const irep_idt &function_name, const goto_modelt &goto_model) const

Output function information in plain text format.

void convert_function_group_json (json_arrayt &result, const std::set< irep_idt > &function_group, const goto_modelt &goto_model) const

Convert a function group to JSON.

void convert_function_json (json_objectt &result, const irep_idt &function_name, const goto_modelt &goto_model) const

Convert function information to JSON.

- Protected Attributes inherited from goto_difft

ui_message_handlert & message_handler

const goto_modelt & goto_model1

const goto_modelt & goto_model2

const optionst & options

unsigned total_functions_count

std::set< irep_idt > new_functions

std::set< irep_idt > modified_functions

std::set< irep_idt > deleted_functions

Detailed Description

Definition at line 17 of file syntactic_diff.h.

Constructor & Destructor Documentation

◆ syntactic_difft()

syntactic_difft::syntactic_difft ( const goto_modelt & _goto_model1,

const goto_modelt & _goto_model2,

const optionst & _options,

ui_message_handlert & _message_handler

)

inline

Definition at line 20 of file syntactic_diff.h.

Member Function Documentation

◆ operator()()

bool syntactic_difft::operator() ( )

virtual

Implements goto_difft.

Definition at line 16 of file syntactic_diff.cpp.

The documentation for this class was generated from the following files:

/home/runner/work/cbmc/cbmc/src/goto-diff/syntactic_diff.h
/home/runner/work/cbmc/cbmc/src/goto-diff/syntactic_diff.cpp

syntactic_difft
Generated by doxygen 1.9.8