File: src\Analyzers\Core\CodeFixes\GenerateConstructor\AbstractGenerateConstructorService.State.cs
Web Access
Project: src\src\CodeStyle\Core\CodeFixes\Microsoft.CodeAnalysis.CodeStyle.Fixes.csproj (Microsoft.CodeAnalysis.CodeStyle.Fixes)
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.
 
using System;
using System.Collections.Generic;
using System.Collections.Immutable;
using System.Linq;
using System.Threading;
using System.Threading.Tasks;
using Microsoft.CodeAnalysis;
using Microsoft.CodeAnalysis.CodeGeneration;
using Microsoft.CodeAnalysis.Diagnostics.Analyzers.NamingStyles;
using Microsoft.CodeAnalysis.Editing;
using Microsoft.CodeAnalysis.FindSymbols;
using Microsoft.CodeAnalysis.Host;
using Microsoft.CodeAnalysis.LanguageService;
using Microsoft.CodeAnalysis.PooledObjects;
using Microsoft.CodeAnalysis.Shared.Extensions;
using Microsoft.CodeAnalysis.Shared.Utilities;
using Microsoft.CodeAnalysis.Utilities;
using Roslyn.Utilities;
 
#if CODE_STYLE
using DeclarationModifiers = Microsoft.CodeAnalysis.Internal.Editing.DeclarationModifiers;
#else
using DeclarationModifiers = Microsoft.CodeAnalysis.Editing.DeclarationModifiers;
#endif
 
namespace Microsoft.CodeAnalysis.GenerateMember.GenerateConstructor;
 
internal abstract partial class AbstractGenerateConstructorService<TService, TExpressionSyntax>
{
    protected internal sealed class State
    {
        private readonly TService _service;
        private readonly SemanticDocument _document;
 
        private readonly NamingRule _fieldNamingRule;
        private readonly NamingRule _propertyNamingRule;
        private readonly NamingRule _parameterNamingRule;
 
        private ImmutableArray<Argument> _arguments;
 
        // The type we're creating a constructor for.  Will be a class or struct type.
        public INamedTypeSymbol? TypeToGenerateIn { get; private set; }
 
        private ImmutableArray<RefKind> _parameterRefKinds;
        public ImmutableArray<ITypeSymbol> ParameterTypes;
 
        public SyntaxToken Token { get; private set; }
        public bool IsConstructorInitializerGeneration { get; private set; }
 
        private IMethodSymbol? _delegatedConstructor;
 
        private ImmutableArray<IParameterSymbol> _parameters;
        private ImmutableDictionary<string, ISymbol>? _parameterToExistingMemberMap;
 
        public ImmutableDictionary<string, string> ParameterToNewFieldMap { get; private set; }
        public ImmutableDictionary<string, string> ParameterToNewPropertyMap { get; private set; }
        public bool IsContainedInUnsafeType { get; private set; }
 
        private State(TService service, SemanticDocument document, NamingRule fieldNamingRule, NamingRule propertyNamingRule, NamingRule parameterNamingRule)
        {
            _service = service;
            _document = document;
            _fieldNamingRule = fieldNamingRule;
            _propertyNamingRule = propertyNamingRule;
            _parameterNamingRule = parameterNamingRule;
 
            ParameterToNewFieldMap = ImmutableDictionary<string, string>.Empty;
            ParameterToNewPropertyMap = ImmutableDictionary<string, string>.Empty;
        }
 
        public static async Task<State?> GenerateAsync(
            TService service,
            SemanticDocument document,
            SyntaxNode node,
            CancellationToken cancellationToken)
        {
            var fieldNamingRule = await document.Document.GetApplicableNamingRuleAsync(SymbolKind.Field, Accessibility.Private, cancellationToken).ConfigureAwait(false);
            var propertyNamingRule = await document.Document.GetApplicableNamingRuleAsync(SymbolKind.Property, Accessibility.Public, cancellationToken).ConfigureAwait(false);
            var parameterNamingRule = await document.Document.GetApplicableNamingRuleAsync(SymbolKind.Parameter, Accessibility.NotApplicable, cancellationToken).ConfigureAwait(false);
 
            var state = new State(service, document, fieldNamingRule, propertyNamingRule, parameterNamingRule);
            if (!await state.TryInitializeAsync(node, cancellationToken).ConfigureAwait(false))
            {
                return null;
            }
 
            return state;
        }
 
