using Microsoft.EntityFrameworkCore;
using Z.EntityFramework.Plus;

record Document(string Name)
{
    public int Id { get; init; }
}

class AppDbContext : DbContext
{
    public DbSet<Document> Documents { get; set; }

    protected override void OnConfiguring(DbContextOptionsBuilder optionsBuilder)
    {
        optionsBuilder.UseSqlServer("Server=.\\SQLEXPRESS;Database=DocumentDb;Trusted_Connection=true;TrustServerCertificate=true;");
    }
}

class Program
{
    static async Task Main()
    {
        // Populate SQL Server database
        await using var context = new AppDbContext();
        await context.Database.EnsureDeletedAsync();
        await context.Database.EnsureCreatedAsync();

        context.Documents.AddRange([
            new("Annual Report 2024"),
            new("Marketing Strategy"),
            new("Technical Specification")
        ]);

        await context.SaveChangesAsync();

        var keyword = "Annual";
        var KEYWORD = "Annual";

        var query = context.Documents
            .AsNoTracking()
            .Where(d => d.Name.Contains(keyword) || d.Name.Contains(KEYWORD));

        var totalCount = query
            .DeferredCount()
            .FutureValue();

        _ = await query
            .Future()
            .ToListAsync();
    }
}

exec sp_executesql N'-- EF+ Query Future: 1 of 2
SELECT COUNT(*)
FROM [Documents] AS [d]
WHERE [d].[Name] LIKE @Z_1_keyword_contains ESCAPE N''\'' OR [d].[Name] LIKE @Z_1_KEYWORD_contains0 ESCAPE N''\''
;

-- EF+ Query Future: 2 of 2
SELECT [d].[Id], [d].[Name]
FROM [Documents] AS [d]
WHERE [d].[Name] LIKE @Z_2_keyword_contains ESCAPE N''\'' OR [d].[Name] LIKE @Z_2_KEYWORD_contains0 ESCAPE N''\''
;

',N'@Z_1_keyword_contains nvarchar(8),@Z_1_KEYWORD_contains nvarchar(8),@Z_2_keyword_contains nvarchar(8),@Z_2_KEYWORD_contains nvarchar(8)',@Z_1_keyword_contains=N'%Annual%',@Z_1_KEYWORD_contains=N'%Annual%',@Z_2_keyword_contains=N'%Annual%',@Z_2_KEYWORD_contains=N'%Annual%'