An abstraction of a diff between entities that are of a different kind (disctinct). More...

#include <abg-comparison.h>

Inheritance diagram for distinct_diff:

Classes
struct	priv
	The private data structure for distinct_diff. More...

Public Member Functions
virtual void	chain_into_hierarchy ()
	Populate the vector of children node of the diff base type sub-object of this instance of @distinct_diff. More...

const diff_sptr	compatible_child_diff () const
	Getter for the child diff of this distinct_diff instance. More...

const type_or_decl_base_sptr	first () const
	Getter for the first subject of the diff. More...

virtual const string &	get_pretty_representation () const

virtual bool	has_changes () const

virtual enum change_kind	has_local_changes () const

virtual void	report (ostream &out, const string &indent="") const
	Emit a report about the current diff instance. More...

const type_or_decl_base_sptr	second () const
	Getter for the second subject of the diff. More...

Public Member Functions inherited from diff
diff_category	add_to_category (diff_category c)
	Adds the current diff tree node to an additional set of categories. Note that the categories include thoses inherited from the children nodes of this diff node. More...

void	add_to_local_and_inherited_categories (diff_category c)
	Adds the current diff tree node to the categories resulting from the local and inherited changes of the current diff node. More...

diff_category	add_to_local_category (diff_category c)
	Adds the current diff tree node to the categories resulting from the local changes of the current diff node. More...

void	append_child_node (diff_sptr)
	Add a new child node to the vector of children nodes for the current diff node. More...

const vector< diff * > &	children_nodes () const
	Getter for the children nodes of the current diff node. More...

const diff_context_sptr	context () const
	Getter of the context of the current diff. More...

void	context (diff_context_sptr c)
	Setter of the context of the current diff. More...

bool	currently_reporting () const
	Tests if we are currently in the middle of emitting a report for this diff. More...

void	currently_reporting (bool f) const
	Sets a flag saying if we are currently in the middle of emitting a report for this diff. More...

type_or_decl_base_sptr	first_subject () const
	Getter of the first subject of the diff. More...

diff *	get_canonical_diff () const
	Getter for the canonical diff of the current instance of diff. More...

diff_category	get_category () const
	Getter for the category of the current diff tree node. More...

diff_category	get_class_of_equiv_category () const
	Getter of the category of the class of equivalence of the current diff tree node. More...

diff_category	get_local_category () const
	Getter for the local category of the current diff tree node. More...

bool	has_descendant_allowed_by_specific_negated_suppression () const
	Test if the current diff node has a descendant node which is specifically allowed by a negated suppression specification. More...

bool	has_local_changes_to_be_reported () const
	Test if this diff tree node should be reported when considering the categories that were NOT inherited from its children nodes. More...

bool	has_parent_allowed_by_specific_negated_suppression () const
	Test if the current diff node has a parent node which is specifically allowed by a negated suppression specification. More...

bool	is_allowed_by_specific_negated_suppression () const
	Test if this diff node is allowed (prevented from being suppressed) by at least one negated suppression specification. More...

bool	is_filtered_out () const
	Test if this diff tree node is to be filtered out for reporting purposes. More...

bool	is_filtered_out_without_looking_at_allowed_changes () const
	Test if this diff tree node is to be filtered out for reporting purposes, but without considering the categories that can /force/ the node to be unfiltered. More...

bool	is_filtered_out_wrt_non_inherited_categories () const
	Test if this diff tree node is to be filtered out for reporting purposes, but by considering only the categories that were NOT inherited from its children nodes. More...

bool	is_suppressed () const
	Test if the current diff node has been suppressed by a user-provided suppression specification. More...

bool	is_suppressed (bool &is_private_type) const
	Test if the current diff node has been suppressed by a user-provided suppression specification or by an auto-generated "private type" suppression specification. More...

bool	is_traversing () const
	Tell if a given node is being traversed or not. More...

const diff *	parent_node () const
	Getter for the parent node of the current diff node. More...

diff_category	remove_from_category (diff_category c)
	Remove the current diff tree node from an a existing sef of categories. The categories include those inherited from the children nodes of the current diff node. More...

diff_category	remove_from_local_category (diff_category c)
	Remove the current diff tree node from the categories resulting from the local changes. More...

bool	reported_once () const
	Tests if a report has already been emitted for the current diff. More...

void	reported_once (bool f) const
	Sets a flag saying if a report has already been emitted for the current diff. More...

type_or_decl_base_sptr	second_subject () const
	Getter of the second subject of the diff. More...

void	set_category (diff_category c)
	Set the category of the current diff node. This category includes the categories inherited from the children nodes of the current diff node. More...

void	set_local_category (diff_category c)
	Set the local category of the current diff node. More...

bool	to_be_reported () const
	Test if this diff tree node should be reported. More...

virtual bool	traverse (diff_node_visitor &v)
	The generic traversing code that walks a given diff sub-tree. More...

Public Member Functions inherited from traversable_base
virtual	~traversable_base ()
	Destructor of the traversable_base type. More...

Static Public Member Functions
static bool	entities_are_of_distinct_kinds (type_or_decl_base_sptr first, type_or_decl_base_sptr second)
	Test if the two arguments are of different kind, or that are both NULL. More...

Protected Member Functions
	distinct_diff (type_or_decl_base_sptr first, type_or_decl_base_sptr second, diff_context_sptr ctxt=diff_context_sptr())
	Constructor for distinct_diff. More...

Protected Member Functions inherited from diff
	diff (type_or_decl_base_sptr first_subject, type_or_decl_base_sptr second_subject)
	Constructor for the diff type. More...

	diff (type_or_decl_base_sptr first_subject, type_or_decl_base_sptr second_subject, diff_context_sptr ctxt)
	Constructor for the diff type. More...

