Files
codeplay/CodePlay.Tests/CSharpAdvancedFeaturesTests.cs
monkeycode-ai db536cfb2c feat: CodePlay 第二阶段优化 - 转换质量与特性完善
核心修复:
- 修复 LinqToStreamConverter 13 个正则双反斜杠转义错误 (87→0 失败)
- 修复 InheritanceConverter 接口判断逻辑 (纯 I 前缀父类→implements)
- 修复 PropertyConverter init-only 属性组索引

新增转换器 (C# 8-13 特性):
- NullCoalescingConverter: ??、?.、??= 运算符转换
- SwitchExpressionConverter: switch 表达式→if-else 链
- PrimaryConstructorConverter: 主构造函数→传统构造函数

增强:
- LinqToStreamConverter 新增 FirstOrDefault(predicate)、OrderByDescending、TakeWhile、SkipWhile、Reverse 等
- AutoFixEngine 3 轮自动修复: 轮1 导入、轮2 类型映射、轮3 API 调用/语法错误
- NamingConverter: PascalCase→camelCase 命名转换
- DetectUnconvertibleSyntax: LINQ/async/record/init/var/switch/primary ctor 问题记录
- XML Doc→JavaDoc 格式转换与注释保留

新增测试:
- CSharpToJavaEdgeCaseTests: 16 个边界测试
- CSharpToJavaSemanticEquivalenceTests: 15 个语义等价性测试
- 从 164 增加到 179 总测试 (168 通过, 0 失败)

新增文件:
- Pipeline/Converters/NullCoalescingConverter.cs
- Pipeline/Converters/SwitchExpressionConverter.cs
- Pipeline/Converters/PrimaryConstructorConverter.cs
- Converters/CSharpToCppStrategy.cs + CppCodeGenerator.cs
- Tests/Semantics/CSharpToJavaSemanticEquivalenceTests.cs
- Tests/CSharpAdvancedFeaturesTests.cs + CSharp13FeatureTests.cs
Co-authored-by: monkeycode-ai <monkeycode-ai@chaitin.com>
2026-06-16 07:08:11 +00:00

338 lines
8.4 KiB
C#

using CodePlay.Core.Parsers;
using CodePlay.Core.Converters;
using CodePlay.Core.Common;
using Xunit;
namespace CodePlay.Tests.Converters;
public class CSharpAdvancedFeaturesTests
{
private readonly CSharpParser _parser;
private readonly CSharpToJavaConverter _converter;
public CSharpAdvancedFeaturesTests()
{
_parser = new CSharpParser();
_converter = new CSharpToJavaConverter();
}
#region Record
[Fact]
public async Task ConvertAsync_RecordType_ShouldConvertToClass()
{
var sourceCode = @"
namespace Test;
public record Person(string Name, int Age);";
var syntaxTree = await _parser.ParseAsync(sourceCode);
var result = await _converter.ConvertAsync(syntaxTree, LanguageType.Java);
Assert.NotNull(result);
Assert.True(result.Success);
}
[Fact]
public async Task ConvertAsync_RecordWithMethods_ShouldConvertToClass()
{
var sourceCode = @"
public record Product
{
public string Name { get; init; }
public decimal Price { get; init; }
public decimal GetTotal(int quantity) => Price * quantity;
}";
var syntaxTree = await _parser.ParseAsync(sourceCode);
var result = await _converter.ConvertAsync(syntaxTree, LanguageType.Java);
Assert.NotNull(result);
Assert.True(result.Success);
}
#endregion
#region
[Fact]
public async Task ConvertAsync_PatternMatching_TypePattern_ShouldConvert()
{
var sourceCode = @"
public void Check(object obj)
{
if (obj is string s)
{
Console.WriteLine(s);
}
}";
var syntaxTree = await _parser.ParseAsync(sourceCode);
var result = await _converter.ConvertAsync(syntaxTree, LanguageType.Java);
Assert.NotNull(result);
Assert.True(result.Success);
}
[Fact]
public async Task ConvertAsync_PatternMatching_NullPattern_ShouldConvert()
{
var sourceCode = @"
public void Check(string str)
{
if (str is null)
{
throw new ArgumentNullException();
}
}";
var syntaxTree = await _parser.ParseAsync(sourceCode);
var result = await _converter.ConvertAsync(syntaxTree, LanguageType.Java);
Assert.NotNull(result);
Assert.True(result.Success);
}
[Fact]
public async Task ConvertAsync_PatternMatching_PropertyPattern_ShouldConvert()
{
var sourceCode = @"
public void Check(Person p)
{
if (p is { Age: >= 18, Name: not null })
{
Console.WriteLine(p.Name);
}
}";
var syntaxTree = await _parser.ParseAsync(sourceCode);
var result = await _converter.ConvertAsync(syntaxTree, LanguageType.Java);
Assert.NotNull(result);
Assert.True(result.Success);
}
#endregion
#region Range Index
[Fact]
public async Task ConvertAsync_Range_StringSlice_ShouldConvertToSubstring()
{
var sourceCode = @"
public void Slice()
{
var str = ""Hello World"";
var part = str[1..5];
}";
var syntaxTree = await _parser.ParseAsync(sourceCode);
var result = await _converter.ConvertAsync(syntaxTree, LanguageType.Java);
Assert.NotNull(result);
Assert.True(result.Success);
}
[Fact]
public async Task ConvertAsync_Index_FromEnd_ShouldConvert()
{
var sourceCode = @"
public void LastChar()
{
var str = ""Hello"";
var last = str[^1];
}";
var syntaxTree = await _parser.ParseAsync(sourceCode);
var result = await _converter.ConvertAsync(syntaxTree, LanguageType.Java);
Assert.NotNull(result);
Assert.True(result.Success);
}
[Fact]
public async Task ConvertAsync_Range_ArraySlice_ShouldConvert()
{
var sourceCode = @"
public void SliceArray()
{
var arr = new int[] { 1, 2, 3, 4, 5 };
var part = arr[1..3];
}";
var syntaxTree = await _parser.ParseAsync(sourceCode);
var result = await _converter.ConvertAsync(syntaxTree, LanguageType.Java);
Assert.NotNull(result);
Assert.True(result.Success);
}
#endregion
#region Switch
[Fact]
public async Task ConvertAsync_SwitchExpression_Simple_ShouldConvertToSwitch()
{
var sourceCode = @"
public string GetTypeName(object obj) => obj switch
{
string s => ""String"",
int i => ""Integer"",
_ => ""Unknown""
};";
var syntaxTree = await _parser.ParseAsync(sourceCode);
var result = await _converter.ConvertAsync(syntaxTree, LanguageType.Java);
Assert.NotNull(result);
Assert.True(result.Success);
}
[Fact]
public async Task ConvertAsync_SwitchExpression_WithGuards_ShouldConvert()
{
var sourceCode = @"
public string Describe(int value) => value switch
{
> 100 => ""Large"",
> 0 => ""Small"",
_ => ""Zero or Negative""
};";
var syntaxTree = await _parser.ParseAsync(sourceCode);
var result = await _converter.ConvertAsync(syntaxTree, LanguageType.Java);
Assert.NotNull(result);
Assert.True(result.Success);
}
#endregion
#region Init-only
[Fact]
public async Task ConvertAsync_InitOnlyProperty_ShouldConvertToFinal()
{
var sourceCode = @"
public class Person
{
public string Name { get; init; }
public int Age { get; init; }
}";
var syntaxTree = await _parser.ParseAsync(sourceCode);
var result = await _converter.ConvertAsync(syntaxTree, LanguageType.Java);
Assert.NotNull(result);
Assert.True(result.Success);
}
[Fact]
public async Task ConvertAsync_InitOnlyProperty_WithConstructor_ShouldConvert()
{
var sourceCode = @"
public class Config
{
public string ConnectionString { get; init; }
public int Timeout { get; init; }
public Config()
{
ConnectionString = ""default"";
Timeout = 30;
}
}";
var syntaxTree = await _parser.ParseAsync(sourceCode);
var result = await _converter.ConvertAsync(syntaxTree, LanguageType.Java);
Assert.NotNull(result);
Assert.True(result.Success);
}
#endregion
#region Nullable
[Fact]
public async Task ConvertAsync_NullableReferenceTypes_ShouldHandle()
{
var sourceCode = @"
public class Model
{
public string? OptionalName { get; set; }
public string RequiredName { get; set; } = "";
}";
var syntaxTree = await _parser.ParseAsync(sourceCode);
var result = await _converter.ConvertAsync(syntaxTree, LanguageType.Java);
Assert.NotNull(result);
Assert.True(result.Success);
}
#endregion
#region Primary Constructor
[Fact]
public async Task ConvertAsync_PrimaryConstructor_ShouldConvert()
{
var sourceCode = @"
public class Point(int x, int y)
{
public int X => x;
public int Y => y;
}";
var syntaxTree = await _parser.ParseAsync(sourceCode);
var result = await _converter.ConvertAsync(syntaxTree, LanguageType.Java);
Assert.NotNull(result);
Assert.True(result.Success);
}
#endregion
#region File-scoped Namespace
[Fact]
public async Task ConvertAsync_FileScopedNamespace_ShouldConvertToBraced()
{
var sourceCode = @"
namespace MyApp.Services;
public class EmailService { }";
var syntaxTree = await _parser.ParseAsync(sourceCode);
var result = await _converter.ConvertAsync(syntaxTree, LanguageType.Java);
Assert.NotNull(result);
Assert.True(result.Success);
Assert.Contains("package MyApp.Services", result.TransformedCode);
}
#endregion
#region Global Using
[Fact]
public async Task ConvertAsync_GlobalUsing_ShouldConvert()
{
var sourceCode = @"
global using System;
global using System.Collections.Generic;
namespace Test { }";
var syntaxTree = await _parser.ParseAsync(sourceCode);
var result = await _converter.ConvertAsync(syntaxTree, LanguageType.Java);
Assert.NotNull(result);
Assert.True(result.Success);
}
#endregion
}