        private async Task<bool> TryInitializeAsync(
            SyntaxNode node, CancellationToken cancellationToken)
        {
            if (_service.IsConstructorInitializerGeneration(_document, node, cancellationToken))
            {
                if (!await TryInitializeConstructorInitializerGenerationAsync(node, cancellationToken).ConfigureAwait(false))
                    return false;
            }
            else if (_service.IsSimpleNameGeneration(_document, node, cancellationToken))
            {
                if (!await TryInitializeSimpleNameGenerationAsync(node, cancellationToken).ConfigureAwait(false))
                    return false;
            }
            else if (_service.IsImplicitObjectCreation(_document, node, cancellationToken))
            {
                if (!await TryInitializeImplicitObjectCreationAsync(node, cancellationToken).ConfigureAwait(false))
                    return false;
            }
            else
            {
                return false;
            }
 
            Contract.ThrowIfNull(TypeToGenerateIn);
            if (!CodeGenerator.CanAdd(_document.Project.Solution, TypeToGenerateIn, cancellationToken))
                return false;
 
            ParameterTypes = ParameterTypes.IsDefault ? GetParameterTypes(cancellationToken) : ParameterTypes;
            _parameterRefKinds = _arguments.SelectAsArray(a => a.RefKind);
 
            if (ClashesWithExistingConstructor())
                return false;
 
            if (!TryInitializeDelegatedConstructor(cancellationToken))
                InitializeNonDelegatedConstructor(cancellationToken);
 
            IsContainedInUnsafeType = _service.ContainingTypesOrSelfHasUnsafeKeyword(TypeToGenerateIn);
 
            return true;
        }
 
        private void InitializeNonDelegatedConstructor(CancellationToken cancellationToken)
        {
            var typeParametersNames = TypeToGenerateIn.GetAllTypeParameters().Select(t => t.Name).ToImmutableArray();
            var parameterNames = GetParameterNames(_arguments, typeParametersNames, cancellationToken);
 
            GetParameters(_arguments, ParameterTypes, parameterNames, cancellationToken);
        }
 
        private ImmutableArray<ParameterName> GetParameterNames(
            ImmutableArray<Argument> arguments, ImmutableArray<string> typeParametersNames, CancellationToken cancellationToken)
        {
            return _service.GenerateParameterNames(_document, arguments, typeParametersNames, _parameterNamingRule, cancellationToken);
        }
 
        private bool TryInitializeDelegatedConstructor(CancellationToken cancellationToken)
        {
            var parameters = ParameterTypes.Zip(_parameterRefKinds,
                (t, r) => CodeGenerationSymbolFactory.CreateParameterSymbol(r, t, name: "")).ToImmutableArray();
            var expressions = _arguments.SelectAsArray(a => a.Expression);
            var delegatedConstructor = FindConstructorToDelegateTo(parameters, expressions, cancellationToken);
            if (delegatedConstructor == null)
                return false;
 
            // Map the first N parameters to the other constructor in this type.  Then
            // try to map any further parameters to existing fields.  Finally, generate
            // new fields if no such parameters exist.
 
            // Find the names of the parameters that will follow the parameters we're
            // delegating.
            var argumentCount = delegatedConstructor.Parameters.Length;
            var remainingArguments = _arguments.Skip(argumentCount).ToImmutableArray();
            var remainingParameterNames = _service.GenerateParameterNames(
                _document, remainingArguments,
                delegatedConstructor.Parameters.Select(p => p.Name).ToList(),
                _parameterNamingRule,
                cancellationToken);
 
            // Can't generate the constructor if the parameter names we're copying over forcibly
            // conflict with any names we generated.
            if (delegatedConstructor.Parameters.Select(p => p.Name).Intersect(remainingParameterNames.Select(n => n.BestNameForParameter)).Any())
                return false;
 
            var remainingParameterTypes = ParameterTypes.Skip(argumentCount).ToImmutableArray();
 
            _delegatedConstructor = delegatedConstructor;
            GetParameters(remainingArguments, remainingParameterTypes, remainingParameterNames, cancellationToken);
            return true;
        }
 
