private TypeDeclarationSyntax TransformSpecialMethod(FunctionTransformationResult methodTransform,
TypeDeclarationSyntax newTypeNode, TypeTransformationResult transformResult,
INamespaceTransformationMetadata namespaceMetadata, SyntaxTrivia memberWhitespace, bool onlyMissingMembers)
{
// Constructors must not be copied on a partial class (missing members)
if (methodTransform.AnalyzationResult.Conversion == MethodConversion.Ignore || onlyMissingMembers)
{
// We need to add a whitespace trivia to keep directives as they will not have any leading whitespace
newTypeNode = newTypeNode.RemoveNodeKeepDirectives(methodTransform.Annotation, memberWhitespace,
transformResult.EndOfLineTrivia);
return(newTypeNode);
}
var methodNode = newTypeNode.GetAnnotatedNodes(methodTransform.Annotation)
.OfType <BaseMethodDeclarationSyntax>()
.First();
var transformedResult = TransformFunction(methodTransform.AnalyzationResult, transformResult, transformResult, namespaceMetadata);
var transformedNode = (BaseMethodDeclarationSyntax)transformedResult.Transformed;
if (transformedNode is ConstructorDeclarationSyntax ctorNode && transformResult.AnalyzationResult.Conversion == TypeConversion.NewType)
{
transformedNode = ctorNode.WithIdentifier(Identifier(ctorNode.Identifier.ValueText + "Async").WithTriviaFrom(ctorNode.Identifier));
}
newTypeNode = newTypeNode.ReplaceNode(methodNode, transformedNode);
return(newTypeNode);
}
private SyntaxNode RunFunctionTransformers(
FunctionTransformationResult functionTransform,
ITypeTransformationMetadata transformResult,
INamespaceTransformationMetadata namespaceMetadata)
{
if (functionTransform.Transformed == null)
{
return(null);
}
foreach (var transformer in _configuration.FunctionTransformers)
{
functionTransform.Transformed = transformer.Transform(functionTransform, transformResult, namespaceMetadata) ??
functionTransform.Transformed;
}
return(functionTransform.Transformed);
}
private RootTypeTransformationResult TransformType(ITypeAnalyzationResult rootTypeResult, INamespaceTransformationMetadata namespaceMetadata, bool onlyMissingMembers)
{
var rootTypeNode = rootTypeResult.Node;
var startRootTypeSpan = rootTypeNode.SpanStart;
var rootTransformResult = new RootTypeTransformationResult(rootTypeResult)
{
MemberNames = rootTypeResult.Symbol.MemberNames.ToImmutableHashSet()
};
// We do this here because we want that the root node has span start equal to 0
rootTypeNode = rootTypeNode.WithAdditionalAnnotations(new SyntaxAnnotation(rootTransformResult.Annotation));
startRootTypeSpan -= rootTypeNode.SpanStart;
// Before any modification we need to annotate nodes that will be transformed in order to find them later on.
// We cannot rely on spans as they changes each time the node is modified.
// We need to annotate also the ignored types to be later removed
foreach (var typeResult in rootTypeResult.GetSelfAndDescendantsTypes())
{
var typeSpanStart = typeResult.Node.SpanStart - startRootTypeSpan;
var typeSpanLength = typeResult.Node.Span.Length;
var typeNode = rootTypeNode.DescendantNodesAndSelf().OfType <TypeDeclarationSyntax>()
.First(o => o.SpanStart == typeSpanStart && o.Span.Length == typeSpanLength);
var leadingWhitespace = typeNode.GetLeadingWhitespace();
TypeTransformationResult transformResult;
if (typeNode == rootTypeNode)
{
transformResult = rootTransformResult;
transformResult.IndentTrivia = typeNode.GetIndent(leadingWhitespace, namespaceMetadata.LeadingWhitespaceTrivia);
}
else
{
transformResult = new TypeTransformationResult(typeResult)
{
MemberNames = typeResult.Symbol.MemberNames.ToImmutableHashSet(),
IndentTrivia = typeNode.GetIndent(leadingWhitespace)
};
rootTypeNode = rootTypeNode.ReplaceNode(typeNode, typeNode.WithAdditionalAnnotations(new SyntaxAnnotation(transformResult.Annotation)));
rootTransformResult.DescendantTransformedTypes.Add(transformResult);
}
transformResult.LeadingWhitespaceTrivia = leadingWhitespace;
transformResult.EndOfLineTrivia = typeNode.GetEndOfLine();
if (typeResult.Conversion == TypeConversion.Ignore)
{
continue; // The ignored type shall be only annotated
}
// TypeReferences can be changes only if we create a new type
if (typeResult.Conversion == TypeConversion.NewType || typeResult.Conversion == TypeConversion.Copy)
{
foreach (var typeReference in typeResult.TypeReferences.Where(o => o.TypeAnalyzationResult.Conversion == TypeConversion.NewType))
{
var reference = typeReference.ReferenceLocation;
var refSpanStart = reference.Location.SourceSpan.Start - startRootTypeSpan;
var refSpanLength = reference.Location.SourceSpan.Length;
var nameNode = rootTypeNode.GetSimpleName(refSpanStart, refSpanLength, typeReference.IsCref);
var transformedNode = new TransformationResult(nameNode)
{
Transformed = nameNode.WithIdentifier(Identifier(nameNode.Identifier.ValueText + "Async").WithTriviaFrom(nameNode.Identifier))
};
transformResult.TransformedNodes.Add(transformedNode);
rootTypeNode = rootTypeNode.ReplaceNode(nameNode, nameNode.WithAdditionalAnnotations(new SyntaxAnnotation(transformedNode.Annotation)));
}
}
foreach (var fieldResult in typeResult.Fields)
{
var fieldSpanStart = fieldResult.Node.SpanStart - startRootTypeSpan;
var fieldSpanLength = fieldResult.Node.Span.Length;
var fieldNode = rootTypeNode.DescendantNodes()
.OfType <BaseFieldDeclarationSyntax>()
.First(o => o.SpanStart == fieldSpanStart && o.Span.Length == fieldSpanLength);
var transformedNode = new FieldTransformationResult(fieldResult);
transformResult.TransformedFields.Add(transformedNode);
rootTypeNode = rootTypeNode.ReplaceNode(fieldNode, fieldNode.WithAdditionalAnnotations(new SyntaxAnnotation(transformedNode.Annotation)));
}
// Annotate and save an empty method transformation result
foreach (var methodResult in typeResult.Methods /*.Where(o => o.Conversion != MethodConversion.Ignore)*/)
{
var methodSpanStart = methodResult.Node.SpanStart - startRootTypeSpan;
var methodSpanLength = methodResult.Node.Span.Length;
var methodNode = rootTypeNode.DescendantNodes()
.OfType <MethodDeclarationSyntax>()
.First(o => o.SpanStart == methodSpanStart && o.Span.Length == methodSpanLength);
// Only create the transformation result for the method and transform the method later as the method may change
// (a directive may be added to the method when removing type members)
var transformedNode = new MethodTransformationResult(methodResult);
transformResult.TransformedMethods.Add(transformedNode);
rootTypeNode = rootTypeNode.ReplaceNode(methodNode, methodNode.WithAdditionalAnnotations(new SyntaxAnnotation(transformedNode.Annotation)));
// Annotate all locks inside the method before the transformations begins as will be easier to transform them if needed
foreach (var lockData in methodResult.Locks)
{
var lockSpanStart = lockData.Node.SpanStart - startRootTypeSpan;
var lockSpanLength = lockData.Node.Span.Length;
var lockNode = rootTypeNode.DescendantNodes()
.OfType <LockStatementSyntax>()
.First(o => o.SpanStart == lockSpanStart && o.Span.Length == lockSpanLength);
var lockTransformedNode = new LockTransformationResult(lockData);
transformedNode.TransformedLocks.Add(lockTransformedNode);
rootTypeNode = rootTypeNode.ReplaceNode(lockNode,
lockNode.WithAdditionalAnnotations(new SyntaxAnnotation(lockTransformedNode.Annotation)));
}
}
foreach (var methodResult in typeResult.SpecialMethods)
{
var methodSpanStart = methodResult.GetNode().SpanStart - startRootTypeSpan;
var methodSpanLength = methodResult.GetNode().Span.Length;
var methodNode = rootTypeNode.DescendantNodes()
.OfType <BaseMethodDeclarationSyntax>()
.First(o => o.SpanStart == methodSpanStart && o.Span.Length == methodSpanLength);
var transformedNode = new FunctionTransformationResult(methodResult);
transformResult.TransformedSpecialMethods.Add(transformedNode);
rootTypeNode = rootTypeNode.ReplaceNode(methodNode, methodNode.WithAdditionalAnnotations(new SyntaxAnnotation(transformedNode.Annotation)));
}
foreach (var propertyResult in typeResult.Properties)
{
var spanStart = propertyResult.Node.SpanStart - startRootTypeSpan;
var spanLength = propertyResult.Node.Span.Length;
var node = rootTypeNode.DescendantNodes()
.OfType <PropertyDeclarationSyntax>()
.First(o => o.SpanStart == spanStart && o.Span.Length == spanLength);
var transformedNode = new PropertyTransformationResult(propertyResult);
transformResult.TransformedProperties.Add(transformedNode);
rootTypeNode = rootTypeNode.ReplaceNode(node, node.WithAdditionalAnnotations(new SyntaxAnnotation(transformedNode.Annotation)));
}
}
// Save the orignal node that was only annotated
var originalAnnotatedNode = rootTypeNode;
// Now we can start transforming the type. Start from the bottom in order to preserve replaced nested types
foreach (var transformResult in rootTransformResult.GetSelfAndDescendantTransformedTypes().OrderByDescending(o => o.OriginalNode.SpanStart))
{
var typeResult = transformResult.AnalyzationResult;
// Add partial keyword on the original node if not present
if ((typeResult.Conversion == TypeConversion.Partial || onlyMissingMembers) && !typeResult.IsPartial)
{
if (rootTransformResult.OriginalModified == null)
{
rootTransformResult.OriginalModified = originalAnnotatedNode;
}
var typeNode = rootTransformResult.OriginalModified.GetAnnotatedNodes(transformResult.Annotation).OfType <TypeDeclarationSyntax>().First();
rootTransformResult.OriginalModified = rootTransformResult.OriginalModified.ReplaceNode(typeNode, typeNode.AddPartial());
}
if (typeResult.Conversion == TypeConversion.Ignore ||
(
onlyMissingMembers &&
!typeResult.GetSelfAndDescendantsTypes().SelectMany(o => o.MethodsAndAccessors).Any(o => o.Missing)
))
{
rootTypeNode = rootTypeNode.RemoveNodeKeepDirectives(transformResult.Annotation, transformResult.LeadingWhitespaceTrivia,
transformResult.EndOfLineTrivia);
continue;
}
var memberWhitespace = Whitespace(transformResult.LeadingWhitespaceTrivia.ToFullString() + transformResult.IndentTrivia.ToFullString());
if (typeResult.Conversion == TypeConversion.Partial || onlyMissingMembers)
{
// First we need to remove ignored method
var typeNode = rootTypeNode.GetAnnotatedNodes(transformResult.Annotation).OfType <TypeDeclarationSyntax>().First();
// We need to remove the attributes as they cannot be defined in both partial classes
var newTypeNode = typeNode.AddPartial().WithoutAttributes();
// We need to remove all other members that are not methods, properties or types
newTypeNode = newTypeNode.RemoveMembersKeepDirectives(o =>
!(o is BaseMethodDeclarationSyntax ||
o is TypeDeclarationSyntax ||
o is PropertyDeclarationSyntax ||
o is BaseFieldDeclarationSyntax), memberWhitespace,
transformResult.EndOfLineTrivia);
rootTypeNode = TransformTypeMembers(namespaceMetadata, onlyMissingMembers, transformResult, newTypeNode,
memberWhitespace, rootTypeNode, typeNode);
}
// If the root type has to be a new type then all nested types have to be new types
else if (typeResult.Conversion == TypeConversion.NewType || typeResult.Conversion == TypeConversion.Copy)
{
var typeNode = rootTypeNode.GetAnnotatedNodes(transformResult.Annotation).OfType <TypeDeclarationSyntax>().First();
var identifierToken = typeNode.ChildTokens().First(o => o.IsKind(SyntaxKind.IdentifierToken));
var newTypeNode = typeResult.Conversion == TypeConversion.NewType
? typeNode.ReplaceToken(identifierToken, Identifier(identifierToken.ValueText + "Async").WithTriviaFrom(identifierToken))
: typeNode;
rootTypeNode = TransformTypeMembers(namespaceMetadata, onlyMissingMembers, transformResult, newTypeNode,
memberWhitespace, rootTypeNode, typeNode);
}
}
rootTransformResult.Transformed = rootTypeNode;
return(rootTransformResult);
}
private RootFunctionTransformationResult TransformFunction(IFunctionAnalyzationResult rootFuncResult,
ITransformationTrivia parentTransformTrivia, ITypeTransformationMetadata typeMetadata, INamespaceTransformationMetadata namespaceMetadata)
{
var rootFuncNode = rootFuncResult.GetNode();
var startRootFuncSpan = rootFuncNode.SpanStart;
var rootTransformResult = new RootFunctionTransformationResult(rootFuncResult)
{
};
// We do this here because we want that the root node has span start equal to 0
rootFuncNode = rootFuncNode.WithAdditionalAnnotations(new SyntaxAnnotation(rootTransformResult.Annotation));
startRootFuncSpan -= rootFuncNode.SpanStart;
// Before any modification we need to annotate nodes that will be transformed in order to find them later on.
foreach (var funcResult in rootFuncResult.GetSelfAndDescendantsFunctions())
{
var origFuncNode = funcResult.GetNode();
var funcSpanStart = origFuncNode.SpanStart - startRootFuncSpan;
var funcSpanLength = origFuncNode.Span.Length;
var funcNode = rootFuncNode.DescendantNodesAndSelf()
.Where(o => !o.IsKind(SyntaxKind.Argument)) // An argument can have the same span as the function
.First(o => o.SpanStart == funcSpanStart && o.Span.Length == funcSpanLength);
FunctionTransformationResult transformResult;
if (funcNode == rootFuncNode)
{
transformResult = rootTransformResult;
transformResult.IndentTrivia = parentTransformTrivia.IndentTrivia;
transformResult.EndOfLineTrivia = parentTransformTrivia.EndOfLineTrivia;
transformResult.LeadingWhitespaceTrivia = Whitespace(parentTransformTrivia.LeadingWhitespaceTrivia.ToFullString() +
parentTransformTrivia.IndentTrivia.ToFullString());
transformResult.BodyLeadingWhitespaceTrivia = Whitespace(transformResult.LeadingWhitespaceTrivia.ToFullString() +
parentTransformTrivia.IndentTrivia.ToFullString());
}
else
{
transformResult = new FunctionTransformationResult(funcResult);
rootFuncNode = rootFuncNode.ReplaceNode(funcNode, funcNode.WithAdditionalAnnotations(new SyntaxAnnotation(transformResult.Annotation)));
rootTransformResult.DescendantTransformedFunctions.Add(transformResult);
// TODO: calculate trivias
}
if (funcResult.Conversion == MethodConversion.Ignore)
{
continue; // Ignored functions shall be only annotated
}
foreach (var typeReference in funcResult.TypeReferences.Where(o => o.TypeAnalyzationResult.Conversion == TypeConversion.NewType))
{
var reference = typeReference.ReferenceLocation;
var refSpanStart = reference.Location.SourceSpan.Start - startRootFuncSpan;
var refSpanLength = reference.Location.SourceSpan.Length;
var nameNode = rootFuncNode.GetSimpleName(refSpanStart, refSpanLength, typeReference.IsCref);
var transformedNode = new TransformationResult(nameNode)
{
Transformed = nameNode.WithIdentifier(Identifier(nameNode.Identifier.ValueText + "Async").WithTriviaFrom(nameNode.Identifier))
};
transformResult.TransformedNodes.Add(transformedNode);
rootFuncNode = rootFuncNode.ReplaceNode(nameNode, nameNode.WithAdditionalAnnotations(new SyntaxAnnotation(transformedNode.Annotation)));
}
// TODO: unify with method in order to avoid duplicate code
foreach (var referenceResult in funcResult.FunctionReferences.Where(o => o.GetConversion() == ReferenceConversion.ToAsync))
{
var transfromReference = new FunctionReferenceTransformationResult(referenceResult);
var reference = referenceResult.ReferenceLocation;
var startSpan = reference.Location.SourceSpan.Start - startRootFuncSpan;
var nameNode = rootFuncNode.GetSimpleName(startSpan, reference.Location.SourceSpan.Length);
rootFuncNode = rootFuncNode.ReplaceNode(nameNode, nameNode.WithAdditionalAnnotations(new SyntaxAnnotation(transfromReference.Annotation)));
transformResult.TransformedFunctionReferences.Add(transfromReference);
var bodyRef = referenceResult as IBodyFunctionReferenceAnalyzationResult;
if (!funcResult.OmitAsync || bodyRef == null)
{
continue;
}
// We need to annotate the reference node (InvocationExpression, IdentifierName) in order to know if we need to wrap the node in a Task.FromResult
var refNode = referenceResult.ReferenceNode;
if (bodyRef.UseAsReturnValue || refNode.IsReturned())
{
startSpan = refNode.SpanStart - startRootFuncSpan;
var referenceNode = rootFuncNode.DescendantNodes().First(o => o.SpanStart == startSpan && o.Span.Length == refNode.Span.Length);
rootFuncNode = rootFuncNode.ReplaceNode(referenceNode, referenceNode.WithAdditionalAnnotations(new SyntaxAnnotation(Annotations.TaskReturned)));
}
}
}
foreach (var transformResult in rootTransformResult.GetSelfAndDescendantTransformedFunctions().OrderByDescending(o => o.OriginalStartSpan))
{
// We have to order by OriginalStartSpan in order to have consistent formatting when adding awaits
foreach (var transfromReference in transformResult.TransformedFunctionReferences.OrderByDescending(o => o.OriginalStartSpan))
{
rootFuncNode = TransformFunctionReference(rootFuncNode, rootFuncResult, transfromReference, typeMetadata, namespaceMetadata);
}
// Replace all rewritten nodes
foreach (var rewNode in transformResult.TransformedNodes)
{
var node = rootFuncNode.GetAnnotatedNodes(rewNode.Annotation).First();
if (rewNode.Transformed == null)
{
rootFuncNode = rootFuncNode.RemoveNode(node, SyntaxRemoveOptions.KeepUnbalancedDirectives);
}
else
{
rootFuncNode = rootFuncNode.ReplaceNode(node, rewNode.Transformed);
}
}
var funcNode = rootFuncNode.GetAnnotatedNodes(transformResult.Annotation).First();
var newFuncNode = funcNode;
transformResult.Transformed = newFuncNode;
newFuncNode = RunFunctionTransformers(transformResult, typeMetadata, namespaceMetadata);
rootFuncNode = rootFuncNode.ReplaceNode(funcNode, newFuncNode);
}
rootTransformResult.Transformed = rootFuncNode;
return(rootTransformResult);
}
