index
@gooi/language-server / contracts/diagnostics-contracts
contracts/diagnostics-contracts
Type Aliases
| Type Alias | Description |
|---|---|
| AuthoringDiagnosticsRequest | Parsed diagnostics request. |
| AuthoringGuardScenarioDiagnosticCode | Parsed guard/scenario diagnostic code. |
| AuthoringReachabilityDiagnosticCode | Parsed reachability/delegation diagnostic code. |
Variables
| Variable | Description |
|---|---|
| authoringDiagnosticsRequestSchema | Diagnostics request contract for authoring read-path diagnostics generation. |
| authoringGuardScenarioDiagnosticCodeSchema | Guard/scenario diagnostic codes. |
| authoringReachabilityDiagnosticCodeSchema | Reachability/delegation diagnostic codes. |
| reachabilityQuickFixContractRefs | Contract references used by reachability quick-fix payloads. |