        private IMethodSymbol? FindConstructorToDelegateTo(
            ImmutableArray<IParameterSymbol> allParameters,
            ImmutableArray<TExpressionSyntax?> allExpressions,
            CancellationToken cancellationToken)
        {
            Contract.ThrowIfNull(TypeToGenerateIn);
            Contract.ThrowIfNull(TypeToGenerateIn.BaseType);
 
            for (var i = allParameters.Length; i > 0; i--)
            {
                var parameters = allParameters.TakeAsArray(i);
                var expressions = allExpressions.TakeAsArray(i);
                var result = FindConstructorToDelegateTo(parameters, expressions, TypeToGenerateIn.InstanceConstructors, cancellationToken) ??
                             FindConstructorToDelegateTo(parameters, expressions, TypeToGenerateIn.BaseType.InstanceConstructors, cancellationToken);
                if (result != null)
                    return result;
            }
 
            return null;
        }
 
        private IMethodSymbol? FindConstructorToDelegateTo(
            ImmutableArray<IParameterSymbol> parameters,
            ImmutableArray<TExpressionSyntax?> expressions,
            ImmutableArray<IMethodSymbol> constructors,
            CancellationToken cancellationToken)
        {
            Contract.ThrowIfNull(TypeToGenerateIn);
 
            foreach (var constructor in constructors)
            {
                // Don't bother delegating to an implicit constructor. We don't want to add `: base()` as that's just
                // redundant for subclasses and `: this()` won't even work as we won't have an implicit constructor once
                // we add this new constructor.
                if (constructor.IsImplicitlyDeclared)
                    continue;
 
                // Don't delegate to another constructor in this type if it's got the same parameter types as the
                // one we're generating. This can happen if we're generating the new constructor because parameter
                // names don't match (when a user explicitly provides named parameters).
                if (TypeToGenerateIn.Equals(constructor.ContainingType) &&
                    constructor.Parameters.Select(p => p.Type).SequenceEqual(ParameterTypes))
                {
                    continue;
                }
 
                if (GenerateConstructorHelpers.CanDelegateTo(_document, parameters, expressions, constructor) &&
                    !_service.WillCauseConstructorCycle(this, _document, constructor, cancellationToken))
                {
                    return constructor;
                }
            }
 
            return null;
        }
 
        private TLanguageService GetRequiredLanguageService<TLanguageService>(string language) where TLanguageService : ILanguageService
            => _document.Project.Solution.Workspace.Services.GetExtendedLanguageServices(language).GetRequiredService<TLanguageService>();
 
        private bool ClashesWithExistingConstructor()
        {
            Contract.ThrowIfNull(TypeToGenerateIn);
 
            var syntaxFacts = GetRequiredLanguageService<ISyntaxFactsService>(TypeToGenerateIn.Language);
            return TypeToGenerateIn.InstanceConstructors.Any(static (c, arg) => arg.self.Matches(c, arg.syntaxFacts), (self: this, syntaxFacts));
        }
 
        private bool Matches(IMethodSymbol ctor, ISyntaxFactsService service)
        {
            if (ctor.Parameters.Length != ParameterTypes.Length)
                return false;
 
            for (var i = 0; i < ParameterTypes.Length; i++)
            {
                var ctorParameter = ctor.Parameters[i];
                var result = SymbolEquivalenceComparer.Instance.Equals(ctorParameter.Type, ParameterTypes[i]) &&
                    ctorParameter.RefKind == _parameterRefKinds[i];
 
                var parameterName = GetParameterName(i);
                if (!string.IsNullOrEmpty(parameterName))
                {
                    result &= service.IsCaseSensitive
                        ? ctorParameter.Name == parameterName
                        : string.Equals(ctorParameter.Name, parameterName, StringComparison.OrdinalIgnoreCase);
                }
 
                if (result == false)
                    return false;
            }
 
            return true;
        }
 
        private string GetParameterName(int index)
            => _arguments.IsDefault || index >= _arguments.Length ? string.Empty : _arguments[index].Name;
 
        internal ImmutableArray<ITypeSymbol> GetParameterTypes(CancellationToken cancellationToken)
        {
            var allTypeParameters = TypeToGenerateIn.GetAllTypeParameters();
            var semanticModel = _document.SemanticModel;
            var allTypes = _arguments.Select(a => _service.GetArgumentType(_document.SemanticModel, a, cancellationToken));
 
            return allTypes.Select(t => FixType(t, semanticModel, allTypeParameters)).ToImmutableArray();
        }
 
