Incremental Roslyn Source Generators: Using Additional Files – Part 7

In the previous article the Source Generator itself needed a 3rd-party library Newtonsoft.Json in order to generate new source code. The JSON-strings were hard-coded inside the Source Generator for simplicity reasons. In this article we will see how to process not just .NET code, but also other files, like JSON or XML.

In diesem Artikel:

pg
Pawel Gerr ist Architekt und Consultant bei Thinktecture. Er hat sich auf .NET Core Backends spezialisiert und kennt Entity Framework von vorne bis hinten.

More information about the Smart Enums and the source code can be found on GitHub:

I recommend reading part 6 of the series because this article is based on the results of the previous one.

In the previous article the translations were rendered out of hard-coded JSON. This time, the JSON content should come from a file residing along with the production code.

Creation of an "Additional File"

The (content) files of a project are not automatically available in Source Generators. The files must be tagged as an AdditionalFile to be provided to a Source Generator. An additional file can be anywhere on the file system accessible by the compiler.

The content of previously hard-coded JSON is moved to a new file Translations.json into the project DemoConsoleApplication.

				
					{ 
  "ProductCategory": { 
    "en": "Product category", 
    "de": "Produktkategorie" 
  } 
}
				
			

The JSON file is included into AdditionalFiles to contribute to code generation.

				
					<Project Sdk="Microsoft.NET.Sdk"> 
   ...
 
   <ItemGroup> 
      <AdditionalFiles Include="Translations.json" /> 
   </ItemGroup> 
 
</Project> 

				
			

Accessing Additional Files

The additional files are accessible by AdditionalTextsProvider and provide the same capabilities as the SyntaxProvider. All performance considerations described in part 4 are applicable here as well. After filtering the files by name, the file contents are combined with enumTypes and generators which leads to a change of the signature of the method GenerateCode.

				
					[Generator] 
public class DemoSourceGenerator : IIncrementalGenerator 
{ 
   ...
   
   public void Initialize(IncrementalGeneratorInitializationContext context) 
   { 
      var enumTypes = context.SyntaxProvider 
                             .CreateSyntaxProvider(CouldBeEnumerationAsync, GetEnumInfoOrNull) 
                             .Where(type => type is not null)! 
                             .Collect<DemoEnumInfo>() 
                             .SelectMany((enumInfos, _) => enumInfos.Distinct()); 
 
      var translations = context.AdditionalTextsProvider 
                                .Where(text => text.Path.EndsWith("translations.json",
                                               StringComparison.OrdinalIgnoreCase)) 
                                .Select((text, token) => text.GetText(token)?.ToString()) 
                                .Where(text => text is not null)! 
                                .Collect<string>(); 
 
      var generators = context.GetMetadataReferencesProvider() 
            .SelectMany(static (reference, _) => TryGetCodeGenerator(reference, out var factory) 
                                                  ? ImmutableArray.Create(factory) 
                                                  : ImmutableArray<ICodeGenerator>.Empty) 
                              .Collect(); 
 
      context.RegisterSourceOutput(enumTypes.Combine(translations)
                                            .Combine(generators),
                                   GenerateCode); 
   } 
 
   ...
    
   private static void GenerateCode( 
      SourceProductionContext context, 
      ((DemoEnumInfo, ImmutableArray<string>), ImmutableArray<ICodeGenerator>) args) 
   { 
      var ((enumInfo, translationsAsJson), generators) = args; 
 
      if (generators.IsDefaultOrEmpty) 
         return; 
 
      var translationsByClassName = GetTranslationsByClassName(context, translationsAsJson); 
 
      foreach (var generator in generators.Distinct()) 
      { 
         if (translationsByClassName is null
            || !translationsByClassName.TryGetValue(enumInfo.Name, out var translations))
        {
            translations = _noTranslations; 
        }
 
         var ns = enumInfo.Namespace is null ? null : $"{enumInfo.Namespace}."; 
         var code = generator.Generate(enumInfo, translations); 
 
         if (!String.IsNullOrWhiteSpace(code)) 
            context.AddSource($"{ns}{enumInfo.Name}{generator.FileHintSuffix}.g.cs", code); 
      } 
   }
   
