11// Code generated by 'guts'. DO NOT EDIT.
22
3- // From web/diagnostic.go
4- export interface Diagnostic {
5- readonly severity : DiagnosticSeverity ;
6- readonly summary : string ;
7- readonly detail : string ;
8- }
3+ // From types/diagnostics.go
4+ export type DiagnosticSeverityString = "error" | "warning" ;
95
10- // From web/diagnostic.go
11- export type DiagnosticSeverity = "error" | "warning" ;
6+ export const DiagnosticSeverityStrings : DiagnosticSeverityString [ ] = [ "error" , "warning" ] ;
127
13- export const DiagnosticSeveritys : DiagnosticSeverity [ ] = [ "error" , "warning" ] ;
8+ // From types/diagnostics.go
9+ export type Diagnostics = readonly ( FriendlyDiagnostic ) [ ] ;
1410
15- // From web/diagnostic.go
16- export type Diagnostics = readonly Diagnostic [ ] ;
11+ // From types/diagnostics.go
12+ export interface FriendlyDiagnostic {
13+ readonly severity : DiagnosticSeverityString ;
14+ readonly summary : string ;
15+ readonly detail : string ;
16+ }
1717
1818// From types/parameter.go
1919export interface Parameter extends RichParameter {
2020 readonly value : string ;
21+ readonly diagnostics : Diagnostics ;
2122}
2223
2324// From types/parameter.go
@@ -44,12 +45,13 @@ export interface ParameterValidation {
4445
4546// From web/session.go
4647export interface Request {
47- readonly ID : number ;
48- readonly Inputs : Record < string , string > ;
48+ readonly id : number ;
49+ readonly inputs : Record < string , string > ;
4950}
5051
5152// From web/session.go
5253export interface Response {
54+ readonly id : number ;
5355 readonly diagnostics : Diagnostics ;
5456 readonly parameters : readonly Parameter [ ] ;
5557}
0 commit comments