PureSharp diagnostics
PureSharp exposes seven documented diagnostics across referential transparency, local-variable purity, naming, and FluentIf validation.
| ID | Purpose | Default |
|---|---|---|
| RT0001 | Static mutable field access in [PureMethod] | Error |
| RT0002 | Non-pure method call in [PureMethod] | Error |
| RT0003 | I/O operation in [PureMethod] | Error |
| LVP0001 | Reassignment to an immutable local | Error |
| LVP0002 | Immutable local missing declaration-time initialization | Error |
| LVP0003 | Suggestion for an effectively immutable local | Warning |
| FIF0001 | FluentIf chain not terminated with .Else(...) | Error |
Configuration
[*.cs]
dotnet_diagnostic.RT0001.severity = error
dotnet_diagnostic.LVP0003.severity = warning
For the complete diagnostic contract, triggering conditions, compatibility rules, and message semantics, read docs/DIAGNOSTICS.md.