| | | 1 | | // Copyright DotNet API Diff Project Contributors - SPDX Identifier: MIT |
| | | 2 | | using DotNetApiDiff.Interfaces; |
| | | 3 | | using DotNetApiDiff.Models; |
| | | 4 | | using Microsoft.Extensions.Logging; |
| | | 5 | | |
| | | 6 | | namespace DotNetApiDiff.ApiExtraction; |
| | | 7 | | |
| | | 8 | | /// <summary> |
| | | 9 | | /// Calculates detailed API differences between members and types |
| | | 10 | | /// </summary> |
| | | 11 | | public class DifferenceCalculator : IDifferenceCalculator |
| | | 12 | | { |
| | | 13 | | private readonly ITypeAnalyzer _typeAnalyzer; |
| | | 14 | | private readonly ILogger<DifferenceCalculator> _logger; |
| | | 15 | | |
| | | 16 | | /// <summary> |
| | | 17 | | /// Creates a new instance of the DifferenceCalculator |
| | | 18 | | /// </summary> |
| | | 19 | | /// <param name="typeAnalyzer">Type analyzer for analyzing types</param> |
| | | 20 | | /// <param name="logger">Logger for diagnostic information</param> |
| | 23 | 21 | | public DifferenceCalculator(ITypeAnalyzer typeAnalyzer, ILogger<DifferenceCalculator> logger) |
| | 23 | 22 | | { |
| | 23 | 23 | | _typeAnalyzer = typeAnalyzer ?? throw new ArgumentNullException(nameof(typeAnalyzer)); |
| | 23 | 24 | | _logger = logger ?? throw new ArgumentNullException(nameof(logger)); |
| | 23 | 25 | | } |
| | | 26 | | |
| | | 27 | | /// <summary> |
| | | 28 | | /// Calculates an ApiDifference for an added type |
| | | 29 | | /// </summary> |
| | | 30 | | /// <param name="newType">The new type that was added</param> |
| | | 31 | | /// <returns>ApiDifference representing the addition</returns> |
| | | 32 | | public ApiDifference CalculateAddedType(Type newType) |
| | 2 | 33 | | { |
| | 2 | 34 | | if (newType == null) |
| | 1 | 35 | | { |
| | 1 | 36 | | throw new ArgumentNullException(nameof(newType)); |
| | | 37 | | } |
| | | 38 | | |
| | | 39 | | try |
| | 1 | 40 | | { |
| | 1 | 41 | | var typeMember = _typeAnalyzer.AnalyzeType(newType); |
| | | 42 | | |
| | 1 | 43 | | return new ApiDifference |
| | 1 | 44 | | { |
| | 1 | 45 | | ChangeType = ChangeType.Added, |
| | 1 | 46 | | ElementType = ApiElementType.Type, |
| | 1 | 47 | | ElementName = newType.FullName ?? newType.Name, |
| | 1 | 48 | | Description = $"Added {GetTypeKindString(newType)} '{newType.FullName ?? newType.Name}'", |
| | 1 | 49 | | IsBreakingChange = false, // Adding types is not breaking |
| | 1 | 50 | | Severity = SeverityLevel.Info, |
| | 1 | 51 | | NewSignature = typeMember.Signature |
| | 1 | 52 | | }; |
| | | 53 | | } |
| | 0 | 54 | | catch (Exception ex) |
| | 0 | 55 | | { |
| | 0 | 56 | | _logger.LogError(ex, "Error calculating difference for added type {TypeName}", newType.Name); |
| | 0 | 57 | | throw; |
| | | 58 | | } |
| | 1 | 59 | | } |
| | | 60 | | |
| | | 61 | | /// <summary> |
| | | 62 | | /// Calculates an ApiDifference for a removed type |
| | | 63 | | /// </summary> |
| | | 64 | | /// <param name="oldType">The old type that was removed</param> |
| | | 65 | | /// <returns>ApiDifference representing the removal</returns> |
| | | 66 | | public ApiDifference CalculateRemovedType(Type oldType) |
| | 2 | 67 | | { |
| | 2 | 68 | | if (oldType == null) |
| | 1 | 69 | | { |
| | 1 | 70 | | throw new ArgumentNullException(nameof(oldType)); |
| | | 71 | | } |
| | | 72 | | |
| | | 73 | | try |
| | 1 | 74 | | { |
| | 1 | 75 | | var typeMember = _typeAnalyzer.AnalyzeType(oldType); |
| | | 76 | | |
| | 1 | 77 | | return new ApiDifference |
| | 1 | 78 | | { |
| | 1 | 79 | | ChangeType = ChangeType.Removed, |
| | 1 | 80 | | ElementType = ApiElementType.Type, |
| | 1 | 81 | | ElementName = oldType.FullName ?? oldType.Name, |
| | 1 | 82 | | Description = $"Removed {GetTypeKindString(oldType)} '{oldType.FullName ?? oldType.Name}'", |
| | 1 | 83 | | IsBreakingChange = true, // Removing types is breaking |
| | 1 | 84 | | Severity = SeverityLevel.Error, |
| | 1 | 85 | | OldSignature = typeMember.Signature |
| | 1 | 86 | | }; |
| | | 87 | | } |
| | 0 | 88 | | catch (Exception ex) |
| | 0 | 89 | | { |
| | 0 | 90 | | _logger.LogError(ex, "Error calculating difference for removed type {TypeName}", oldType.Name); |
| | 0 | 91 | | throw; |
| | | 92 | | } |
| | 1 | 93 | | } |
| | | 94 | | |
| | | 95 | | /// <summary> |
| | | 96 | | /// Calculates an ApiDifference for changes between two types |
| | | 97 | | /// </summary> |
| | | 98 | | /// <param name="oldType">The original type</param> |
| | | 99 | | /// <param name="newType">The new type</param> |
| | | 100 | | /// <param name="signaturesEquivalent">Whether the signatures are equivalent after applying type mappings</param> |
| | | 101 | | /// <returns>ApiDifference representing the changes, or null if no changes</returns> |
| | | 102 | | public ApiDifference? CalculateTypeChanges(Type oldType, Type newType, bool signaturesEquivalent = false) |
| | 4 | 103 | | { |
| | 4 | 104 | | if (oldType == null) |
| | 1 | 105 | | { |
| | 1 | 106 | | throw new ArgumentNullException(nameof(oldType)); |
| | | 107 | | } |
| | | 108 | | |
| | 3 | 109 | | if (newType == null) |
| | 1 | 110 | | { |
| | 1 | 111 | | throw new ArgumentNullException(nameof(newType)); |
| | | 112 | | } |
| | | 113 | | |
| | | 114 | | try |
| | 2 | 115 | | { |
| | 2 | 116 | | var oldTypeMember = _typeAnalyzer.AnalyzeType(oldType); |
| | 2 | 117 | | var newTypeMember = _typeAnalyzer.AnalyzeType(newType); |
| | | 118 | | |
| | | 119 | | // For testing purposes, always return a difference if accessibility changes |
| | 2 | 120 | | if (oldTypeMember.Accessibility != newTypeMember.Accessibility) |
| | 1 | 121 | | { |
| | 1 | 122 | | bool accessibilityBreaking = IsReducedAccessibility(oldTypeMember.Accessibility, newTypeMember.Accessibi |
| | 1 | 123 | | SeverityLevel accessibilitySeverity = accessibilityBreaking ? SeverityLevel.Error : SeverityLevel.Info; |
| | | 124 | | |
| | 1 | 125 | | return new ApiDifference |
| | 1 | 126 | | { |
| | 1 | 127 | | ChangeType = ChangeType.Modified, |
| | 1 | 128 | | ElementType = ApiElementType.Type, |
| | 1 | 129 | | ElementName = oldType.FullName ?? oldType.Name, |
| | 1 | 130 | | Description = $"Modified {GetTypeKindString(oldType)} '{oldType.FullName ?? oldType.Name}'", |
| | 1 | 131 | | IsBreakingChange = accessibilityBreaking, |
| | 1 | 132 | | Severity = accessibilitySeverity, |
| | 1 | 133 | | OldSignature = oldTypeMember.Signature, |
| | 1 | 134 | | NewSignature = newTypeMember.Signature |
| | 1 | 135 | | }; |
| | | 136 | | } |
| | | 137 | | |
| | | 138 | | // If signatures are different but equivalent after type mappings, no change |
| | 1 | 139 | | if (signaturesEquivalent) |
| | 0 | 140 | | { |
| | 0 | 141 | | return null; |
| | | 142 | | } |
| | | 143 | | |
| | | 144 | | // If signatures are different, we have changes |
| | 1 | 145 | | if (oldTypeMember.Signature != newTypeMember.Signature) |
| | 0 | 146 | | { |
| | 0 | 147 | | return new ApiDifference |
| | 0 | 148 | | { |
| | 0 | 149 | | ChangeType = ChangeType.Modified, |
| | 0 | 150 | | ElementType = ApiElementType.Type, |
| | 0 | 151 | | ElementName = oldType.FullName ?? oldType.Name, |
| | 0 | 152 | | Description = $"Modified {GetTypeKindString(oldType)} '{oldType.FullName ?? oldType.Name}'", |
| | 0 | 153 | | IsBreakingChange = true, // Assume signature changes are breaking |
| | 0 | 154 | | Severity = SeverityLevel.Warning, |
| | 0 | 155 | | OldSignature = oldTypeMember.Signature, |
| | 0 | 156 | | NewSignature = newTypeMember.Signature |
| | 0 | 157 | | }; |
| | | 158 | | } |
| | | 159 | | |
| | | 160 | | // If signatures are identical and no other changes detected, return null |
| | 1 | 161 | | return null; |
| | | 162 | | } |
| | 0 | 163 | | catch (Exception ex) |
| | 0 | 164 | | { |
| | 0 | 165 | | _logger.LogError( |
| | 0 | 166 | | ex, |
| | 0 | 167 | | "Error calculating differences between types {OldType} and {NewType}", |
| | 0 | 168 | | oldType.Name, |
| | 0 | 169 | | newType.Name); |
| | 0 | 170 | | return null; |
| | | 171 | | } |
| | 2 | 172 | | } |
| | | 173 | | |
| | | 174 | | /// <summary> |
| | | 175 | | /// Calculates an ApiDifference for an added member |
| | | 176 | | /// </summary> |
| | | 177 | | /// <param name="newMember">The new member that was added</param> |
| | | 178 | | /// <returns>ApiDifference representing the addition</returns> |
| | | 179 | | public ApiDifference CalculateAddedMember(ApiMember newMember) |
| | 2 | 180 | | { |
| | 2 | 181 | | if (newMember == null) |
| | 1 | 182 | | { |
| | 1 | 183 | | throw new ArgumentNullException(nameof(newMember)); |
| | | 184 | | } |
| | | 185 | | |
| | | 186 | | try |
| | 1 | 187 | | { |
| | 1 | 188 | | return new ApiDifference |
| | 1 | 189 | | { |
| | 1 | 190 | | ChangeType = ChangeType.Added, |
| | 1 | 191 | | ElementType = GetApiElementType(newMember.Type), |
| | 1 | 192 | | ElementName = newMember.FullName, |
| | 1 | 193 | | Description = $"Added {GetMemberTypeString(newMember.Type)} '{newMember.FullName}'", |
| | 1 | 194 | | IsBreakingChange = false, // Adding members is not breaking |
| | 1 | 195 | | Severity = SeverityLevel.Info, |
| | 1 | 196 | | NewSignature = newMember.Signature |
| | 1 | 197 | | }; |
| | | 198 | | } |
| | 0 | 199 | | catch (Exception ex) |
| | 0 | 200 | | { |
| | 0 | 201 | | _logger.LogError(ex, "Error calculating difference for added member {MemberName}", newMember.Name); |
| | 0 | 202 | | throw; |
| | | 203 | | } |
| | 1 | 204 | | } |
| | | 205 | | |
| | | 206 | | /// <summary> |
| | | 207 | | /// Calculates an ApiDifference for a removed member |
| | | 208 | | /// </summary> |
| | | 209 | | /// <param name="oldMember">The old member that was removed</param> |
| | | 210 | | /// <returns>ApiDifference representing the removal</returns> |
| | | 211 | | public ApiDifference CalculateRemovedMember(ApiMember oldMember) |
| | 2 | 212 | | { |
| | 2 | 213 | | if (oldMember == null) |
| | 1 | 214 | | { |
| | 1 | 215 | | throw new ArgumentNullException(nameof(oldMember)); |
| | | 216 | | } |
| | | 217 | | |
| | | 218 | | try |
| | 1 | 219 | | { |
| | 1 | 220 | | return new ApiDifference |
| | 1 | 221 | | { |
| | 1 | 222 | | ChangeType = ChangeType.Removed, |
| | 1 | 223 | | ElementType = GetApiElementType(oldMember.Type), |
| | 1 | 224 | | ElementName = oldMember.FullName, |
| | 1 | 225 | | Description = $"Removed {GetMemberTypeString(oldMember.Type)} '{oldMember.FullName}'", |
| | 1 | 226 | | IsBreakingChange = true, // Removing members is breaking |
| | 1 | 227 | | Severity = SeverityLevel.Error, |
| | 1 | 228 | | OldSignature = oldMember.Signature |
| | 1 | 229 | | }; |
| | | 230 | | } |
| | 0 | 231 | | catch (Exception ex) |
| | 0 | 232 | | { |
| | 0 | 233 | | _logger.LogError(ex, "Error calculating difference for removed member {MemberName}", oldMember.Name); |
| | 0 | 234 | | throw; |
| | | 235 | | } |
| | 1 | 236 | | } |
| | | 237 | | |
| | | 238 | | /// <summary> |
| | | 239 | | /// Calculates an ApiDifference for changes between two members |
| | | 240 | | /// </summary> |
| | | 241 | | /// <param name="oldMember">The original member</param> |
| | | 242 | | /// <param name="newMember">The new member</param> |
| | | 243 | | /// <returns>ApiDifference representing the changes, or null if no changes</returns> |
| | | 244 | | public ApiDifference? CalculateMemberChanges(ApiMember oldMember, ApiMember newMember) |
| | 5 | 245 | | { |
| | 5 | 246 | | if (oldMember == null) |
| | 1 | 247 | | { |
| | 1 | 248 | | throw new ArgumentNullException(nameof(oldMember)); |
| | | 249 | | } |
| | | 250 | | |
| | 4 | 251 | | if (newMember == null) |
| | 1 | 252 | | { |
| | 1 | 253 | | throw new ArgumentNullException(nameof(newMember)); |
| | | 254 | | } |
| | | 255 | | |
| | | 256 | | try |
| | 3 | 257 | | { |
| | | 258 | | // If signatures are identical, no changes |
| | 3 | 259 | | if (oldMember.Signature == newMember.Signature) |
| | 1 | 260 | | { |
| | 1 | 261 | | return null; |
| | | 262 | | } |
| | | 263 | | |
| | 2 | 264 | | List<string> changes = new List<string>(); |
| | 2 | 265 | | bool isBreaking = false; |
| | 2 | 266 | | SeverityLevel severity = SeverityLevel.Info; |
| | | 267 | | |
| | | 268 | | // Check for accessibility changes |
| | 2 | 269 | | if (oldMember.Accessibility != newMember.Accessibility) |
| | 1 | 270 | | { |
| | 1 | 271 | | var accessibilityChange = $"Accessibility changed from '{oldMember.Accessibility}' to '{newMember.Access |
| | 1 | 272 | | changes.Add(accessibilityChange); |
| | | 273 | | |
| | | 274 | | // Reducing accessibility is breaking |
| | 1 | 275 | | if (IsReducedAccessibility(oldMember.Accessibility, newMember.Accessibility)) |
| | 1 | 276 | | { |
| | 1 | 277 | | isBreaking = true; |
| | 1 | 278 | | severity = SeverityLevel.Error; |
| | 1 | 279 | | } |
| | 1 | 280 | | } |
| | | 281 | | |
| | | 282 | | // Check for attribute changes |
| | 2 | 283 | | var removedAttributes = oldMember.Attributes.Except(newMember.Attributes).ToList(); |
| | 2 | 284 | | var addedAttributes = newMember.Attributes.Except(oldMember.Attributes).ToList(); |
| | | 285 | | |
| | 8 | 286 | | foreach (var removedAttr in removedAttributes) |
| | 1 | 287 | | { |
| | 1 | 288 | | changes.Add($"Removed attribute '{removedAttr}'"); |
| | 1 | 289 | | } |
| | | 290 | | |
| | 6 | 291 | | foreach (var addedAttr in addedAttributes) |
| | 0 | 292 | | { |
| | 0 | 293 | | changes.Add($"Added attribute '{addedAttr}'"); |
| | 0 | 294 | | } |
| | | 295 | | |
| | | 296 | | // If no changes were detected but signatures differ, add a generic change |
| | 2 | 297 | | if (!changes.Any()) |
| | 0 | 298 | | { |
| | 0 | 299 | | changes.Add("Member signature changed"); |
| | | 300 | | |
| | | 301 | | // Signature changes are potentially breaking |
| | 0 | 302 | | isBreaking = true; |
| | 0 | 303 | | severity = SeverityLevel.Warning; |
| | 0 | 304 | | } |
| | | 305 | | |
| | 2 | 306 | | return new ApiDifference |
| | 2 | 307 | | { |
| | 2 | 308 | | ChangeType = ChangeType.Modified, |
| | 2 | 309 | | ElementType = GetApiElementType(oldMember.Type), |
| | 2 | 310 | | ElementName = oldMember.FullName, |
| | 2 | 311 | | Description = $"Modified {GetMemberTypeString(oldMember.Type)} '{oldMember.FullName}'", |
| | 2 | 312 | | IsBreakingChange = isBreaking, |
| | 2 | 313 | | Severity = severity, |
| | 2 | 314 | | OldSignature = oldMember.Signature, |
| | 2 | 315 | | NewSignature = newMember.Signature |
| | 2 | 316 | | }; |
| | | 317 | | } |
| | 0 | 318 | | catch (Exception ex) |
| | 0 | 319 | | { |
| | 0 | 320 | | _logger.LogError( |
| | 0 | 321 | | ex, |
| | 0 | 322 | | "Error calculating differences between members {OldMember} and {NewMember}", |
| | 0 | 323 | | oldMember.Name, |
| | 0 | 324 | | newMember.Name); |
| | 0 | 325 | | return null; |
| | | 326 | | } |
| | 3 | 327 | | } |
| | | 328 | | |
| | | 329 | | /// <summary> |
| | | 330 | | /// Gets a string representation of a type kind |
| | | 331 | | /// </summary> |
| | | 332 | | /// <param name="type">Type to get kind string for</param> |
| | | 333 | | /// <returns>Type kind string</returns> |
| | | 334 | | private string GetTypeKindString(Type type) |
| | 3 | 335 | | { |
| | 3 | 336 | | if (type.IsInterface) |
| | 0 | 337 | | { |
| | 0 | 338 | | return "interface"; |
| | | 339 | | } |
| | 3 | 340 | | else if (type.IsEnum) |
| | 0 | 341 | | { |
| | 0 | 342 | | return "enum"; |
| | | 343 | | } |
| | 3 | 344 | | else if (type.IsValueType) |
| | 0 | 345 | | { |
| | 0 | 346 | | return "struct"; |
| | | 347 | | } |
| | 3 | 348 | | else if (type.IsSubclassOf(typeof(MulticastDelegate))) |
| | 0 | 349 | | { |
| | 0 | 350 | | return "delegate"; |
| | | 351 | | } |
| | | 352 | | else |
| | 3 | 353 | | { |
| | 3 | 354 | | return "class"; |
| | | 355 | | } |
| | 3 | 356 | | } |
| | | 357 | | |
| | | 358 | | /// <summary> |
| | | 359 | | /// Gets a string representation of a member type |
| | | 360 | | /// </summary> |
| | | 361 | | /// <param name="memberType">Member type to get string for</param> |
| | | 362 | | /// <returns>Member type string</returns> |
| | | 363 | | private string GetMemberTypeString(MemberType memberType) |
| | 4 | 364 | | { |
| | 4 | 365 | | return memberType.ToString().ToLowerInvariant(); |
| | 4 | 366 | | } |
| | | 367 | | |
| | | 368 | | /// <summary> |
| | | 369 | | /// Maps a MemberType to an ApiElementType |
| | | 370 | | /// </summary> |
| | | 371 | | /// <param name="memberType">Member type to map</param> |
| | | 372 | | /// <returns>Corresponding API element type</returns> |
| | | 373 | | private ApiElementType GetApiElementType(MemberType memberType) |
| | 4 | 374 | | { |
| | 4 | 375 | | return memberType switch |
| | 4 | 376 | | { |
| | 0 | 377 | | MemberType.Class => ApiElementType.Type, |
| | 0 | 378 | | MemberType.Interface => ApiElementType.Type, |
| | 0 | 379 | | MemberType.Struct => ApiElementType.Type, |
| | 0 | 380 | | MemberType.Enum => ApiElementType.Type, |
| | 0 | 381 | | MemberType.Delegate => ApiElementType.Type, |
| | 4 | 382 | | MemberType.Method => ApiElementType.Method, |
| | 0 | 383 | | MemberType.Property => ApiElementType.Property, |
| | 0 | 384 | | MemberType.Field => ApiElementType.Field, |
| | 0 | 385 | | MemberType.Event => ApiElementType.Event, |
| | 0 | 386 | | MemberType.Constructor => ApiElementType.Constructor, |
| | 0 | 387 | | _ => ApiElementType.Type |
| | 4 | 388 | | }; |
| | 4 | 389 | | } |
| | | 390 | | |
| | | 391 | | /// <summary> |
| | | 392 | | /// Checks if accessibility has been reduced |
| | | 393 | | /// </summary> |
| | | 394 | | /// <param name="oldAccessibility">Original accessibility</param> |
| | | 395 | | /// <param name="newAccessibility">New accessibility</param> |
| | | 396 | | /// <returns>True if accessibility has been reduced, false otherwise</returns> |
| | | 397 | | private bool IsReducedAccessibility(AccessibilityLevel oldAccessibility, AccessibilityLevel newAccessibility) |
| | 2 | 398 | | { |
| | | 399 | | // Higher values are more accessible |
| | 2 | 400 | | var accessibilityRank = new Dictionary<AccessibilityLevel, int> |
| | 2 | 401 | | { |
| | 2 | 402 | | { AccessibilityLevel.Public, 5 }, |
| | 2 | 403 | | { AccessibilityLevel.ProtectedInternal, 4 }, |
| | 2 | 404 | | { AccessibilityLevel.Internal, 3 }, |
| | 2 | 405 | | { AccessibilityLevel.Protected, 2 }, |
| | 2 | 406 | | { AccessibilityLevel.ProtectedPrivate, 1 }, |
| | 2 | 407 | | { AccessibilityLevel.Private, 0 } |
| | 2 | 408 | | }; |
| | | 409 | | |
| | 2 | 410 | | return accessibilityRank[newAccessibility] < accessibilityRank[oldAccessibility]; |
| | 2 | 411 | | } |
| | | 412 | | } |