Inheritance diagram for java_syntactic_difft:

Collaboration diagram for java_syntactic_difft:

Public Member Functions
	java_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 java_syntactic_diff.h.

Constructor & Destructor Documentation

java_syntactic_difft::java_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 java_syntactic_diff.h.

bool java_syntactic_difft::operator() ( )

virtual

Implements goto_difft.

Definition at line 17 of file java_syntactic_diff.cpp.

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