void	begin_traversing ()
	Flag a given diff node as being traversed. More...

bool	do_log () const
	Test if logging was requested. More...

void	do_log (bool)
	Request logging (or not) More...

void	end_traversing ()
	Flag a given diff node as not being traversed anymore. More...

virtual void	finish_diff_type ()
	Finish the insertion of a diff tree node into the diff graph. More...

void	set_canonical_diff (diff *)
	Setter for the canonical diff of the current instance of diff. More...

Protected Member Functions inherited from traversable_base
	traversable_base ()
	Default constructor of the traversable_base type. More...

bool	visiting () const
	This should returns false before and after the node has been visiting. During the visiting of the node (and of its children) this should return true. More...

void	visiting (bool f)
	The traversing code should be responsible of calling this, not the user code. More...

Friends
distinct_diff_sptr	compute_diff_for_distinct_kinds (const type_or_decl_base_sptr first, const type_or_decl_base_sptr second, diff_context_sptr ctxt)
	Try to diff entities that are of distinct kinds. More...

Additional Inherited Members
Protected Attributes inherited from diff
std::unique_ptr< priv >	priv_

Detailed Description

An abstraction of a diff between entities that are of a different kind (disctinct).

Definition at line 1204 of file abg-comparison.h.

Constructor & Destructor Documentation

◆ distinct_diff()

distinct_diff	(	type_or_decl_base_sptr	first,
		type_or_decl_base_sptr	second,
		diff_context_sptr	ctxt = `diff_context_sptr()`
	)

protected

Constructor for distinct_diff.

Note that the two entities considered for the diff (and passed in parameter) must be of different kinds.

Parameters

first	the first entity to consider for the diff.
second	the second entity to consider for the diff.
ctxt	the context of the diff. Note that this context object must stay alive at least during the life time of the current instance of distinct_diff. Otherwise memory corruption issues occur.

Definition at line 2824 of file abg-comparison.cc.

Member Function Documentation

◆ chain_into_hierarchy()

void chain_into_hierarchy ( )

virtual

Populate the vector of children node of the diff base type sub-object of this instance of @distinct_diff.

The children nodes can then later be retrieved using diff::children_nodes().

Reimplemented from diff.

Definition at line 2803 of file abg-comparison.cc.

◆ compatible_child_diff()

const diff_sptr compatible_child_diff ( ) const

Getter for the child diff of this distinct_diff instance.

When a distinct_diff has two subjects that are different but compatible, then the distinct_diff instance has a child diff node (named the compatible child diff) that is the diff between the two subjects stripped from their typedefs. Otherwise, the compatible child diff is nul.

Note that two diff subjects (that compare different) are considered compatible if stripping typedefs out of them makes them comparing equal.

Returns: the compatible child diff node, if any. Otherwise, null.

Definition at line 2859 of file abg-comparison.cc.

◆ entities_are_of_distinct_kinds()

bool entities_are_of_distinct_kinds	(	type_or_decl_base_sptr	first,
		type_or_decl_base_sptr	second
	)

static

Test if the two arguments are of different kind, or that are both NULL.

Parameters

first	the first argument to test for similarity in kind.
second	the second argument to test for similarity in kind.

Returns: true iff the two arguments are of different kind.

Definition at line 2885 of file abg-comparison.cc.

◆ first()

const type_or_decl_base_sptr first ( ) const

Getter for the first subject of the diff.

Returns: the first subject of the diff.

Definition at line 2835 of file abg-comparison.cc.

◆ get_pretty_representation()

const string & get_pretty_representation ( ) const

virtual

Returns: a pretty representation for the distinct_diff node.

Reimplemented from diff.

Definition at line 2776 of file abg-comparison.cc.

◆ has_changes()

bool has_changes ( ) const

virtual

Returns: true if the two subjects of the diff are different, false otherwise.

Implements diff.

Definition at line 2904 of file abg-comparison.cc.

◆ has_local_changes()

enum change_kind has_local_changes ( ) const

virtual

Returns: the kind of local change carried by the current diff node. The value returned is zero if the current node carries no local change.

Implements diff.

Definition at line 2904 of file abg-comparison.cc.

◆ report()

void report	(	ostream &	out,
		const string &	indent = `""`
	)		const

virtual

Emit a report about the current diff instance.

Parameters

out	the output stream to send the diff report to.
indent	the indentation string to use in the report.

Implements diff.

Definition at line 2925 of file abg-comparison.cc.

◆ second()

const type_or_decl_base_sptr second ( ) const

Getter for the second subject of the diff.

Returns: the second subject of the diff.

Definition at line 2842 of file abg-comparison.cc.

Friends And Related Function Documentation

◆ compute_diff_for_distinct_kinds

distinct_diff_sptr compute_diff_for_distinct_kinds	(	const type_or_decl_base_sptr	first,
		const type_or_decl_base_sptr	second,
		diff_context_sptr	ctxt
	)

friend

Try to diff entities that are of distinct kinds.

Parameters

first	the first entity to consider for the diff.
second	the second entity to consider for the diff.
ctxt	the context of the diff.

Returns: a non-null diff if a diff object could be built, null otherwise.

Definition at line 2941 of file abg-comparison.cc.

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

/home/dodji/git/libabigail/master/include/abg-comparison.h
/home/dodji/git/libabigail/master/src/abg-comparison.cc

Classes

Public Member Functions

Static Public Member Functions

Protected Member Functions

Friends

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ distinct_diff()

Member Function Documentation

◆ chain_into_hierarchy()

◆ compatible_child_diff()

◆ entities_are_of_distinct_kinds()

◆ first()

◆ get_pretty_representation()

◆ has_changes()

◆ has_local_changes()

◆ report()

◆ second()

Friends And Related Function Documentation

◆ compute_diff_for_distinct_kinds