   ...
				
			

Parsing of the JSON contents is delegated to a new method GetTranslationsByClassName. This method is not just parsing the JSON, but makes a few sanity checks and catches potential parsing errors.

				
					   private static Dictionary<string, IReadOnlyDictionary<string, string>>? 
        GetTranslationsByClassName(SourceProductionContext context, 
                                   ImmutableArray<string> translationsAsJson) 
   { 
      if (translationsAsJson.Length <= 0) 
         return null; 
 
      if (translationsAsJson.Length > 1) 
      { 
         var error = Diagnostic.Create(DemoDiagnosticsDescriptors.MultipleTranslationsFound,
                                       null); 
         context.ReportDiagnostic(error); 
      } 
 
      try 
      { 
         return JsonConvert.DeserializeObject<
            Dictionary<string, IReadOnlyDictionary<string, string>>>(translationsAsJson[0]); 
      } 
      catch (Exception ex) 
      { 
         var error = Diagnostic.Create(DemoDiagnosticsDescriptors.TranslationDeserializationError, 
                                       null, 
                                       ex.ToString()); 
         context.ReportDiagnostic(error); 
 
         return null; 
      } 
   }
				
			
The diagnostic descriptors MultipleTranslationsFound and TranslationDeserializationError are defined in DemoDiagnosticsDescriptors, which is in the same project as the Source Generator.
				
					public static class DemoDiagnosticsDescriptors 
{ 
   ...
   
   public static readonly DiagnosticDescriptor MultipleTranslationsFound 
      = new("DEMO002", 
            "Multiple translations found", 
            "Multiple translations found", 
            "DemoSourceGenerator", 
            DiagnosticSeverity.Error, 
            true); 
 
   public static readonly DiagnosticDescriptor TranslationDeserializationError 
      = new("DEMO003", 
            "Translations could not be deserialized", 
            "Translations could not be deserialized: {0}", 
            "DemoSourceGenerator", 
            DiagnosticSeverity.Error, 
            true); 
} 

				
			

Summary

Additional files are an excellent way to generate code out of (rather static) files, like JSON or XML.

One of the use cases is translation management. Whether the translations come from an external company or are maintained by the developers themselves, a Source Generator can generate constants instead of using magic strings. That way, the translations become virtually type-safe, and there will be no issue with missing translations anymore.

Kostenloser
Newsletter

Aktuelle Artikel, Screencasts, Webinare und Interviews unserer Experten für Sie

Verpassen Sie keine Inhalte zu Angular, .NET Core, Blazor, Azure und Kubernetes und melden Sie sich zu unserem kostenlosen monatlichen Dev-Newsletter an.

Newsletter Anmeldung
Diese Artikel könnten Sie interessieren
.NET
pg

Discriminated Unions in .NET: Integration with Frameworks and Libraries

A key aspect of adopting any new pattern is understanding how it interacts with the surrounding application infrastructure. When using Discriminated Unions, questions arise: How can a Result union be serialized to JSON? How can an OrderState union be persisted using Entity Framework Core? This article explores practical integration strategies with common .NET frameworks.
02.11.2025
.NET
pg

Advanced Value Object Patterns in .NET

While basic value objects solve primitive obsession, complex domain requirements need sophisticated modeling techniques. This article explores advanced patterns using Thinktecture.Runtime.Extensions to tackle real-world scenarios: open-ended dates for employment contracts, composite file identifiers across storage systems, recurring anniversaries without year components, and geographical jurisdictions using discriminated unions.
19.10.2025
.NET
pg

Discriminated Unions in .NET: Modeling States and Variants

Domain models often involve concepts that exist in multiple distinct states or variations. Traditional approaches using enums and nullable properties can lead to invalid states and scattered logic. This article explores how discriminated unions provide a structured, type-safe way to model domain variants in .NET, aligning perfectly with Domain-Driven Design principles while enforcing invariants at the type level.
06.10.2025
.NET
pg

Smart Enums in .NET: Integration with Frameworks and Libraries

Learn how to seamlessly integrate Smart Enums with essential .NET frameworks and libraries. This article covers practical solutions for JSON serialization, ASP.NET Core model binding for both Minimal APIs and MVC controllers, and Entity Framework Core persistence using value converters. Discover how Thinktecture.Runtime.Extensions provides dedicated packages to eliminate integration friction and maintain type safety across your application stack.
21.09.2025
.NET
pg

Value Objects in .NET: Enhancing Business Semantics

Value objects are fundamental building blocks in Domain-Driven Design, serving far more than simple data wrappers. This article explores their strategic importance in bridging technical code and business concepts, enforcing domain rules, and fostering clearer communication with domain experts. Learn how to build robust aggregates, cultivate ubiquitous language, and encapsulate domain-specific behavior using Thinktecture.Runtime.Extensions in .NET applications.
16.09.2025
.NET
pg

Pattern Matching with Discriminated Unions in .NET

Traditional C# pattern matching with switch statements and if/else chains is error-prone and doesn't guarantee exhaustive handling of all cases. When you add new types or states, it's easy to miss updating conditional logic, leading to runtime bugs. The library Thinktecture.Runtime.Extensions solves this with built-in Switch and Map methods for discriminated unions that enforce compile-time exhaustiveness checking.
26.08.2025