File: DiffEngine.cs
Web Access
Project: src\src\Microsoft.DotNet.AsmDiff\Microsoft.DotNet.AsmDiff.csproj (Microsoft.DotNet.AsmDiff)
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
 
using Microsoft.Cci.Differs;
using Microsoft.Cci.Filters;
using Microsoft.Cci.Mappings;
using Microsoft.Cci.Writers;
using Microsoft.Cci.Writers.Syntax;
using Microsoft.DotNet.AsmDiff.CSV;
using System;
using System.Collections.Generic;
using System.IO;
using System.Linq;
using System.Threading;
 
namespace Microsoft.DotNet.AsmDiff
{
    public static class DiffEngine
    {
        public static void Export(DiffConfiguration configuration, IEnumerable<DiffComment> diffComments, DiffFormat format, TextWriter streamWriter)
        {
            var strikeOutRemoved = configuration.IsOptionSet(DiffConfigurationOptions.StrikeRemoved);
            using (var syntaxWriter = GetExportWriter(format, streamWriter, strikeOutRemoved))
            {
                var writer = CreateExportWriter(format, streamWriter, configuration, syntaxWriter, diffComments);
                WriteDiff(configuration, writer);
            }
        }
 
        private static void WriteDiff(DiffConfiguration configuration, ICciDifferenceWriter writer)
        {
            var oldSet = configuration.Left;
            var oldAssemblies = oldSet.Assemblies;
            var oldAssembliesName = oldSet.Name;
 
            // The diff writer special cases the name being null
            // to indicated that there is only one "set".
            var newSet = configuration.Right;
            var newAssembliesName = newSet.IsNull
                                        ? null
                                        : newSet.Name;
            var newAssemblies = newSet.Assemblies;
 
            writer.Write(oldAssembliesName, oldAssemblies, newAssembliesName, newAssemblies);
        }
 
        private static ICciDifferenceWriter CreateExportWriter(DiffFormat format, TextWriter textWriter, DiffConfiguration configuration, IStyleSyntaxWriter writer, IEnumerable<DiffComment> diffComments)
        {
            var mappingSettings = GetMappingSettings(configuration);
            var includeAttributes = configuration.IsOptionSet(DiffConfigurationOptions.DiffAttributes);
 
            switch (format)
            {
                case DiffFormat.Csv:
                    var diffColumns = DiffCsvColumn.CreateStandardColumns(configuration).Where(c => c.IsVisible).ToArray();
                    var csvTextWriter = new CsvTextWriter(textWriter);
                    csvTextWriter.WriteLine(diffColumns.Select(c => c.Name));
                    return new DiffCsvWriter(csvTextWriter, mappingSettings, diffColumns, CancellationToken.None);
                case DiffFormat.Html:
                    return new DiffCSharpWriter(writer, mappingSettings, diffComments, includeAttributes)
                    {
                        IncludeAssemblyProperties = configuration.IsOptionSet(DiffConfigurationOptions.DiffAssemblyInfo),
                        HighlightBaseMembers = configuration.IsOptionSet(DiffConfigurationOptions.HighlightBaseMembers)
                    };
                case DiffFormat.WordXml:
                case DiffFormat.Text:
                case DiffFormat.UnifiedDiff:
                    return new DiffCSharpWriter(writer, mappingSettings, diffComments, includeAttributes)
                               {
                                   IncludeAssemblyProperties = configuration.IsOptionSet(DiffConfigurationOptions.DiffAssemblyInfo),
                                   HighlightBaseMembers = configuration.IsOptionSet(DiffConfigurationOptions.HighlightBaseMembers)
                               };
                default:
                    throw new ArgumentOutOfRangeException("format");
            }
        }
 
        private static IStyleSyntaxWriter GetExportWriter(DiffFormat format, TextWriter textWriter, bool strikeOutRemoved)
        {
            switch (format)
            {
                case DiffFormat.Csv:
                    return null;
                case DiffFormat.Html:
                    return new HtmlSyntaxWriter(textWriter) {StrikeOutRemoved = strikeOutRemoved};
                case DiffFormat.WordXml:
                    return new OpenXmlSyntaxWriter(textWriter);
                case DiffFormat.Text:
                    return new TextSyntaxWriter(textWriter);
                case DiffFormat.UnifiedDiff:
                    return new UnifiedDiffSyntaxWriter(textWriter);
                default:
                    throw new ArgumentOutOfRangeException("format");
            }
        }
 