        private static ITypeSymbol FixType(ITypeSymbol typeSymbol, SemanticModel semanticModel, IEnumerable<ITypeParameterSymbol> allTypeParameters)
        {
            var compilation = semanticModel.Compilation;
            return typeSymbol.RemoveAnonymousTypes(compilation)
                .RemoveUnavailableTypeParameters(compilation, allTypeParameters)
                .RemoveUnnamedErrorTypes(compilation);
        }
 
        private async Task<bool> TryInitializeConstructorInitializerGenerationAsync(
            SyntaxNode constructorInitializer, CancellationToken cancellationToken)
        {
            if (_service.TryInitializeConstructorInitializerGeneration(
                    _document, constructorInitializer, cancellationToken,
                    out var token, out var arguments, out var typeToGenerateIn))
            {
                Token = token;
                _arguments = arguments;
                IsConstructorInitializerGeneration = true;
 
                var semanticInfo = _document.SemanticModel.GetSymbolInfo(constructorInitializer, cancellationToken);
                if (semanticInfo.Symbol == null)
                    return await TryDetermineTypeToGenerateInAsync(typeToGenerateIn, cancellationToken).ConfigureAwait(false);
            }
 
            return false;
        }
 
        private async Task<bool> TryInitializeImplicitObjectCreationAsync(SyntaxNode implicitObjectCreation, CancellationToken cancellationToken)
        {
            if (_service.TryInitializeImplicitObjectCreation(
                    _document, implicitObjectCreation, cancellationToken,
                    out var token, out var arguments, out var typeToGenerateIn))
            {
                Token = token;
                _arguments = arguments;
 
                var semanticInfo = _document.SemanticModel.GetSymbolInfo(implicitObjectCreation, cancellationToken);
                if (semanticInfo.Symbol == null)
                    return await TryDetermineTypeToGenerateInAsync(typeToGenerateIn, cancellationToken).ConfigureAwait(false);
            }
 
            return false;
        }
 
        private async Task<bool> TryInitializeSimpleNameGenerationAsync(
            SyntaxNode simpleName,
            CancellationToken cancellationToken)
        {
            if (_service.TryInitializeSimpleNameGenerationState(
                    _document, simpleName, cancellationToken,
                    out var token, out var arguments, out var typeToGenerateIn))
            {
                Token = token;
                _arguments = arguments;
            }
            else if (_service.TryInitializeSimpleAttributeNameGenerationState(
                _document, simpleName, cancellationToken, out token, out arguments, out typeToGenerateIn))
            {
                Token = token;
                _arguments = arguments;
                //// Attribute parameters are restricted to be constant values (simple types or string, etc).
                if (GetParameterTypes(cancellationToken).Any(static t => !IsValidAttributeParameterType(t)))
                    return false;
            }
            else
            {
                return false;
            }
 
            cancellationToken.ThrowIfCancellationRequested();
 
            return await TryDetermineTypeToGenerateInAsync(typeToGenerateIn, cancellationToken).ConfigureAwait(false);
        }
 
        private static bool IsValidAttributeParameterType(ITypeSymbol type)
        {
            if (type.Kind == SymbolKind.ArrayType)
            {
                var arrayType = (IArrayTypeSymbol)type;
                if (arrayType.Rank != 1)
                {
                    return false;
                }
 
                type = arrayType.ElementType;
            }
 
            if (type.IsEnumType())
            {
                return true;
            }
 
            switch (type.SpecialType)
            {
                case SpecialType.System_Boolean:
                case SpecialType.System_Byte:
                case SpecialType.System_Char:
                case SpecialType.System_Int16:
                case SpecialType.System_Int32:
                case SpecialType.System_Int64:
                case SpecialType.System_Double:
                case SpecialType.System_Single:
                case SpecialType.System_String:
                    return true;
 
                default:
                    return false;
            }
        }
 
        private async Task<bool> TryDetermineTypeToGenerateInAsync(
            INamedTypeSymbol original, CancellationToken cancellationToken)
        {
            var definition = await SymbolFinder.FindSourceDefinitionAsync(original, _document.Project.Solution, cancellationToken).ConfigureAwait(false);
            TypeToGenerateIn = definition as INamedTypeSymbol;
 
            return TypeToGenerateIn?.TypeKind is (TypeKind?)TypeKind.Class or (TypeKind?)TypeKind.Struct;
        }
 
