|
// 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.Collections.Generic;
using System.Linq;
using System.Threading;
using Microsoft.CodeAnalysis.CodeGeneration;
using Microsoft.CodeAnalysis.CSharp.Extensions;
using Microsoft.CodeAnalysis.CSharp.Syntax;
using static Microsoft.CodeAnalysis.CodeGeneration.CodeGenerationHelpers;
using static Microsoft.CodeAnalysis.CSharp.CodeGeneration.CSharpCodeGenerationHelpers;
namespace Microsoft.CodeAnalysis.CSharp.CodeGeneration;
using static CSharpSyntaxTokens;
using static SyntaxFactory;
internal static class ConversionGenerator
{
internal static TypeDeclarationSyntax AddConversionTo(
TypeDeclarationSyntax destination,
IMethodSymbol method,
CSharpCodeGenerationContextInfo info,
IList<bool>? availableIndices,
CancellationToken cancellationToken)
{
var methodDeclaration = GenerateConversionDeclaration(method, GetDestination(destination), info, cancellationToken);
var members = Insert(destination.Members, methodDeclaration, info, availableIndices, after: LastOperator);
return AddMembersTo(destination, members, cancellationToken);
}
internal static ConversionOperatorDeclarationSyntax GenerateConversionDeclaration(
IMethodSymbol method,
CodeGenerationDestination destination,
CSharpCodeGenerationContextInfo info,
CancellationToken cancellationToken)
{
var declaration = GenerateConversionDeclarationWorker(method, destination, info, cancellationToken);
return AddFormatterAndCodeGeneratorAnnotationsTo(AddAnnotationsTo(method,
ConditionallyAddDocumentationCommentTo(declaration, method, info, cancellationToken)));
}
private static ConversionOperatorDeclarationSyntax GenerateConversionDeclarationWorker(
IMethodSymbol method,
CodeGenerationDestination destination,
CSharpCodeGenerationContextInfo info,
CancellationToken cancellationToken)
{
var reusableSyntax = GetReuseableSyntaxNodeForSymbol<ConversionOperatorDeclarationSyntax>(method, info);
if (reusableSyntax != null)
return reusableSyntax;
var keyword = method.MetadataName == WellKnownMemberNames.ImplicitConversionName
? ImplicitKeyword
: ExplicitKeyword;
var checkedKeyword = SyntaxFacts.IsCheckedOperator(method.MetadataName)
? CheckedKeyword
: default;
var hasNoBody = !info.Context.GenerateMethodBodies || method.IsExtern;
var declaration = ConversionOperatorDeclaration(
attributeLists: AttributeGenerator.GenerateAttributeLists(method.GetAttributes(), info),
modifiers: GenerateModifiers(destination, method),
implicitOrExplicitKeyword: keyword,
explicitInterfaceSpecifier: GenerateExplicitInterfaceSpecifier(method.ExplicitInterfaceImplementations),
operatorKeyword: OperatorKeyword,
checkedKeyword: checkedKeyword,
type: method.ReturnType.GenerateTypeSyntax(),
parameterList: ParameterGenerator.GenerateParameterList(method.Parameters, isExplicit: false, info: info),
body: hasNoBody ? null : StatementGenerator.GenerateBlock(method),
expressionBody: null,
semicolonToken: hasNoBody ? SemicolonToken : default);
declaration = UseExpressionBodyIfDesired(info, declaration, cancellationToken);
return declaration;
}
private static ConversionOperatorDeclarationSyntax UseExpressionBodyIfDesired(
CSharpCodeGenerationContextInfo info, ConversionOperatorDeclarationSyntax declaration, CancellationToken cancellationToken)
{
if (declaration.ExpressionBody == null)
{
if (declaration.Body?.TryConvertToArrowExpressionBody(
declaration.Kind(), info.LanguageVersion, info.Options.PreferExpressionBodiedOperators.Value, cancellationToken,
out var expressionBody, out var semicolonToken) == true)
{
return declaration.WithBody(null)
.WithExpressionBody(expressionBody)
.WithSemicolonToken(semicolonToken);
}
}
return declaration;
}
private static SyntaxTokenList GenerateModifiers(CodeGenerationDestination destination, IMethodSymbol method)
{
// Only "static" allowed if we're an explicit impl.
if (method.ExplicitInterfaceImplementations.Any())
{
return method.IsStatic ? [StaticKeyword] : [];
}
else
{
// If these appear in interfaces they must be static abstract
return destination is CodeGenerationDestination.InterfaceType
? ([StaticKeyword, AbstractKeyword])
: ([PublicKeyword, StaticKeyword]);
}
}
}
|