get_diff

Description:

public unowned Diff get_diff (int pos)

Get a pointer to the Diff structure representing the difference which number is pos

Parameters:

this

a DataComparator object
pos

the requested difference number (starting at 0)

Returns:

a pointer to a Diff, or null if pos is invalid