Expand description
§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;pub use core_types::*;
Modules§
- autofix
- Auto-generated module structure
- core_
types - Auto-generated module structure
- dead_
declaration - Dead-declaration lint module.
- framework
- Auto-generated module structure
- ide_
integration - Auto-generated module structure
- mutation_
testing - Mutation testing framework for oxilean-lint.
- plugin
- Auto-generated module structure
- proof_
quality - Proof quality lint module.
- rules
- Auto-generated module structure