Quarry.Analyzers 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

Compile-time SQL query analysis rules for Quarry. 19 Roslyn diagnostics detect performance issues, wasteful patterns, and dialect-specific problems in Quarry query call sites. Analyzers run against the interceptor call sites discovered by Quarry.Generator and evaluate the rendered SQL at compile time.

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" />

Requires Quarry and Quarry.Generator to be referenced in the same project.

To also get automatic code fixes, add the CodeFixes package:

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

How It Works

Quarry.Analyzers hooks into the Roslyn compilation pipeline alongside Quarry.Generator. When the generator discovers interceptor call sites (.Where(), .Join(), .Select(), etc.), the analyzer evaluates the rendered SQL expression for each site and runs all 19 diagnostic rules against it.

All analysis happens at compile time — no runtime overhead.

Diagnostic Rules

All rules are enabled by default. Suppress individual rules via #pragma, .editorconfig, or [SuppressMessage].

QRA1xx — Simplification

QRA2xx — Wasted Work

QRA3xx — Performance

QRA4xx — Patterns

QRA5xx — Dialect

Code Fixes

Three rules include automatic code fix providers (via Quarry.Analyzers.CodeFixes). These appear as lightbulb suggestions in your IDE:

Configuration

EditorConfig

# .editorconfig
[*.cs]
# Column threshold for QRA202 (wide table SELECT *), default: 10
quarry_analyzers.wide_table_column_count = 12

Suppressing Rules

# .editorconfig — suppress a rule project-wide
[*.cs]
dotnet_diagnostic.QRA203.severity = none

// Per-site suppression
#pragma warning disable QRA301
var results = await db.Users
    .Where(u => u.UserName.Contains(search))
    .ExecuteFetchAllAsync();
#pragma warning restore QRA301

Severity Summary

Four rules default to Warning — these indicate likely bugs or significant performance issues:

The remaining 15 rules default to Info — suggestions that may or may not apply depending on context.

Usage Examples

Analyzers fire automatically on Quarry query chains. No configuration is needed beyond installation.

// QRA101 fires: "Use Any() instead of Count() > 0"
var hasUsers = await db.Users()
    .Where(u => u.IsActive)
    .ExecuteCountAsync() > 0;

// Fix: use Any()
var hasUsers = await db.Users()
    .Where(u => u.IsActive)
    .ExecuteAnyAsync();

// QRA201 fires: "Joined table 'Orders' is not referenced in SELECT, WHERE, or ORDER BY"
var users = await db.Users()
    .Join<Order>((u, o) => u.UserId == o.UserId.Id)
    .Select((u, o) => u.UserName)
    .ExecuteFetchAllAsync();

// QRA401 fires: "Query execution inside loop — potential N+1 query"
foreach (var userId in userIds)
{
    var orders = await db.Orders()
        .Where(o => o.UserId.Id == userId)
        .ExecuteFetchAllAsync();
}