Support string analysis in C# generator and source generator

Author: Genbox

Src/FastData.Benchmarks/Benchmarks/AnalyzerBenchmarks.cs

@@ -9,24 +9,18 @@ namespace Genbox.FastData.Benchmarks.Benchmarks;
 [MemoryDiagnoser]
 public class AnalyzerBenchmarks
 {
-    private readonly GPerfAnalyzer _analyzer;
+    private readonly GPerfAnalyzer<string> _analyzer;
     private readonly string[] _data;
 
     public AnalyzerBenchmarks()
     {
         Random rng = new Random(42);
         _data = Enumerable.Range(1, 100).Select(_ => TestHelper.GenerateRandomString(rng, 50)).ToArray();
-        StringProperties props = DataAnalyzer.GetStringProperties(_data);
 
-        _analyzer = new GPerfAnalyzer(_data.Length, props, new GPerfAnalyzerConfig(), new Simulator(), NullLogger<GPerfAnalyzer>.Instance);
+        StringProperties props = DataAnalyzer.GetStringProperties(_data);
+        _analyzer = new GPerfAnalyzer<string>(_data.Length, props, new GPerfAnalyzerConfig(), new Simulator<string>(_data.Length), NullLogger<GPerfAnalyzer<string>>.Instance);
     }
 
     [Benchmark]
-    public void GPerfAnalyzer() => _analyzer.GetCandidates(_data, OnCandidateFound);
-
-    private static bool OnCandidateFound(Candidate candidate)
-    {
-        // Do nothing
-        return true;
-    }
+    public IEnumerable<object> GPerfAnalyzer() => _analyzer.GetCandidates(_data);
 }

Src/FastData.Generator.CPlusPlus.Tests/Verify/ConditionalStructure_String_3.verified.txt

@@ -12,8 +12,7 @@ public:
     [[nodiscard]]
     static bool contains(const std::string_view value) noexcept
     {
-        if (const size_t len = value.length(); len < 1u || len > 255u)
-            return false;
+
 
         if (value == "a" || value == "item" || value == "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa")
             return true;

Src/FastData.Generator.CPlusPlus/CPlusPlusCodeGenerator.cs

@@ -13,7 +13,7 @@ public sealed class CPlusPlusCodeGenerator : CodeGenerator
     private readonly CPlusPlusCodeGeneratorConfig _cfg;
 
     private CPlusPlusCodeGenerator(CPlusPlusCodeGeneratorConfig cfg, ILanguageDef langDef, IConstantsDef constDef, IEarlyExitDef earlyExitDef, IHashDef hashDef)
-        : base(langDef, constDef, earlyExitDef, hashDef) => _cfg = cfg;
+        : base(langDef, constDef, earlyExitDef, hashDef, null) => _cfg = cfg;
 
     public static CPlusPlusCodeGenerator Create(CPlusPlusCodeGeneratorConfig userCfg)
     {
@@ -26,7 +26,7 @@ public static CPlusPlusCodeGenerator Create(CPlusPlusCodeGeneratorConfig userCfg
     public override string Generate<T>(ReadOnlySpan<T> data, GeneratorConfig<T> genCfg, IContext<T> context)
     {
         //C++ generator does not support chars outside ASCII
-        if (genCfg.DataType == DataType.Char && (char)(object)genCfg.Constants.MaxValue! > 127)
+        if (genCfg.DataType == DataType.Char && (char)(object)genCfg.Constants.MaxValue > 127)
             throw new InvalidOperationException("C++ generator does not support chars outside ASCII. Please use a different data type or reduce the max value to 127 or lower.");
 
         return base.Generate(data, genCfg, context);

Src/FastData.Generator.CPlusPlus/Internal/Framework/CPlusPlusHashDef.cs

@@ -1,3 +1,4 @@
+using Genbox.FastData.Generator.Framework;
 using Genbox.FastData.Generator.Framework.Interfaces;
 using Genbox.FastData.Generators;
 using Genbox.FastData.Generators.Extensions;

Src/FastData.Generator.CSharp.Tests/Verify/ConditionalStructure_String_3.verified.txt

@@ -11,8 +11,7 @@ internal static class ConditionalStructure_String_3
 
     public static bool Contains(string value)
     {
-        if (value.Length < 1u || value.Length > 255u)
-            return false;
+
 
         switch (value)
         {

Src/FastData.Generator.CSharp.Tests/Verify/HashSetChainStructure_Byte_3.verified.txt

@@ -39,6 +39,7 @@ internal static class HashSetChainStructure_Byte_3
         return false;
     }
 
+
     [MethodImpl(MethodImplOptions.AggressiveInlining)]
     private static ulong Hash(byte value)
     {

Src/FastData.Generator.CSharp.Tests/Verify/HashSetChainStructure_Char_3.verified.txt

@@ -39,6 +39,7 @@ internal static class HashSetChainStructure_Char_3
         return false;
     }
 
+
     [MethodImpl(MethodImplOptions.AggressiveInlining)]
     private static ulong Hash(char value)
     {

Src/FastData.Generator.CSharp.Tests/Verify/HashSetChainStructure_Double_4.verified.txt

@@ -39,6 +39,7 @@ internal static class HashSetChainStructure_Double_4
         return false;
     }
 
+
     [MethodImpl(MethodImplOptions.AggressiveInlining)]
     private static ulong Hash(double value)
     {

Src/FastData.Generator.CSharp.Tests/Verify/HashSetChainStructure_Double_5_HashZeroOrNaN.verified.txt

@@ -39,6 +39,7 @@ internal static class HashSetChainStructure_Double_5_HashZeroOrNaN
         return false;
     }
 
+
     [MethodImpl(MethodImplOptions.AggressiveInlining)]
     private static ulong Hash(double value)
     {

Src/FastData.Generator.CSharp.Tests/Verify/HashSetChainStructure_Int16_5.verified.txt

@@ -39,6 +39,7 @@ internal static class HashSetChainStructure_Int16_5
         return false;
     }
 
+
     [MethodImpl(MethodImplOptions.AggressiveInlining)]
     private static ulong Hash(short value)
     {