        public static MappingSettings GetMappingSettings(DiffConfiguration configuration)
        {
            Func<DifferenceType, bool> diffFilterPredicate = t => (t != DifferenceType.Added || configuration.IsOptionSet(DiffConfigurationOptions.IncludeAdded)) &&
                                                                  (t != DifferenceType.Changed || configuration.IsOptionSet(DiffConfigurationOptions.IncludeChanged)) &&
                                                                  (t != DifferenceType.Removed || configuration.IsOptionSet(DiffConfigurationOptions.IncludeRemoved)) &&
                                                                  (t != DifferenceType.Unchanged || configuration.IsOptionSet(DiffConfigurationOptions.IncludeUnchanged));
 
            var cciFilter = GetFilter(configuration);
            var mappingDifferenceFilter = configuration.IsOptionSet(DiffConfigurationOptions.TypesOnly)
                                              ? new TypesOnlyMappingDifferenceFilter(diffFilterPredicate, cciFilter)
                                              : new MappingDifferenceFilter(diffFilterPredicate, cciFilter);
 
            var includeAddedTypes = configuration.IsOptionSet(DiffConfigurationOptions.IncludeAddedTypes);
            var includeRemovedTypes = configuration.IsOptionSet(DiffConfigurationOptions.IncludeRemovedTypes);
            var actualFilter = includeAddedTypes && includeRemovedTypes
                                   ? (IMappingDifferenceFilter) mappingDifferenceFilter
                                   : new CommonTypesMappingDifferenceFilter(mappingDifferenceFilter, includeAddedTypes, includeRemovedTypes);
 
            return new MappingSettings
                       {
                           Filter = cciFilter,
                           DiffFilter = actualFilter,
                           IncludeForwardedTypes = true,
                           GroupByAssembly = configuration.IsOptionSet(DiffConfigurationOptions.GroupByAssembly),
                           FlattenTypeMembers = configuration.IsOptionSet(DiffConfigurationOptions.FlattenTypes),
                           AlwaysDiffMembers = configuration.IsOptionSet(DiffConfigurationOptions.AlwaysDiffMembers)
                       };
        }
 
        private static ICciFilter GetFilter(DiffConfiguration configuration)
        {
            var includeAttributes = configuration.IsOptionSet(DiffConfigurationOptions.DiffAttributes);
            var includeInternals = configuration.IsOptionSet(DiffConfigurationOptions.IncludeInternals);
            var includePrivates = configuration.IsOptionSet(DiffConfigurationOptions.IncludePrivates);
            var includeGenerated = configuration.IsOptionSet(DiffConfigurationOptions.IncludeGenerated);
            return new DiffCciFilter(includeAttributes, includeInternals, includePrivates, includeGenerated);
        }
 
        public static DiffDocument BuildDiffDocument(DiffConfiguration configuration)
        {
            return BuildDiffDocument(configuration, CancellationToken.None);
        }
 
        public static DiffDocument BuildDiffDocument(DiffConfiguration configuration, CancellationToken cancellationToken)
        {
            try
            {
                IEnumerable<DiffToken> tokens;
                IEnumerable<DiffApiDefinition> apiDefinitions;
                GetTokens(configuration, cancellationToken, out tokens, out apiDefinitions);
 
                IEnumerable<DiffLine> lines = GetLines(tokens, cancellationToken);
                AssemblySet left = configuration.Left;
                AssemblySet right = configuration.Right;
                return new DiffDocument(left, right, lines, apiDefinitions);
            }
            catch (OperationCanceledException)
            {
                return null;
            }
        }
 
        private static void GetTokens(DiffConfiguration configuration, CancellationToken cancellationToken, out IEnumerable<DiffToken> tokens, out IEnumerable<DiffApiDefinition> apiDefinitions)
        {
            bool includeAttributes = configuration.IsOptionSet(DiffConfigurationOptions.DiffAttributes);
            var diffRecorder = new DiffRecorder(cancellationToken);
            MappingSettings mappingSettings = GetMappingSettings(configuration);
            var writer = new ApiRecordingCSharpDiffWriter(diffRecorder, mappingSettings, includeAttributes)
            {
                IncludeAssemblyProperties = configuration.IsOptionSet(DiffConfigurationOptions.DiffAssemblyInfo),
                HighlightBaseMembers = configuration.IsOptionSet(DiffConfigurationOptions.HighlightBaseMembers)
            };
 
            WriteDiff(configuration, writer);
 
            tokens = diffRecorder.Tokens;
            apiDefinitions = writer.ApiDefinitions;
        }
 
