2025-02-04 22:10:48 +03:00
using System.Collections.Generic ;
2025-02-04 19:02:39 +03:00
using System.Collections.Immutable ;
using System.Linq ;
using System.Text ;
using Microsoft.CodeAnalysis ;
using Microsoft.CodeAnalysis.CSharp.Syntax ;
using Microsoft.CodeAnalysis.Text ;
namespace mROA.Codegen ;
/// <summary>
/// A sample source generator that creates a custom report based on class properties. The target class should be annotated with the 'Generators.ReportAttribute' attribute.
/// When using the source code as a baseline, an incremental source generator is preferable because it reduces the performance overhead.
/// </summary>
[Generator]
2025-02-07 17:23:42 +03:00
public class mROASourceGenerator : IIncrementalGenerator
2025-02-04 19:02:39 +03:00
{
private const string Namespace = "mROA.Implementation" ;
private const string AttributeName = "SharedObjectInterafceAttribute" ;
private const string AttributeSourceCode = $@"// <auto-generated/>
namespace {Namespace}
{{
[System.AttributeUsage(System.AttributeTargets.Class)]
public class {AttributeName} : System.Attribute
{{
}}
}}" ;
public void Initialize ( IncrementalGeneratorInitializationContext context )
{
// Filter classes annotated with the [Report] attribute. Only filtered Syntax Nodes can trigger code generation.
var provider = context . SyntaxProvider
. CreateSyntaxProvider (
( s , _ ) => s is InterfaceDeclarationSyntax ,
( ctx , _ ) => GetClassDeclarationForSourceGen ( ctx ))
. Where ( t => t . reportAttributeFound )
. Select (( t , _ ) => t . Item1 );
// Generate the source code.
context . RegisterSourceOutput ( context . CompilationProvider . Combine ( provider . Collect ()),
(( ctx , t ) => GenerateCode ( ctx , t . Left , t . Right )));
}
/// <summary>
/// Checks whether the Node is annotated with the [Report] attribute and maps syntax context to the specific node type (ClassDeclarationSyntax).
/// </summary>
/// <param name="context">Syntax context, based on CreateSyntaxProvider predicate</param>
/// <returns>The specific cast and whether the attribute was found.</returns>
private static ( InterfaceDeclarationSyntax , bool reportAttributeFound ) GetClassDeclarationForSourceGen (
GeneratorSyntaxContext context )
{
var classDeclarationSyntax = ( InterfaceDeclarationSyntax ) context . Node ;
// Go through all attributes of the class.
foreach ( AttributeListSyntax attributeListSyntax in classDeclarationSyntax . AttributeLists )
2025-02-15 09:06:29 +03:00
foreach ( AttributeSyntax attributeSyntax in attributeListSyntax . Attributes )
{
if ( context . SemanticModel . GetSymbolInfo ( attributeSyntax ). Symbol is not IMethodSymbol attributeSymbol )
continue ; // if we can't get the symbol, ignore it
2025-02-04 19:02:39 +03:00
2025-02-15 09:06:29 +03:00
string attributeName = attributeSymbol . ContainingType . ToDisplayString ();
2025-02-04 19:02:39 +03:00
2025-02-15 09:06:29 +03:00
// Check the full name of the [Report] attribute.
if ( attributeName == "mROA.Implementation.Attributes.SharedObjectInterfaceAttribute" )
return ( classDeclarationSyntax , true );
}
2025-02-04 19:02:39 +03:00
return ( classDeclarationSyntax , false );
}
/// <summary>
/// Generate code action.
/// It will be executed on specific nodes (ClassDeclarationSyntax annotated with the [Report] attribute) changed by the user.
/// </summary>
/// <param name="context">Source generation context used to add source files.</param>
/// <param name="compilation">Compilation used to provide access to the Semantic Model.</param>
2025-02-12 12:34:54 +03:00
/// <param name="classes">Nodes annotated with the [Report] attribute that trigger the generate action.</param>
2025-02-04 19:02:39 +03:00
private void GenerateCode ( SourceProductionContext context , Compilation compilation ,
2025-02-12 12:34:54 +03:00
ImmutableArray < InterfaceDeclarationSyntax > classes )
2025-02-04 19:02:39 +03:00
{
2025-02-04 22:10:48 +03:00
var methods = new List <( string , IMethodSymbol )>();
2025-02-05 00:26:28 +03:00
var frontendContextRepo = new List < string >();
2025-02-04 19:02:39 +03:00
// Go through all filtered class declarations.
2025-02-12 12:34:54 +03:00
var declarations = classes . ToList (). OrderBy ( i => i . Identifier . Text ). ToList ();
foreach ( var classDeclarationSyntax in declarations )
2025-02-04 19:02:39 +03:00
{
// We need to get semantic model of the class to retrieve metadata.
var semanticModel = compilation . GetSemanticModel ( classDeclarationSyntax . SyntaxTree );
2025-02-04 22:10:48 +03:00
2025-02-04 19:02:39 +03:00
// Symbols allow us to get the compile-time information.
if ( semanticModel . GetDeclaredSymbol ( classDeclarationSyntax ) is not INamedTypeSymbol classSymbol )
continue ;
2025-02-06 09:18:52 +03:00
2025-02-04 19:02:39 +03:00
var namespaceName = classSymbol . ContainingNamespace . ToDisplayString ();
// 'Identifier' means the token of the node. Get class name from the syntax node.
var className = classDeclarationSyntax . Identifier . Text ;
// Go through all class members with a particular type (property) to generate method lines.
var methodBody = classSymbol . GetMembers ()
2025-02-12 12:34:54 +03:00
. OfType < IMethodSymbol >(). OrderBy ( i => i . Name );
2025-02-04 19:02:39 +03:00
2025-02-04 20:57:04 +03:00
var originalName = className ;
2025-02-04 19:02:39 +03:00
// Build up the source code
className = className . TrimStart ( 'I' ) + "RemoteEndpoint" ;
2025-02-04 23:19:24 +03:00
var methodsText = new List < string >();
foreach ( var method in methodBody )
{
var index = methods . Count ;
2025-02-05 10:58:50 +03:00
methods . Add (( namespaceName + "." + originalName , method ));
2025-02-04 23:19:24 +03:00
var sb = new StringBuilder ();
2025-02-04 23:30:52 +03:00
bool isAsync = method . ReturnType . Name == "Task" ;
2025-02-18 00:10:53 +03:00
bool isVoid = method . ReturnType . Name == "Void" || method . ReturnType . ToString () == "Task" ;
bool isParametrized = method . Parameters . Length == 1 && ! isAsync ||
method . Parameters . Length == 2 && isAsync ;
//Creating signature
2025-02-04 23:19:24 +03:00
sb . AppendLine ( "public" + ( isAsync
? " async "
: " " ) +
2025-02-18 00:10:53 +03:00
$"{method.ReturnType.ToDisplayString()} {method.Name}({string.Join(" , ", method.Parameters.Select(ToFullString))}){{" );
var prefix = isAsync ? "await " : "" ;
var postfix = ! isAsync ? ( isVoid ? ".Wait()" : ".GetAwaiter().GetResult()" ) : "" ;
var parameterLink = isParametrized ? ", " + method . Parameters . First (). Name : string . Empty ;
var caller = isVoid ? $"CallAsync({index}{parameterLink})" :
isAsync ? $"GetResultAsync<{ExtractTaskType(method.ReturnType)}>({index}{parameterLink})" :
$"GetResultAsync<{ToFullString(method.ReturnType)}>({index}{parameterLink})" ;
if (! isVoid )
prefix = "return " + prefix ;
// if (method.ReturnType.OriginalDefinition.ToString() == "System.Threading.Tasks.Task<TResult>")
// {
// var type = method.ReturnType.ToString();
// type = type.Substring(type.IndexOf('<') + 1);
// type = type.Substring(0, type.Length - 1);
// sb.AppendLine(
// $"\t\tvar response = await serialisationModule.GetFinalCommandExecution<{type}>(defaultCallRequestCodegen.CallRequestId);");
// sb.AppendLine($"\t\treturn ({type})response.Result;");
// }
// else if (!isAsync && method.ReturnType.ToDisplayString() != "void")
// {
// var type = method.ReturnType.ToDisplayString();
// sb.AppendLine(
// $"\t\tvar response = serialisationModule.GetFinalCommandExecution<{type}>(defaultCallRequestCodegen.CallRequestId).GetAwaiter().GetResult();");
// sb.AppendLine($"\t\treturn ({type})response.Result;");
// }
// else
// {
// sb.AppendLine(
// "\t\tserialisationModule.GetNextCommandExecution<FinalCommandExecution>(defaultCallRequestCodegen.CallRequestId).Wait();");
// }
//
// sb.AppendLine("\t}");
sb . AppendLine ( "\t\t" + prefix + caller + postfix + ";" );
2025-02-04 23:19:24 +03:00
sb . AppendLine ( "\t}" );
methodsText . Add ( sb . ToString ());
}
2025-02-04 19:02:39 +03:00
var code = $@"// <auto-generated/>
2025-02-05 14:50:07 +03:00
using mROA;
2025-02-04 19:02:39 +03:00
using System;
2025-02-04 20:57:04 +03:00
using mROA.Implementation;
2025-02-04 19:02:39 +03:00
using System.Collections.Generic;
2025-02-07 17:11:58 +03:00
using mROA.Abstract;
2025-02-04 19:02:39 +03:00
namespace {namespaceName};
2025-02-18 00:10:53 +03:00
partial class {className} : RemoteObjectBase, {originalName}
2025-02-04 19:02:39 +03:00
{{
2025-02-18 00:10:53 +03:00
public {className}(int id, IRepresentationModule representationModule) : base(id, representationModule)
{{
}}
2025-02-04 23:19:24 +03:00
{string.Join(" \ r \ n \ t ", methodsText)}
2025-02-04 19:02:39 +03:00
}}
";
2025-02-04 22:10:48 +03:00
2025-02-04 19:02:39 +03:00
// Add the source code to the compilation.
2025-02-04 23:19:24 +03:00
context . AddSource ( $"{className}.g.cs" , SourceText . From ( code , Encoding . UTF8 ));
2025-02-06 09:18:52 +03:00
2025-02-15 09:06:29 +03:00
frontendContextRepo . Add (
$"{{ typeof({classSymbol.ToDisplayString()}), typeof({namespaceName}.{className}) }}" );
2025-02-04 19:02:39 +03:00
}
2025-02-04 22:10:48 +03:00
2025-02-06 09:18:52 +03:00
if ( methods . Count != 0 )
{
var methodsStringed = methods . Select ( i =>
$"typeof({i.Item1}).GetMethod(\" { i . Item2 . Name } \ ", [{string.Join(" , ", i.Item2.Parameters.Select(p => $" typeof ({ p . Type . ToDisplayString ()}) "))}])" )
. ToList ();
2025-02-15 09:06:29 +03:00
2025-02-06 09:18:52 +03:00
var coCodegenRepoCode = @ $"// <auto-generated/>
2025-02-04 22:10:48 +03:00
using System.Collections.Generic;
using System.Reflection;
2025-02-07 17:11:58 +03:00
using mROA.Abstract;
2025-02-04 22:10:48 +03:00
namespace mROA.Codegen;
2025-02-12 12:34:54 +03:00
public class CoCodegenMethodRepository : IMethodRepository
2025-02-04 22:10:48 +03:00
{{
private readonly List<MethodInfo> _methods = [
2025-02-12 12:34:54 +03:00
{string.Join(" , // test comment\r\n\t\t", methodsStringed)}
2025-02-04 22:10:48 +03:00
];
public MethodInfo GetMethod ( int id )
{{
if ( _methods . Count <= id )
return null ;
return _methods [ id ];
}}
public int RegisterMethod ( MethodInfo method )
{{
_methods . Add ( method );
return _methods . Count - 1 ;
}}
public IEnumerable < MethodInfo > GetMethods ()
{{
return _methods ;
}}
2025-02-05 10:58:50 +03:00
public void Inject < T >( T dependency )
{{
}}
2025-02-04 22:10:48 +03:00
}}
";
2025-02-06 09:18:52 +03:00
context . AddSource ( $"CoCodegenMethodRepository.g.cs" , SourceText . From ( coCodegenRepoCode , Encoding . UTF8 ));
}
if ( frontendContextRepo . Count != 0 )
{
var fronendRepoCode = @ $"// <auto-generated/>
2025-02-05 00:26:28 +03:00
using System.Collections.Frozen;
2025-02-05 12:10:48 +03:00
using mROA.Implementation;
2025-02-07 17:11:58 +03:00
using mROA.Abstract;
2025-02-05 00:26:28 +03:00
2025-02-05 10:58:50 +03:00
namespace mROA.Codegen;
2025-02-05 00:26:28 +03:00
2025-02-12 23:37:06 +03:00
public sealed class RemoteTypeBinder
2025-02-05 00:26:28 +03:00
{{
2025-02-12 23:37:06 +03:00
static RemoteTypeBinder(){{
RemoteContextRepository.RemoteTypes = new Dictionary<Type, Type> {{
2025-02-05 00:26:28 +03:00
{string.Join(" , \ r \ n \ t \ t ", frontendContextRepo)}}}.ToFrozenDictionary();
2025-02-05 10:58:50 +03:00
}}
2025-02-05 00:26:28 +03:00
}}
";
2025-02-12 23:37:06 +03:00
context . AddSource ( "RemoteTypeBinder.g.cs" , SourceText . From ( fronendRepoCode , Encoding . UTF8 ));
2025-02-06 09:18:52 +03:00
}
2025-02-04 19:02:39 +03:00
}
2025-02-18 00:10:53 +03:00
private static string ToFullString ( IParameterSymbol parameter )
=> /*parameter.Type.ContainingNamespace is null*/
/*?*/ parameter . ToDisplayString ();
/*: $"{parameter.Type.ContainingNamespace.ToDisplayString()}.{parameter.Type.MetadataName} {parameter.Name}";*/
private static string ToFullString ( ITypeSymbol type ) =>
// => type.ContainingNamespace is null || type.Name == "Void"
type . ToDisplayString ();
// : $"{type.ContainingNamespace.ToDisplayString()}.{type.MetadataName}";
private string ExtractTaskType ( ITypeSymbol taskType )
{
var type = taskType . ToString ();
type = type . Substring ( type . IndexOf ( '<' ) + 1 );
return type . Substring ( 0 , type . Length - 1 );
}
2025-02-04 19:02:39 +03:00
}