| | | 1 | | using System; |
| | | 2 | | using System.Linq; |
| | | 3 | | using System.Text; |
| | | 4 | | |
| | | 5 | | using NexusLabs.Needlr.Generators.Models; |
| | | 6 | | |
| | | 7 | | namespace NexusLabs.Needlr.Generators.CodeGen; |
| | | 8 | | |
| | | 9 | | /// <summary> |
| | | 10 | | /// Emits the generated public constructor for a partial class from a |
| | | 11 | | /// <see cref="GeneratedConstructorModel"/>. |
| | | 12 | | /// </summary> |
| | | 13 | | internal static class GeneratedConstructorCodeGenerator |
| | | 14 | | { |
| | | 15 | | private const string GeneratedConstructorFileSuffix = ".GeneratedConstructor.g.cs"; |
| | | 16 | | |
| | | 17 | | /// <summary> |
| | | 18 | | /// Builds the stable <c>AddSource</c> hint name for a generated-constructor |
| | | 19 | | /// model, deterministically derived from the type's namespace, name, and generic |
| | | 20 | | /// arity -- with no mutable, encounter-order-dependent counter involved. Including |
| | | 21 | | /// arity is required because a namespace can legally declare both <c>Foo</c> and |
| | | 22 | | /// <c>Foo<T></c> as distinct types; the arity suffix (mirroring how the CLR |
| | | 23 | | /// itself disambiguates same-named generic arities via a metadata name like |
| | | 24 | | /// <c>Foo`1</c>) keeps their hint names from colliding. |
| | | 25 | | /// </summary> |
| | | 26 | | internal static string BuildHintName(GeneratedConstructorModel model) |
| | | 27 | | { |
| | 66 | 28 | | var baseName = model.ContainingNamespace.Length > 0 |
| | 66 | 29 | | ? $"{model.ContainingNamespace}.{model.ContainingTypeName}" |
| | 66 | 30 | | : model.ContainingTypeName; |
| | | 31 | | |
| | 66 | 32 | | var safeName = GeneratorHelpers.SanitizeIdentifier(baseName); |
| | | 33 | | |
| | 66 | 34 | | return $"{safeName}_T{model.Arity}{GeneratedConstructorFileSuffix}"; |
| | | 35 | | } |
| | | 36 | | |
| | | 37 | | internal static string GenerateConstructorSource(GeneratedConstructorModel model, string assemblyName, BreadcrumbWri |
| | | 38 | | { |
| | 66 | 39 | | var builder = new StringBuilder(); |
| | | 40 | | |
| | 66 | 41 | | breadcrumbs.WriteFileHeader(builder, assemblyName, $"Generated constructor for {model.ContainingTypeName}{model. |
| | 66 | 42 | | builder.AppendLine("#nullable enable"); |
| | 66 | 43 | | builder.AppendLine(); |
| | | 44 | | |
| | 66 | 45 | | if (model.ContainingNamespace.Length > 0) |
| | | 46 | | { |
| | 66 | 47 | | builder.AppendLine($"namespace {model.ContainingNamespace};"); |
| | 66 | 48 | | builder.AppendLine(); |
| | | 49 | | } |
| | | 50 | | |
| | 66 | 51 | | breadcrumbs.WriteInlineComment(builder, string.Empty, $"Constructor generated from {model.Fields.Length} eligibl |
| | 66 | 52 | | builder.AppendLine($"partial class {model.ContainingTypeName}{model.TypeParameterList}"); |
| | 66 | 53 | | builder.AppendLine("{"); |
| | | 54 | | |
| | 66 | 55 | | var effectiveGuards = model.Fields |
| | 75 | 56 | | .Select(field => ConstructorGuardCodeGenerator.ComposeEffectiveGuards( |
| | 75 | 57 | | model.NullGuardMode == GeneratedConstructorNullGuardMode.NonNullableReferences && |
| | 75 | 58 | | field.IsNonNullableReferenceType, |
| | 75 | 59 | | field.ExplicitGuards)) |
| | 66 | 60 | | .ToArray(); |
| | | 61 | | |
| | 66 | 62 | | builder.AppendLine(" /// <summary>"); |
| | 66 | 63 | | builder.AppendLine($" /// Initializes a new instance of the <see cref=\"{model.ContainingTypeName}{ToCrefType |
| | 66 | 64 | | builder.AppendLine(" /// </summary>"); |
| | | 65 | | |
| | 282 | 66 | | foreach (var field in model.Fields) |
| | | 67 | | { |
| | 75 | 68 | | builder.AppendLine($" /// <param name=\"{field.ParameterName}\">The value used to initialize <c>{field.Fi |
| | | 69 | | } |
| | | 70 | | |
| | 66 | 71 | | ConstructorGuardCodeGenerator.WriteExceptionDocumentation( |
| | 66 | 72 | | builder, |
| | 75 | 73 | | model.Fields.Select(field => field.ParameterName).ToArray(), |
| | 66 | 74 | | effectiveGuards, |
| | 66 | 75 | | " "); |
| | | 76 | | |
| | 141 | 77 | | var parameterList = string.Join(", ", model.Fields.Select(f => $"{f.ParameterTypeName} {f.ParameterName}")); |
| | 66 | 78 | | builder.AppendLine($" public {model.ContainingTypeName}({parameterList})"); |
| | 66 | 79 | | builder.AppendLine(" {"); |
| | | 80 | | |
| | 66 | 81 | | var emittedAnyGuard = false; |
| | 282 | 82 | | for (var i = 0; i < model.Fields.Length; i++) |
| | | 83 | | { |
| | 75 | 84 | | var field = model.Fields[i]; |
| | 236 | 85 | | foreach (var guard in effectiveGuards[i]) |
| | | 86 | | { |
| | 43 | 87 | | var guardCall = ConstructorGuardCodeGenerator.BuildGuardCall( |
| | 43 | 88 | | guard, |
| | 43 | 89 | | field.ParameterName); |
| | 43 | 90 | | builder.AppendLine($" {guardCall}"); |
| | 43 | 91 | | emittedAnyGuard = true; |
| | | 92 | | } |
| | | 93 | | } |
| | | 94 | | |
| | 66 | 95 | | if (emittedAnyGuard) |
| | | 96 | | { |
| | 37 | 97 | | builder.AppendLine(); |
| | | 98 | | } |
| | | 99 | | |
| | 282 | 100 | | foreach (var field in model.Fields) |
| | | 101 | | { |
| | 75 | 102 | | builder.AppendLine($" {field.FieldName} = {field.ParameterName};"); |
| | | 103 | | } |
| | | 104 | | |
| | 66 | 105 | | builder.AppendLine(" }"); |
| | 66 | 106 | | builder.AppendLine("}"); |
| | | 107 | | |
| | 66 | 108 | | return builder.ToString(); |
| | | 109 | | } |
| | | 110 | | |
| | | 111 | | private static string ToCrefTypeParameterList(string typeParameterList) |
| | | 112 | | { |
| | 66 | 113 | | if (typeParameterList.Length == 0) |
| | 62 | 114 | | return string.Empty; |
| | | 115 | | |
| | 4 | 116 | | return typeParameterList.Replace('<', '{').Replace('>', '}'); |
| | | 117 | | } |
| | | 118 | | |
| | | 119 | | } |