Quarry.Analyzers.CodeFixes 0.2.1

Quarry

Type-safe SQL builder for .NET 10. Source generators + C# 12 interceptors emit all SQL at compile time. AOT compatible. Structured logging via Logsmith.

Quarry.Analyzers.CodeFixes

Code fix providers for Quarry analyzer diagnostics. Adds IDE lightbulb actions that automatically rewrite flagged query patterns.

Packages

Name	NuGet	Description
Quarry		Runtime types: builders, schema DSL, dialects, executors.
Quarry.Generator		Roslyn incremental source generator + interceptor emitter.
Quarry.Analyzers		Compile-time SQL query analysis rules (QRA series) with code fixes.
Quarry.Analyzers.CodeFixes		Code fix providers for QRA diagnostics.
Quarry.Tool		CLI tool for migrations and database scaffolding (quarry command).

Installation

<PackageReference Include="Quarry.Analyzers" Version="1.0.0"
    OutputItemType="Analyzer"
    ReferenceOutputAssembly="false" />

<PackageReference Include="Quarry.Analyzers.CodeFixes" Version="1.0.0"
    OutputItemType="Analyzer"
    ReferenceOutputAssembly="false" />

Both packages are required. Quarry.Analyzers reports diagnostics; Quarry.Analyzers.CodeFixes provides the IDE lightbulb fixes that act on them.

Available Code Fixes

Three diagnostics currently have automatic code fixes:

All three support Fix All in Document / Project / Solution via the IDE lightbulb menu.

All Analyzer Rules (QRA Series)

The full Quarry.Analyzers rule set is listed below. Rules marked with a code fix have automatic IDE rewrites provided by this package.

QRA1xx — Simplification

QRA2xx — Wasted Work

QRA3xx — Performance

QRA4xx — Patterns

QRA5xx — Dialect

Examples

QRA101 — Count to Any

// Before (flagged by QRA101)
var hasOrders = await db.Users
    .Where(u => u.Orders.Count() > 0)
    .ExecuteFetchAllAsync();

// After fix applied
var hasOrders = await db.Users
    .Where(u => u.Orders.Any())
    .ExecuteFetchAllAsync();

QRA102 — Single-value IN to Equals

// Before (flagged by QRA102)
db.Users().Where(u => new[] { 42 }.Contains(u.UserId));

// After fix applied
db.Users().Where(u => u.UserId == 42);

QRA201 — Remove Unused Join

// Before (flagged by QRA201)
db.Users().Join<Order>((u, o) => u.UserId == o.UserId.Id)
    .Select((u, o) => u.UserName);  // 'o' never used

// After fix applied
db.Users()
    .Select(u => u.UserName);

QRA401 — Query Inside Loop (N+1)

// Flagged by QRA401
foreach (var id in userIds)
{
    var user = await db.Users
        .Where(u => u.Id == id)
        .ExecuteFetchFirstAsync();
}

// Preferred: batch query
var users = await db.Users
    .Where(u => userIds.Contains(u.Id))
    .ExecuteFetchAllAsync();

QRA205 — Cartesian Product

// Flagged by QRA205 — missing ON condition
db.Users().Join<Order>()
    .Select((u, o) => new { u.Name, o.Total });

// Fixed: add join condition
db.Users().Join<Order>((u, o) => u.Id == o.UserId)
    .Select((u, o) => new { u.Name, o.Total });

Configuration

Severity overrides via .editorconfig

# Disable a specific rule
dotnet_diagnostic.QRA301.severity = none

# Escalate to warning
dotnet_diagnostic.QRA103.severity = warning

Rule-specific settings

# QRA202: column threshold for wide-table detection (default: 10)
quarry_analyzers.wide_table_column_count = 15

Inline suppression

#pragma warning disable QRA301
var results = db.Users().Where(u => u.Name.Contains(term));
#pragma warning restore QRA301