        private static IEnumerable<DiffLine> GetLines(IEnumerable<DiffToken> tokens, CancellationToken cancellationToken)
        {
            var lines = new List<DiffLine>();
            var currentLineTokens = new List<DiffToken>();
 
            foreach (var diffToken in tokens)
            {
                cancellationToken.ThrowIfCancellationRequested();
 
                if (diffToken.Kind != DiffTokenKind.LineBreak)
                {
                    currentLineTokens.Add(diffToken);
                }
                else
                {
                    DiffLineKind kind = GetDiffLineKind(currentLineTokens);
                    var line = new DiffLine(kind, currentLineTokens);
                    lines.Add(line);
                    currentLineTokens.Clear();
                }
            }
 
            // HACH: Fixup lines that only have closing brace but 
            return FixupCloseBraces(lines, cancellationToken);
        }
 
        private static IEnumerable<DiffLine> FixupCloseBraces(IEnumerable<DiffLine> lines, CancellationToken cancellationToken)
        {
            var startLineStack = new Stack<DiffLine>();
 
            foreach (var diffLine in lines)
            {
                cancellationToken.ThrowIfCancellationRequested();
 
                int braceDelta = GetBraceDelta(diffLine);
                DiffLine result = diffLine;
 
                for (var i = braceDelta; i > 0; i--)
                    startLineStack.Push(diffLine);
 
                for (var i = braceDelta; i < 0 && startLineStack.Count > 0; i++)
                {
                    DiffLine startLine = startLineStack.Pop();
                    DiffLineKind fixedLineKind = startLine.Kind;
                    if (result.Kind != fixedLineKind)
                        result = new DiffLine(fixedLineKind, diffLine.Tokens);
                }
 
                yield return result;
            }
        }
 
        private static int GetBraceDelta(DiffLine diffLine)
        {
            int openBraces = 0;
            foreach (var symbol in diffLine.Tokens.Where(t => t.Kind == DiffTokenKind.Symbol))
            {
                switch (symbol.Text)
                {
                    case "{":
                        openBraces++;
                        break;
                    case "}":
                        openBraces--;
                        break;
                }
            }
 
            return openBraces;
        }
 
        private static DiffLineKind GetDiffLineKind(IEnumerable<DiffToken> currentLineTokens)
        {
            IEnumerable<DiffToken> relevantTokens = currentLineTokens.Where(t => t.Kind != DiffTokenKind.Indent &&
                                                              t.Kind != DiffTokenKind.Whitespace &&
                                                              t.Kind != DiffTokenKind.LineBreak);
 
            bool hasSame = HasStyle(relevantTokens, DiffStyle.None);
            bool hasAdditions = HasStyle(relevantTokens, DiffStyle.Added);
            bool hasRemovals = HasStyle(relevantTokens, DiffStyle.Removed);
            bool hasIncompatibility = HasStyle(relevantTokens, DiffStyle.NotCompatible);
 
            if (hasSame && (hasAdditions || hasRemovals) || hasIncompatibility)
                return DiffLineKind.Changed;
 
            if (hasAdditions)
                return DiffLineKind.Added;
 
            if (hasRemovals)
                return DiffLineKind.Removed;
 
            return DiffLineKind.Same;
        }
        
        private static bool HasStyle(IEnumerable<DiffToken> tokens, DiffStyle diffStyle)
        {
            return tokens.Where(t => t.HasStyle(diffStyle)).Any();
        }
    }
 
    public static class DiffExtensions
    {
        public static bool HasStyle(this DiffToken token, DiffStyle diffStyle)
        {
            // Special case the zero-flag.
            if (diffStyle == DiffStyle.None)
                return token.Style == DiffStyle.None;
 
            return (token.Style & diffStyle) == diffStyle;
        }
    }
}