Crate oxilean_lint 

OxiLean Lint – Static Analysis and Lint Rules

This crate provides a lint engine and a collection of lint rules for analyzing OxiLean source code.

Re-exports

pub use framework::AutoFix;

pub use framework::LintConfig;

pub use framework::LintContext;

pub use framework::LintDiagnostic;

pub use framework::LintEngine;

pub use framework::LintId;

pub use framework::LintRegistry;

pub use framework::LintRule;

pub use framework::LintSuppression;

pub use framework::Severity;

pub use rules::DeadCodeRule;

pub use rules::DeprecatedApiRule;

pub use rules::DeprecatedTacticRule;

pub use rules::LongProofRule;

pub use rules::MissingDocRule;

pub use rules::MissingDocstringRule;

pub use rules::NamingConventionRule;

pub use rules::RedundantAssumptionRule;

pub use rules::RedundantPatternRule;

pub use rules::SimplifiableExprRule;

pub use rules::StyleRule;

pub use rules::UnreachableCodeRule;

pub use rules::UnusedHypothesisRule;

pub use rules::UnusedImportRule;

pub use rules::UnusedVariableRule;

Modules

autofix

Auto-generated module structure

framework

Auto-generated module structure

ide_integration

Auto-generated module structure

plugin

Auto-generated module structure

rules

Auto-generated module structure

Structs

LintAggregator

Aggregates diagnostics from multiple sources into a combined set.

LintBaseline

Records a known set of lint diagnostics as a baseline for comparison.

LintBudget

Limits the total number of diagnostics emitted.

LintConfigBuilder

Builder for LintConfig.

LintConfigValidator

Validates lint configuration for consistency.

LintCooldown

Suppresses repeated identical diagnostics within a cooldown window.

LintDatabase

A persistent store of all known lint rules and their metadata.

LintDiff

Computes the diff between two sets of diagnostics (added/removed).

LintEntry

Metadata for a single lint rule stored in the database.

LintEvent

A single lint event.

LintEventLog

Logs lint events (rule run, diagnostic emitted, fix applied) for debugging.

LintExample

An example of a lint rule firing (good/bad pair).

LintFilter

A filter that decides whether a diagnostic should be reported.

LintFormatter

Formats LintDiagnostics into strings according to an output format.

LintIgnoreList

A list of lint IDs that are explicitly ignored (suppressed globally).

LintMetadata

Metadata about a lint rule.

LintPass

A lint pass groups related lint rules that run together.

LintPriorityQueue

A priority queue for diagnostics, returning the most severe first.

LintProfile

A named configuration profile for the lint engine.

LintReport

The full result of running the lint engine on a source file.

LintResult

The result of running a single lint rule.

LintRuleGroup

A named group of lint rules for easy management.

LintRuleMetadata

Complete metadata for a lint rule.

LintRuleSet

A named set of lint rules to apply together.

LintRunOptions

Options controlling a single lint run.

LintRunSummary

A high-level end-of-run summary.

LintSessionContext

Context for a lint session across multiple files.

LintStats

Aggregate statistics from a lint run.

LintSummaryReport

A high-level summary report of a lint run.

LintSuppressAnnotation

A lint suppression annotation parsed from source.

LintTrend

Tracks diagnostic counts across runs to detect trends.

Enums

LintCategory

Category of a lint rule.

LintEventKind

The kind of lint event.

LintLevel

Configurable level for a lint rule: deny, warn, allow.

LintOutputFormat

Output format for lint diagnostics.