        private void GetParameters(
            ImmutableArray<Argument> arguments,
            ImmutableArray<ITypeSymbol> parameterTypes,
            ImmutableArray<ParameterName> parameterNames,
            CancellationToken cancellationToken)
        {
            var parameterToExistingMemberMap = ImmutableDictionary.CreateBuilder<string, ISymbol>();
            var parameterToNewFieldMap = ImmutableDictionary.CreateBuilder<string, string>();
            var parameterToNewPropertyMap = ImmutableDictionary.CreateBuilder<string, string>();
 
            using var _ = ArrayBuilder<IParameterSymbol>.GetInstance(out var parameters);
 
            for (var i = 0; i < parameterNames.Length; i++)
            {
                var parameterName = parameterNames[i];
                var parameterType = parameterTypes[i];
                var argument = arguments[i];
 
                // See if there's a matching field or property we can use, or create a new member otherwise.
                FindExistingOrCreateNewMember(
                    ref parameterName, parameterType, argument,
                    parameterToExistingMemberMap, parameterToNewFieldMap, parameterToNewPropertyMap,
                    cancellationToken);
 
                parameters.Add(CodeGenerationSymbolFactory.CreateParameterSymbol(
                    attributes: default,
                    refKind: argument.RefKind,
                    isParams: false,
                    type: parameterType,
                    name: parameterName.BestNameForParameter));
            }
 
            _parameters = parameters.ToImmutable();
            _parameterToExistingMemberMap = parameterToExistingMemberMap.ToImmutable();
            ParameterToNewFieldMap = parameterToNewFieldMap.ToImmutable();
            ParameterToNewPropertyMap = parameterToNewPropertyMap.ToImmutable();
        }
 
        private void FindExistingOrCreateNewMember(
            ref ParameterName parameterName,
            ITypeSymbol parameterType,
            Argument argument,
            ImmutableDictionary<string, ISymbol>.Builder parameterToExistingMemberMap,
            ImmutableDictionary<string, string>.Builder parameterToNewFieldMap,
            ImmutableDictionary<string, string>.Builder parameterToNewPropertyMap,
            CancellationToken cancellationToken)
        {
            var expectedFieldName = _fieldNamingRule.NamingStyle.MakeCompliant(parameterName.NameBasedOnArgument).First();
            var expectedPropertyName = _propertyNamingRule.NamingStyle.MakeCompliant(parameterName.NameBasedOnArgument).First();
            var isFixed = argument.IsNamed;
 
            // For non-out parameters, see if there's already a field there with the same name.
            // If so, and it has a compatible type, then we can just assign to that field.
            // Otherwise, we'll need to choose a different name for this member so that it
            // doesn't conflict with something already in the type. First check the current type
            // for a matching field.  If so, defer to it.
 
            var unavailableMemberNames = GetUnavailableMemberNames().ToImmutableArray();
 
            var members = from t in TypeToGenerateIn.GetBaseTypesAndThis()
                          let ignoreAccessibility = t.Equals(TypeToGenerateIn)
                          from m in t.GetMembers()
                          where m.Name.Equals(expectedFieldName, StringComparison.OrdinalIgnoreCase)
                          where ignoreAccessibility || IsSymbolAccessible(m, _document)
                          select m;
 
            var membersArray = members.ToImmutableArray();
            var symbol = membersArray.FirstOrDefault(m => m.Name.Equals(expectedFieldName, StringComparison.Ordinal)) ?? membersArray.FirstOrDefault();
            if (symbol != null)
            {
                if (IsViableFieldOrProperty(parameterType, symbol))
                {
                    // Ok!  We can just the existing field.  
                    parameterToExistingMemberMap[parameterName.BestNameForParameter] = symbol;
                }
                else
                {
                    // Uh-oh.  Now we have a problem.  We can't assign this parameter to
                    // this field.  So we need to create a new field.  Find a name not in
                    // use so we can assign to that.  
                    var baseName = _service.GenerateNameForArgument(_document.SemanticModel, argument, cancellationToken);
 
                    var baseFieldWithNamingStyle = _fieldNamingRule.NamingStyle.MakeCompliant(baseName).First();
                    var basePropertyWithNamingStyle = _propertyNamingRule.NamingStyle.MakeCompliant(baseName).First();
 
                    var newFieldName = NameGenerator.EnsureUniqueness(baseFieldWithNamingStyle, unavailableMemberNames.Concat(parameterToNewFieldMap.Values));
                    var newPropertyName = NameGenerator.EnsureUniqueness(basePropertyWithNamingStyle, unavailableMemberNames.Concat(parameterToNewPropertyMap.Values));
 
                    if (isFixed)
                    {
                        // Can't change the parameter name, so map the existing parameter
                        // name to the new field name.
                        parameterToNewFieldMap[parameterName.NameBasedOnArgument] = newFieldName;
                        parameterToNewPropertyMap[parameterName.NameBasedOnArgument] = newPropertyName;
                    }
                    else
                    {
                        // Can change the parameter name, so do so.  
                        // But first remove any prefix added due to field naming styles
                        var fieldNameMinusPrefix = newFieldName[_fieldNamingRule.NamingStyle.Prefix.Length..];
                        var newParameterName = new ParameterName(fieldNameMinusPrefix, isFixed: false, _parameterNamingRule);
                        parameterName = newParameterName;
 
                        parameterToNewFieldMap[newParameterName.BestNameForParameter] = newFieldName;
                        parameterToNewPropertyMap[newParameterName.BestNameForParameter] = newPropertyName;
                    }
                }
 
                return;
            }
 
            // If no matching field was found, use the fieldNamingRule to create suitable name
            var bestNameForParameter = parameterName.BestNameForParameter;
            var nameBasedOnArgument = parameterName.NameBasedOnArgument;
            parameterToNewFieldMap[bestNameForParameter] = _fieldNamingRule.NamingStyle.MakeCompliant(nameBasedOnArgument).First();
            parameterToNewPropertyMap[bestNameForParameter] = _propertyNamingRule.NamingStyle.MakeCompliant(nameBasedOnArgument).First();
        }
 
