mirror of
https://github.com/icsharpcode/ILSpy.git
synced 2026-10-12 02:15:58 +00:00
A C# anonymous type is immutable and compares every member. VB's are neither
unless every property is declared 'Key': otherwise the properties are settable
and only the 'Key' ones take part in Equals and GetHashCode. Writing such a
type as 'new { ... }' silently gave it value equality and made any assignment
to one of its properties fail to compile, so only an anonymous type with no
settable property is treated as one; the rest keep their own declaration.
Those declarations carry the shape VB gave them, so the round-trip preserves
both mutability and 'Key' equality. Their names are the remaining obstacle,
since the VB compiler separates the parts with '$': the type, its backing
fields and any local named after it are renamed to use '_' instead, and a
comment on the declaration says why the type is spelled out.
Generated variable names are now rejected when they would not be legal C#
identifiers, which also stops a display class from lending its unspeakable
name to a local in the NoLocalFunctions output.
Assisted-by: Claude:claude-fable-5:Claude Code
142 lines
4.7 KiB
C#
142 lines
4.7 KiB
C#
// Copyright (c) 2015 Siegfried Pammer
|
|
//
|
|
// Permission is hereby granted, free of charge, to any person obtaining a copy of this
|
|
// software and associated documentation files (the "Software"), to deal in the Software
|
|
// without restriction, including without limitation the rights to use, copy, modify, merge,
|
|
// publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons
|
|
// to whom the Software is furnished to do so, subject to the following conditions:
|
|
//
|
|
// The above copyright notice and this permission notice shall be included in all copies or
|
|
// substantial portions of the Software.
|
|
//
|
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED,
|
|
// INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR
|
|
// PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE
|
|
// FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
|
|
// OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
|
|
// DEALINGS IN THE SOFTWARE.
|
|
using System;
|
|
using System.Reflection.Metadata;
|
|
|
|
using ICSharpCode.Decompiler.Documentation;
|
|
using ICSharpCode.Decompiler.TypeSystem;
|
|
|
|
namespace ICSharpCode.Decompiler
|
|
{
|
|
public static class NRExtensions
|
|
{
|
|
public static bool IsCompilerGenerated(this IEntity entity)
|
|
{
|
|
if (entity != null)
|
|
{
|
|
return entity.HasAttribute(KnownAttribute.CompilerGenerated);
|
|
}
|
|
return false;
|
|
}
|
|
|
|
public static bool IsCompilerGeneratedOrIsInCompilerGeneratedClass(this IEntity entity)
|
|
{
|
|
if (entity == null)
|
|
return false;
|
|
if (entity.IsCompilerGenerated())
|
|
return true;
|
|
return IsCompilerGeneratedOrIsInCompilerGeneratedClass(entity.DeclaringTypeDefinition);
|
|
}
|
|
|
|
public static bool HasGeneratedName(this IMember member)
|
|
{
|
|
return member.Name.StartsWith("<", StringComparison.Ordinal);
|
|
}
|
|
|
|
public static bool HasGeneratedName(this IType type)
|
|
{
|
|
return SRMExtensions.IsGeneratedName(type.Name);
|
|
}
|
|
|
|
/// <summary>
|
|
/// A C# anonymous type is immutable and compares all of its members, so only an anonymous
|
|
/// type with no settable property can be written as one. The C# compiler emits nothing
|
|
/// else, but VB's properties are settable unless declared 'Key', and only 'Key' members
|
|
/// take part in Equals/GetHashCode: those types keep their own declaration.
|
|
/// </summary>
|
|
static bool HasOnlyReadOnlyProperties(ITypeDefinition type)
|
|
{
|
|
foreach (var property in type.Properties)
|
|
{
|
|
if (property.CanSet)
|
|
return false;
|
|
}
|
|
return true;
|
|
}
|
|
|
|
/// <summary>
|
|
/// An anonymous type that keeps its own declaration because it cannot be written as a C#
|
|
/// anonymous type: a VB anonymous type with at least one settable, non-'Key' property.
|
|
/// </summary>
|
|
public static bool IsAnonymousTypeDeclaredAsNamedType(this ITypeDefinition type)
|
|
{
|
|
return type != null
|
|
&& string.IsNullOrEmpty(type.Namespace)
|
|
&& type.HasGeneratedName()
|
|
&& (type.Name.Contains("AnonType") || type.Name.Contains("AnonymousType"))
|
|
&& type.IsCompilerGenerated()
|
|
&& !HasOnlyReadOnlyProperties(type);
|
|
}
|
|
|
|
public static bool IsAnonymousType(this IType type)
|
|
{
|
|
if (type == null)
|
|
return false;
|
|
if (string.IsNullOrEmpty(type.Namespace) && type.HasGeneratedName()
|
|
&& (type.Name.Contains("AnonType") || type.Name.Contains("AnonymousType")))
|
|
{
|
|
ITypeDefinition td = type.GetDefinition();
|
|
return td != null && td.IsCompilerGenerated() && HasOnlyReadOnlyProperties(td);
|
|
}
|
|
return false;
|
|
}
|
|
|
|
public static bool ContainsAnonymousType(this IType type)
|
|
{
|
|
var visitor = new ContainsAnonTypeVisitor();
|
|
type.AcceptVisitor(visitor);
|
|
return visitor.ContainsAnonType;
|
|
}
|
|
|
|
class ContainsAnonTypeVisitor : TypeVisitor
|
|
{
|
|
public bool ContainsAnonType;
|
|
|
|
public override IType VisitOtherType(IType type)
|
|
{
|
|
if (IsAnonymousType(type))
|
|
ContainsAnonType = true;
|
|
return base.VisitOtherType(type);
|
|
}
|
|
|
|
public override IType VisitTypeDefinition(ITypeDefinition type)
|
|
{
|
|
if (IsAnonymousType(type))
|
|
ContainsAnonType = true;
|
|
return base.VisitTypeDefinition(type);
|
|
}
|
|
}
|
|
|
|
internal static string GetDocumentation(this IEntity entity)
|
|
{
|
|
var docProvider = XmlDocLoader.LoadDocumentation(entity.ParentModule.MetadataFile);
|
|
if (docProvider == null)
|
|
return null;
|
|
return docProvider.GetDocumentation(entity);
|
|
}
|
|
|
|
internal static System.Reflection.TypeAttributes GetMetadataAttributes(this ITypeDefinition type)
|
|
{
|
|
var metadata = type.ParentModule.MetadataFile?.Metadata;
|
|
if (metadata == null || type.MetadataToken.IsNil)
|
|
return 0;
|
|
return metadata.GetTypeDefinition((TypeDefinitionHandle)type.MetadataToken).Attributes;
|
|
}
|
|
}
|
|
}
|