File tree Expand file tree Collapse file tree 1 file changed +30
-4
lines changed Expand file tree Collapse file tree 1 file changed +30
-4
lines changed Original file line number Diff line number Diff line change @@ -5,12 +5,38 @@ interface IParameters {
55 module : string ;
66}
77
8+ interface ITypeInfo {
9+ name : string ;
10+ kind : string ;
11+ signature : string ;
12+ spec : string ;
13+ doc ?: string ;
14+ }
15+
16+ interface ISpecInfo {
17+ name : string ;
18+ specs : string ;
19+ doc ?: string ;
20+ }
21+
22+ interface ICallbackInfo {
23+ name : string ;
24+ specs : string ;
25+ doc ?: string ;
26+ }
27+
28+ interface IDialyzerContract {
29+ name : string ;
30+ line : number ;
31+ contract : string ;
32+ }
33+
834interface ITypeInfoResult {
935 module ?: string ;
10- types ?: unknown [ ] ;
11- specs ?: unknown [ ] ;
12- callbacks ?: unknown [ ] ;
13- dialyzer_contracts ?: unknown [ ] ;
36+ types ?: ITypeInfo [ ] ;
37+ specs ?: ISpecInfo [ ] ;
38+ callbacks ?: ICallbackInfo [ ] ;
39+ dialyzer_contracts ?: IDialyzerContract [ ] ;
1440 error ?: string ;
1541}
1642
You can’t perform that action at this time.
0 commit comments