Abstraction of a diff between two qualified types. More...

#include <abg-comparison.h>

Inheritance diagram for qualified_type_diff:

Classes
struct	priv

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 qualified_type_diff. More...

const qualified_type_def_sptr	first_qualified_type () const
	Getter for the first qualified type of the diff. More...

virtual const string &	get_pretty_representation () const

virtual bool	has_changes () const
	Return true iff the current diff node carries a change. More...

virtual enum change_kind	has_local_changes () const

diff_sptr	leaf_underlying_type_diff () const
	Getter for the diff between the most underlying non-qualified types of two qualified types. More...

virtual void	report (ostream &, const string &indent="") const
	Report the diff in a serialized form. More...

const qualified_type_def_sptr	second_qualified_type () const
	Getter for the second qualified type of the diff. More...

diff_sptr	underlying_type_diff () const
	Getter for the diff between the underlying types of the two qualified types. More...

void	underlying_type_diff (const diff_sptr)
	Setter for the diff between the underlying types of the two qualified types. 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...

Protected Member Functions
	qualified_type_diff (qualified_type_def_sptr first, qualified_type_def_sptr second, diff_sptr underling, diff_context_sptr ctxt=diff_context_sptr())
	Constructor for qualified_type_diff. More...

Protected Member Functions inherited from type_diff_base
	type_diff_base (type_base_sptr first_subject, type_base_sptr second_subject, diff_context_sptr ctxt)

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
qualified_type_diff_sptr	compute_diff (const qualified_type_def_sptr first, const qualified_type_def_sptr second, diff_context_sptr ctxt)
	Compute the diff between two qualified types. More...

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

Detailed Description

Abstraction of a diff between two qualified types.

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

Constructor & Destructor Documentation

◆ qualified_type_diff()

qualified_type_diff	(	qualified_type_def_sptr	first,
		qualified_type_def_sptr	second,
		diff_sptr	under,
		diff_context_sptr	ctxt = `diff_context_sptr()`
	)

protected

Constructor for qualified_type_diff.

Parameters

first	the first qualified type of the diff.
second	the second qualified type of the diff.
ctxt	the diff context to use.

Definition at line 4166 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 qualified_type_diff.

The children node can then later be retrieved using diff::children_node().

Reimplemented from diff.

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

◆ first_qualified_type()

const qualified_type_def_sptr first_qualified_type ( ) const

Getter for the first qualified type of the diff.

Returns: the first qualified type of the diff.

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

◆ get_pretty_representation()

const string & get_pretty_representation ( ) const

virtual

Returns: the pretty representation of the current instance of qualified_type_diff.

Reimplemented from diff.

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

◆ has_changes()

bool has_changes ( ) const

virtual

Return true iff the current diff node carries a change.

Returns: true iff the current diff node carries a change.

Implements diff.

Definition at line 4245 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 type_diff_base.

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

◆ leaf_underlying_type_diff()

diff_sptr leaf_underlying_type_diff ( ) const

Getter for the diff between the most underlying non-qualified types of two qualified types.

Returns: the diff between the most underlying non-qualified types of two qualified types.

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

◆ report()

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

virtual

Report the diff in a serialized form.

Parameters

out	the output stream to serialize to.
indent	the string to use to indent the lines of the report.

Implements diff.

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

◆ second_qualified_type()

const qualified_type_def_sptr second_qualified_type ( ) const

Getter for the second qualified type of the diff.

Returns: the second qualified type of the diff.

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

◆ underlying_type_diff() [1/2]

diff_sptr underlying_type_diff ( ) const

Getter for the diff between the underlying types of the two qualified types.

Returns: the diff between the underlying types of the two qualified types.

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

◆ underlying_type_diff() [2/2]

void underlying_type_diff ( const diff_sptr d )

Setter for the diff between the underlying types of the two qualified types.

Returns: the diff between the underlying types of the two qualified types.

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

Friends And Related Function Documentation

◆ compute_diff

qualified_type_diff_sptr compute_diff	(	const qualified_type_def_sptr	first,
		const qualified_type_def_sptr	second,
		diff_context_sptr	ctxt
	)

friend

Compute the diff between two qualified types.

Note that the two types must have been created in the same environment, otherwise, this function aborts.

Parameters

first	the first qualified type to consider for the diff.
second	the second qualified type to consider for the diff.
ctxt	the diff context to use.

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

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

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

Classes

Public Member Functions

Protected Member Functions

Friends

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ qualified_type_diff()

Member Function Documentation

◆ chain_into_hierarchy()

◆ first_qualified_type()

◆ get_pretty_representation()

◆ has_changes()

◆ has_local_changes()

◆ leaf_underlying_type_diff()

◆ report()

◆ second_qualified_type()

◆ underlying_type_diff() [1/2]

◆ underlying_type_diff() [2/2]

Friends And Related Function Documentation

◆ compute_diff