public record ScanProofFinding
One message about a symbol. ScanProofFinding.Code is stable (see docs-internal/scan-proof.md).
Constructors
| Signature | Description |
|---|
# ScanProofFinding(string Code, ScanProofSeverity Severity, string Message) | One message about a symbol. ScanProofFinding.Code is stable (see docs-internal/scan-proof.md). Code: Stable identifier, e.g. "SP1001". · Severity: How serious the finding is. · Message: Human-readable text (may change between versions). |
Properties
| Property | Type | Description |
|---|
Code { get; init; } | string | Stable identifier, e.g. "SP1001". |
Message { get; init; } | string | Human-readable text (may change between versions). |
Severity { get; init; } | ScanProofSeverity | How serious the finding is. |
Methods
| Method Signature | Returns | Description |
|---|
# Deconstruct(out string Code, out ScanProofSeverity Severity, out string Message) | void | |