        private IEnumerable<string> GetUnavailableMemberNames()
        {
            Contract.ThrowIfNull(TypeToGenerateIn);
 
            return TypeToGenerateIn.MemberNames.Concat(
                from type in TypeToGenerateIn.GetBaseTypes()
                from member in type.GetMembers()
                select member.Name);
        }
 
        private bool IsViableFieldOrProperty(
            ITypeSymbol parameterType,
            ISymbol symbol)
        {
            if (parameterType.Language != symbol.Language)
                return false;
 
            if (symbol != null && !symbol.IsStatic)
            {
                if (symbol is IFieldSymbol field)
                {
                    return
                        !field.IsConst &&
                        _service.IsConversionImplicit(_document.SemanticModel.Compilation, parameterType, field.Type);
                }
                else if (symbol is IPropertySymbol property)
                {
                    return
                        property.Parameters.Length == 0 &&
                        property.IsWritableInConstructor() &&
                        _service.IsConversionImplicit(_document.SemanticModel.Compilation, parameterType, property.Type);
                }
            }
 
            return false;
        }
 
        public async Task<Document> GetChangedDocumentAsync(
            Document document, bool withFields, bool withProperties, CancellationToken cancellationToken)
        {
            // See if there's an accessible base constructor that would accept these
            // types, then just call into that instead of generating fields.
            //
            // then, see if there are any constructors that would take the first 'n' arguments
            // we've provided.  If so, delegate to those, and then create a field for any
            // remaining arguments.  Try to match from largest to smallest.
            //
            // Otherwise, just generate a normal constructor that assigns any provided
            // parameters into fields.
            return await GenerateThisOrBaseDelegatingConstructorAsync(document, withFields, withProperties, cancellationToken).ConfigureAwait(false) ??
                   await GenerateMemberDelegatingConstructorAsync(document, withFields, withProperties, cancellationToken).ConfigureAwait(false);
        }
 
