File tree Expand file tree Collapse file tree 2 files changed +28
-37
lines changed
extensions/ql-vscode/src/model-editor Expand file tree Collapse file tree 2 files changed +28
-37
lines changed Original file line number Diff line number Diff line change 88 "extensions" : {
99 "type" : " array" ,
1010 "items" : {
11- "$ref" : " #/definitions/ModelExtension"
11+ "type" : " object" ,
12+ "properties" : {
13+ "addsTo" : {
14+ "type" : " object" ,
15+ "properties" : {
16+ "pack" : {
17+ "type" : " string"
18+ },
19+ "extensible" : {
20+ "type" : " string"
21+ }
22+ },
23+ "required" : [" pack" , " extensible" ]
24+ },
25+ "data" : {
26+ "type" : " array" ,
27+ "items" : {
28+ "type" : " array" ,
29+ "items" : {
30+ "$ref" : " #/definitions/DataTuple"
31+ }
32+ }
33+ }
34+ },
35+ "required" : [" addsTo" , " data" ]
1236 }
1337 }
1438 },
1539 "required" : [" extensions" ]
1640 },
17- "ModelExtension" : {
18- "type" : " object" ,
19- "properties" : {
20- "addsTo" : {
21- "$ref" : " #/definitions/ExtensibleReference"
22- },
23- "data" : {
24- "type" : " array" ,
25- "items" : {
26- "$ref" : " #/definitions/DataRow"
27- }
28- }
29- },
30- "required" : [" addsTo" , " data" ]
31- },
32- "ExtensibleReference" : {
33- "type" : " object" ,
34- "properties" : {
35- "pack" : {
36- "type" : " string"
37- },
38- "extensible" : {
39- "type" : " string"
40- }
41- },
42- "required" : [" pack" , " extensible" ]
43- },
44- "DataRow" : {
45- "type" : " array" ,
46- "items" : {
47- "$ref" : " #/definitions/DataTuple"
48- }
49- },
5041 "DataTuple" : {
5142 "type" : [" boolean" , " number" , " string" ]
5243 }
Original file line number Diff line number Diff line change 1- export type ExtensibleReference = {
1+ type ExtensibleReference = {
22 pack : string ;
33 extensible : string ;
44} ;
55
66export type DataTuple = boolean | number | string ;
77
8- export type DataRow = DataTuple [ ] ;
8+ type DataRow = DataTuple [ ] ;
99
10- export type ModelExtension = {
10+ type ModelExtension = {
1111 addsTo : ExtensibleReference ;
1212 data : DataRow [ ] ;
1313} ;
You can’t perform that action at this time.
0 commit comments