        private async Task<Document?> GenerateThisOrBaseDelegatingConstructorAsync(
            Document document, bool withFields, bool withProperties, CancellationToken cancellationToken)
        {
            if (_delegatedConstructor == null)
                return null;
 
            Contract.ThrowIfNull(TypeToGenerateIn);
 
            var (members, assignments) = await GenerateMembersAndAssignmentsAsync(document, withFields, withProperties, cancellationToken).ConfigureAwait(false);
            var isThis = _delegatedConstructor.ContainingType.OriginalDefinition.Equals(TypeToGenerateIn.OriginalDefinition);
            var delegatingArguments = this.GetRequiredLanguageService<SyntaxGenerator>(TypeToGenerateIn.Language).CreateArguments(_delegatedConstructor.Parameters);
 
            var newParameters = _delegatedConstructor.Parameters.Concat(_parameters);
            var generateUnsafe = !IsContainedInUnsafeType && newParameters.Any(static p => p.RequiresUnsafeModifier());
 
            var constructor = CodeGenerationSymbolFactory.CreateConstructorSymbol(
                attributes: default,
                accessibility: Accessibility.Public,
                modifiers: new DeclarationModifiers(isUnsafe: generateUnsafe),
                typeName: TypeToGenerateIn.Name,
                parameters: newParameters,
                statements: assignments,
                baseConstructorArguments: isThis ? default : delegatingArguments,
                thisConstructorArguments: isThis ? delegatingArguments : default);
 
            var context = new CodeGenerationSolutionContext(
                document.Project.Solution,
                new CodeGenerationContext(Token.GetLocation()));
 
            return await CodeGenerator.AddMemberDeclarationsAsync(
                context,
                TypeToGenerateIn,
                members.Concat(constructor),
                cancellationToken).ConfigureAwait(false);
        }
 
        private async Task<(ImmutableArray<ISymbol>, ImmutableArray<SyntaxNode>)> GenerateMembersAndAssignmentsAsync(
            Document document, bool withFields, bool withProperties, CancellationToken cancellationToken)
        {
            Contract.ThrowIfNull(TypeToGenerateIn);
 
            var members = withFields ? SyntaxGeneratorExtensions.CreateFieldsForParameters(_parameters, ParameterToNewFieldMap, IsContainedInUnsafeType) :
                          withProperties ? SyntaxGeneratorExtensions.CreatePropertiesForParameters(_parameters, ParameterToNewPropertyMap, IsContainedInUnsafeType) :
                          [];
 
            var semanticModel = await document.GetRequiredSemanticModelAsync(cancellationToken).ConfigureAwait(false);
            var assignments = !withFields && !withProperties
                ? []
                : GetRequiredLanguageService<SyntaxGenerator>(TypeToGenerateIn.Language).CreateAssignmentStatements(
                    GetRequiredLanguageService<SyntaxGeneratorInternal>(TypeToGenerateIn.Language),
                    semanticModel, _parameters,
                    _parameterToExistingMemberMap,
                    withFields ? ParameterToNewFieldMap : ParameterToNewPropertyMap,
                    addNullChecks: false, preferThrowExpression: false);
 
            return (members, assignments);
        }
 
        private async Task<Document> GenerateMemberDelegatingConstructorAsync(
            Document document, bool withFields, bool withProperties, CancellationToken cancellationToken)
        {
            Contract.ThrowIfNull(TypeToGenerateIn);
 
            var semanticModel = await document.GetRequiredSemanticModelAsync(cancellationToken).ConfigureAwait(false);
 
            var newMemberMap =
                withFields ? ParameterToNewFieldMap :
                withProperties ? ParameterToNewPropertyMap :
                ImmutableDictionary<string, string>.Empty;
 
            return await CodeGenerator.AddMemberDeclarationsAsync(
                new CodeGenerationSolutionContext(
                    document.Project.Solution,
                    new CodeGenerationContext(Token.GetLocation())),
                TypeToGenerateIn,
                GetRequiredLanguageService<SyntaxGenerator>(TypeToGenerateIn.Language).CreateMemberDelegatingConstructor(
                    GetRequiredLanguageService<SyntaxGeneratorInternal>(TypeToGenerateIn.Language),
                    semanticModel,
                    TypeToGenerateIn.Name,
                    TypeToGenerateIn,
                    _parameters,
                    TypeToGenerateIn.IsAbstractClass() ? Accessibility.Protected : Accessibility.Public,
                    _parameterToExistingMemberMap,
                    newMemberMap,
                    addNullChecks: false,
                    preferThrowExpression: false,
                    generateProperties: withProperties,
                    IsContainedInUnsafeType),
                cancellationToken).ConfigureAwait(false);
        }
    }
}