@cssints/apg-specs 0.0.0-stage → 0.5.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (260) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +65 -2
  3. package/dist/apg/accordion.bridge.d.mts +35 -0
  4. package/dist/apg/accordion.bridge.mjs +326 -0
  5. package/dist/apg/accordion.model.json +8397 -0
  6. package/dist/apg/alert.bridge.d.mts +22 -0
  7. package/dist/apg/alert.bridge.mjs +86 -0
  8. package/dist/apg/alert.model.json +871 -0
  9. package/dist/apg/alertdialog.bridge.d.mts +21 -0
  10. package/dist/apg/alertdialog.bridge.mjs +221 -0
  11. package/dist/apg/alertdialog.model.json +5232 -0
  12. package/dist/apg/breadcrumb.bridge.d.mts +26 -0
  13. package/dist/apg/breadcrumb.bridge.mjs +120 -0
  14. package/dist/apg/breadcrumb.model.json +574 -0
  15. package/dist/apg/button.bridge.d.mts +35 -0
  16. package/dist/apg/button.bridge.mjs +208 -0
  17. package/dist/apg/button.model.json +5814 -0
  18. package/dist/apg/carousel.bridge.d.mts +44 -0
  19. package/dist/apg/carousel.bridge.mjs +262 -0
  20. package/dist/apg/carousel.model.json +8963 -0
  21. package/dist/apg/checkbox-group.bridge.d.mts +25 -0
  22. package/dist/apg/checkbox-group.bridge.mjs +276 -0
  23. package/dist/apg/checkbox-group.model.json +3863 -0
  24. package/dist/apg/checkbox.bridge.d.mts +34 -0
  25. package/dist/apg/checkbox.bridge.mjs +253 -0
  26. package/dist/apg/checkbox.model.json +3158 -0
  27. package/dist/apg/combobox-autocomplete.bridge.d.mts +14 -0
  28. package/dist/apg/combobox-autocomplete.bridge.mjs +326 -0
  29. package/dist/apg/combobox-autocomplete.model.json +11586 -0
  30. package/dist/apg/combobox-dialog.bridge.d.mts +17 -0
  31. package/dist/apg/combobox-dialog.bridge.mjs +250 -0
  32. package/dist/apg/combobox-dialog.model.json +8981 -0
  33. package/dist/apg/combobox-grid.bridge.d.mts +17 -0
  34. package/dist/apg/combobox-grid.bridge.mjs +227 -0
  35. package/dist/apg/combobox-grid.model.json +8554 -0
  36. package/dist/apg/combobox-select-only.bridge.d.mts +24 -0
  37. package/dist/apg/combobox-select-only.bridge.mjs +304 -0
  38. package/dist/apg/combobox-select-only.model.json +7846 -0
  39. package/dist/apg/combobox-tree.bridge.d.mts +17 -0
  40. package/dist/apg/combobox-tree.bridge.mjs +211 -0
  41. package/dist/apg/combobox-tree.model.json +9345 -0
  42. package/dist/apg/dialog-modal.bridge.d.mts +35 -0
  43. package/dist/apg/dialog-modal.bridge.mjs +186 -0
  44. package/dist/apg/dialog-modal.model.json +7580 -0
  45. package/dist/apg/disclosure.bridge.d.mts +25 -0
  46. package/dist/apg/disclosure.bridge.mjs +202 -0
  47. package/dist/apg/disclosure.model.json +4703 -0
  48. package/dist/apg/feed.bridge.d.mts +31 -0
  49. package/dist/apg/feed.bridge.mjs +246 -0
  50. package/dist/apg/feed.model.json +4523 -0
  51. package/dist/apg/grid-selection.bridge.d.mts +13 -0
  52. package/dist/apg/grid-selection.bridge.mjs +160 -0
  53. package/dist/apg/grid-selection.model.json +6974 -0
  54. package/dist/apg/grid-sort.bridge.d.mts +12 -0
  55. package/dist/apg/grid-sort.bridge.mjs +138 -0
  56. package/dist/apg/grid-sort.model.json +3799 -0
  57. package/dist/apg/grid.bridge.d.mts +54 -0
  58. package/dist/apg/grid.bridge.mjs +441 -0
  59. package/dist/apg/grid.model.json +3802 -0
  60. package/dist/apg/link.bridge.d.mts +24 -0
  61. package/dist/apg/link.bridge.mjs +126 -0
  62. package/dist/apg/link.model.json +694 -0
  63. package/dist/apg/listbox-multi.bridge.d.mts +10 -0
  64. package/dist/apg/listbox-multi.bridge.mjs +261 -0
  65. package/dist/apg/listbox-multi.model.json +10893 -0
  66. package/dist/apg/listbox-rearrangeable.bridge.d.mts +20 -0
  67. package/dist/apg/listbox-rearrangeable.bridge.mjs +237 -0
  68. package/dist/apg/listbox-rearrangeable.model.json +17592 -0
  69. package/dist/apg/listbox-shared.d.mts +58 -0
  70. package/dist/apg/listbox-shared.mjs +171 -0
  71. package/dist/apg/listbox-single.bridge.d.mts +10 -0
  72. package/dist/apg/listbox-single.bridge.mjs +196 -0
  73. package/dist/apg/listbox-single.model.json +8024 -0
  74. package/dist/apg/listbox-typeahead.bridge.d.mts +10 -0
  75. package/dist/apg/listbox-typeahead.bridge.mjs +153 -0
  76. package/dist/apg/listbox-typeahead.model.json +5615 -0
  77. package/dist/apg/menu-button.bridge.d.mts +29 -0
  78. package/dist/apg/menu-button.bridge.mjs +259 -0
  79. package/dist/apg/menu-button.model.json +5706 -0
  80. package/dist/apg/menu-checkable.bridge.d.mts +25 -0
  81. package/dist/apg/menu-checkable.bridge.mjs +226 -0
  82. package/dist/apg/menu-checkable.model.json +4277 -0
  83. package/dist/apg/menu-menubar.bridge.d.mts +27 -0
  84. package/dist/apg/menu-menubar.bridge.mjs +273 -0
  85. package/dist/apg/menu-menubar.model.json +9540 -0
  86. package/dist/apg/meter.bridge.d.mts +28 -0
  87. package/dist/apg/meter.bridge.mjs +159 -0
  88. package/dist/apg/meter.model.json +1185 -0
  89. package/dist/apg/player.bridge.d.mts +24 -0
  90. package/dist/apg/player.bridge.mjs +342 -0
  91. package/dist/apg/player.model.json +11013 -0
  92. package/dist/apg/radio.bridge.d.mts +35 -0
  93. package/dist/apg/radio.bridge.mjs +371 -0
  94. package/dist/apg/radio.model.json +5011 -0
  95. package/dist/apg/slider-multithumb.bridge.d.mts +34 -0
  96. package/dist/apg/slider-multithumb.bridge.mjs +365 -0
  97. package/dist/apg/slider-multithumb.model.json +5774 -0
  98. package/dist/apg/slider.bridge.d.mts +54 -0
  99. package/dist/apg/slider.bridge.mjs +359 -0
  100. package/dist/apg/slider.model.json +4881 -0
  101. package/dist/apg/spinbutton.bridge.d.mts +41 -0
  102. package/dist/apg/spinbutton.bridge.mjs +327 -0
  103. package/dist/apg/spinbutton.model.json +7571 -0
  104. package/dist/apg/switch.bridge.d.mts +30 -0
  105. package/dist/apg/switch.bridge.mjs +243 -0
  106. package/dist/apg/switch.model.json +3159 -0
  107. package/dist/apg/tabs.bridge.d.mts +41 -0
  108. package/dist/apg/tabs.bridge.mjs +294 -0
  109. package/dist/apg/tabs.model.json +7659 -0
  110. package/dist/apg/timeline.bridge.d.mts +36 -0
  111. package/dist/apg/timeline.bridge.mjs +265 -0
  112. package/dist/apg/timeline.model.json +6189 -0
  113. package/dist/apg/toolbar.bridge.d.mts +25 -0
  114. package/dist/apg/toolbar.bridge.mjs +307 -0
  115. package/dist/apg/toolbar.model.json +6616 -0
  116. package/dist/apg/tooltip.bridge.d.mts +36 -0
  117. package/dist/apg/tooltip.bridge.mjs +208 -0
  118. package/dist/apg/tooltip.model.json +8295 -0
  119. package/dist/apg/treegrid.bridge.d.mts +28 -0
  120. package/dist/apg/treegrid.bridge.mjs +311 -0
  121. package/dist/apg/treegrid.model.json +17358 -0
  122. package/dist/apg/treeview.bridge.d.mts +26 -0
  123. package/dist/apg/treeview.bridge.mjs +396 -0
  124. package/dist/apg/treeview.model.json +13745 -0
  125. package/dist/apg/windowsplitter.bridge.d.mts +36 -0
  126. package/dist/apg/windowsplitter.bridge.mjs +242 -0
  127. package/dist/apg/windowsplitter.model.json +6253 -0
  128. package/dist/canvas/camera.model.json +6568 -0
  129. package/dist/canvas/canvas.bridge.d.mts +190 -0
  130. package/dist/canvas/canvas.bridge.mjs +729 -0
  131. package/dist/canvas/pointer.model.json +17095 -0
  132. package/dist/scenario.d.mts +233 -0
  133. package/dist/scenario.mjs +313 -0
  134. package/package.json +57 -4
  135. package/scenarios/apg/README.md +221 -0
  136. package/scenarios/apg/accordion.base-ui.json +1005 -0
  137. package/scenarios/apg/accordion.react-aria.json +929 -0
  138. package/scenarios/apg/alert.base-ui.json +81 -0
  139. package/scenarios/apg/alert.react-aria.json +98 -0
  140. package/scenarios/apg/alertdialog.base-ui.json +331 -0
  141. package/scenarios/apg/alertdialog.react-aria.json +225 -0
  142. package/scenarios/apg/breadcrumb.react-aria.json +312 -0
  143. package/scenarios/apg/button.ariakit.json +136 -0
  144. package/scenarios/apg/button.base-ui.json +747 -0
  145. package/scenarios/apg/button.react-aria.json +443 -0
  146. package/scenarios/apg/carousel.apg.json +909 -0
  147. package/scenarios/apg/checkbox.ariakit.json +299 -0
  148. package/scenarios/apg/checkbox.base-ui.json +1126 -0
  149. package/scenarios/apg/checkbox.react-aria.json +518 -0
  150. package/scenarios/apg/combobox.ariakit.json +945 -0
  151. package/scenarios/apg/combobox.base-ui.json +2444 -0
  152. package/scenarios/apg/combobox.react-aria.json +845 -0
  153. package/scenarios/apg/dialog-modal.ariakit.json +1102 -0
  154. package/scenarios/apg/dialog-modal.base-ui.json +775 -0
  155. package/scenarios/apg/dialog-modal.react-aria.json +638 -0
  156. package/scenarios/apg/disclosure.apg.json +349 -0
  157. package/scenarios/apg/disclosure.ariakit.json +163 -0
  158. package/scenarios/apg/disclosure.base-ui.json +451 -0
  159. package/scenarios/apg/disclosure.react-aria.json +643 -0
  160. package/scenarios/apg/feed.apg.json +442 -0
  161. package/scenarios/apg/grid.ariakit.json +197 -0
  162. package/scenarios/apg/grid.base-ui.json +720 -0
  163. package/scenarios/apg/grid.react-aria.json +969 -0
  164. package/scenarios/apg/landmarks.ariakit.json +93 -0
  165. package/scenarios/apg/landmarks.react-aria.json +330 -0
  166. package/scenarios/apg/link.ariakit.json +83 -0
  167. package/scenarios/apg/link.base-ui.json +88 -0
  168. package/scenarios/apg/link.react-aria.json +186 -0
  169. package/scenarios/apg/listbox.ariakit.json +78 -0
  170. package/scenarios/apg/listbox.base-ui.json +163 -0
  171. package/scenarios/apg/listbox.react-aria.json +1118 -0
  172. package/scenarios/apg/menu-button.ariakit.json +924 -0
  173. package/scenarios/apg/menu-button.base-ui.json +1155 -0
  174. package/scenarios/apg/menu-button.react-aria.json +1080 -0
  175. package/scenarios/apg/menubar.ariakit.json +758 -0
  176. package/scenarios/apg/menubar.base-ui.json +673 -0
  177. package/scenarios/apg/meter.base-ui.json +243 -0
  178. package/scenarios/apg/meter.react-aria.json +201 -0
  179. package/scenarios/apg/radio.ariakit.json +459 -0
  180. package/scenarios/apg/radio.base-ui.json +581 -0
  181. package/scenarios/apg/radio.react-aria.json +576 -0
  182. package/scenarios/apg/slider-multithumb.base-ui.json +316 -0
  183. package/scenarios/apg/slider-multithumb.react-aria.json +363 -0
  184. package/scenarios/apg/slider.base-ui.json +544 -0
  185. package/scenarios/apg/slider.react-aria.json +456 -0
  186. package/scenarios/apg/spinbutton.base-ui.json +1688 -0
  187. package/scenarios/apg/spinbutton.react-aria.json +426 -0
  188. package/scenarios/apg/switch.base-ui.json +456 -0
  189. package/scenarios/apg/switch.react-aria.json +303 -0
  190. package/scenarios/apg/table.ariakit.json +65 -0
  191. package/scenarios/apg/table.react-aria.json +221 -0
  192. package/scenarios/apg/tabs.ariakit.json +329 -0
  193. package/scenarios/apg/tabs.base-ui.json +875 -0
  194. package/scenarios/apg/tabs.react-aria.json +644 -0
  195. package/scenarios/apg/toolbar.ariakit.json +595 -0
  196. package/scenarios/apg/toolbar.base-ui.json +1189 -0
  197. package/scenarios/apg/toolbar.react-aria.json +383 -0
  198. package/scenarios/apg/tooltip.ariakit.json +441 -0
  199. package/scenarios/apg/tooltip.base-ui.json +411 -0
  200. package/scenarios/apg/tooltip.react-aria.json +454 -0
  201. package/scenarios/apg/treegrid.apg.json +2558 -0
  202. package/scenarios/apg/treegrid.react-aria.json +5094 -0
  203. package/scenarios/apg/treeview.apg.json +928 -0
  204. package/scenarios/apg/windowsplitter.apg.json +557 -0
  205. package/scenarios/canvas/README.md +69 -0
  206. package/scenarios/canvas/camera.contract.json +237 -0
  207. package/scenarios/canvas/camera.excalidraw.json +57 -0
  208. package/scenarios/canvas/marquee.excalidraw.json +122 -0
  209. package/scenarios/canvas/pan.excalidraw.json +46 -0
  210. package/scenarios/canvas/pointer.contract.json +528 -0
  211. package/scenarios/parts.json +291 -0
  212. package/shared/aria.qnt +186 -0
  213. package/shared/details-group.qnt +50 -0
  214. package/shared/focusgroup.qnt +152 -0
  215. package/shared/invokers.qnt +81 -0
  216. package/shared/popover.qnt +71 -0
  217. package/specs/apg/STATIC.md +103 -0
  218. package/specs/apg/accordion.qnt +578 -0
  219. package/specs/apg/alert.qnt +131 -0
  220. package/specs/apg/alertdialog.qnt +455 -0
  221. package/specs/apg/breadcrumb.qnt +88 -0
  222. package/specs/apg/button.qnt +445 -0
  223. package/specs/apg/carousel.qnt +732 -0
  224. package/specs/apg/checkbox-group.qnt +388 -0
  225. package/specs/apg/checkbox.qnt +394 -0
  226. package/specs/apg/combobox-autocomplete.qnt +764 -0
  227. package/specs/apg/combobox-dialog.qnt +627 -0
  228. package/specs/apg/combobox-grid.qnt +632 -0
  229. package/specs/apg/combobox-select-only.qnt +626 -0
  230. package/specs/apg/combobox-tree.qnt +633 -0
  231. package/specs/apg/dialog-modal.qnt +499 -0
  232. package/specs/apg/disclosure.qnt +309 -0
  233. package/specs/apg/feed.qnt +485 -0
  234. package/specs/apg/grid-selection.qnt +512 -0
  235. package/specs/apg/grid-sort.qnt +330 -0
  236. package/specs/apg/grid.qnt +360 -0
  237. package/specs/apg/link.qnt +119 -0
  238. package/specs/apg/listbox-multi.qnt +799 -0
  239. package/specs/apg/listbox-rearrangeable.qnt +801 -0
  240. package/specs/apg/listbox-single.qnt +511 -0
  241. package/specs/apg/listbox-typeahead.qnt +396 -0
  242. package/specs/apg/menu-button.qnt +363 -0
  243. package/specs/apg/menu-checkable.qnt +304 -0
  244. package/specs/apg/menu-menubar.qnt +531 -0
  245. package/specs/apg/meter.qnt +129 -0
  246. package/specs/apg/player.qnt +1081 -0
  247. package/specs/apg/radio.qnt +394 -0
  248. package/specs/apg/slider-multithumb.qnt +441 -0
  249. package/specs/apg/slider.qnt +396 -0
  250. package/specs/apg/spinbutton.qnt +494 -0
  251. package/specs/apg/switch.qnt +389 -0
  252. package/specs/apg/tabs.qnt +412 -0
  253. package/specs/apg/timeline.qnt +612 -0
  254. package/specs/apg/toolbar.qnt +364 -0
  255. package/specs/apg/tooltip.qnt +553 -0
  256. package/specs/apg/treegrid.qnt +983 -0
  257. package/specs/apg/treeview.qnt +1004 -0
  258. package/specs/apg/windowsplitter.qnt +487 -0
  259. package/specs/canvas/camera.qnt +407 -0
  260. package/specs/canvas/pointer.qnt +841 -0
package/dist/apg/grid-sort.model.json ADDED
@@ -0,0 +1,3799 @@
1
+ {
2
+ "generatedFrom": "../../specs/apg/grid-sort.qnt",
3
+ "specHash": "7eb54bc15e1626f46fc0a3f7f3fdeb3d02794028374a29ae04ee0715893d6b6a",
4
+ "module": "apg_grid_sort",
5
+ "vars": [
6
+ {
7
+ "name": "headerCol",
8
+ "type": "int"
9
+ },
10
+ {
11
+ "name": "hasFocus",
12
+ "type": "bool"
13
+ },
14
+ {
15
+ "name": "sortEnabled",
16
+ "type": "bool"
17
+ },
18
+ {
19
+ "name": "sortCol",
20
+ "type": "int"
21
+ },
22
+ {
23
+ "name": "sortDir",
24
+ "type": "str"
25
+ },
26
+ {
27
+ "name": "controlled",
28
+ "type": "bool"
29
+ },
30
+ {
31
+ "name": "accepting",
32
+ "type": "bool"
33
+ },
34
+ {
35
+ "name": "valueProp",
36
+ "type": "int"
37
+ },
38
+ {
39
+ "name": "requested",
40
+ "type": "int"
41
+ },
42
+ {
43
+ "name": "outcome",
44
+ "type": "str"
45
+ },
46
+ {
47
+ "name": "base",
48
+ "type": "int"
49
+ },
50
+ {
51
+ "name": "requests",
52
+ "type": "int"
53
+ }
54
+ ],
55
+ "defs": {
56
+ "COLS": {
57
+ "kind": "function",
58
+ "params": [],
59
+ "body": {
60
+ "kind": "int",
61
+ "value": "3"
62
+ }
63
+ },
64
+ "LAST_COL": {
65
+ "kind": "function",
66
+ "params": [],
67
+ "body": {
68
+ "kind": "app",
69
+ "opcode": "isub",
70
+ "args": [
71
+ {
72
+ "kind": "name",
73
+ "name": "COLS"
74
+ },
75
+ {
76
+ "kind": "int",
77
+ "value": "1"
78
+ }
79
+ ]
80
+ }
81
+ },
82
+ "sortable": {
83
+ "kind": "function",
84
+ "params": [
85
+ "c"
86
+ ],
87
+ "body": {
88
+ "kind": "app",
89
+ "opcode": "neq",
90
+ "args": [
91
+ {
92
+ "kind": "name",
93
+ "name": "c"
94
+ },
95
+ {
96
+ "kind": "int",
97
+ "value": "1"
98
+ }
99
+ ]
100
+ }
101
+ },
102
+ "ariaSort": {
103
+ "kind": "function",
104
+ "params": [
105
+ "c"
106
+ ],
107
+ "body": {
108
+ "kind": "app",
109
+ "opcode": "ite",
110
+ "args": [
111
+ {
112
+ "kind": "app",
113
+ "opcode": "not",
114
+ "args": [
115
+ {
116
+ "kind": "app",
117
+ "opcode": "and",
118
+ "args": [
119
+ {
120
+ "kind": "name",
121
+ "name": "sortEnabled"
122
+ },
123
+ {
124
+ "kind": "app",
125
+ "opcode": "sortable",
126
+ "args": [
127
+ {
128
+ "kind": "name",
129
+ "name": "c"
130
+ }
131
+ ]
132
+ }
133
+ ]
134
+ }
135
+ ]
136
+ },
137
+ {
138
+ "kind": "str",
139
+ "value": "absent"
140
+ },
141
+ {
142
+ "kind": "app",
143
+ "opcode": "ite",
144
+ "args": [
145
+ {
146
+ "kind": "app",
147
+ "opcode": "eq",
148
+ "args": [
149
+ {
150
+ "kind": "name",
151
+ "name": "c"
152
+ },
153
+ {
154
+ "kind": "name",
155
+ "name": "sortCol"
156
+ }
157
+ ]
158
+ },
159
+ {
160
+ "kind": "name",
161
+ "name": "sortDir"
162
+ },
163
+ {
164
+ "kind": "str",
165
+ "value": "none"
166
+ }
167
+ ]
168
+ }
169
+ ]
170
+ }
171
+ },
172
+ "headerTabindex": {
173
+ "kind": "function",
174
+ "params": [
175
+ "c"
176
+ ],
177
+ "body": {
178
+ "kind": "app",
179
+ "opcode": "ite",
180
+ "args": [
181
+ {
182
+ "kind": "app",
183
+ "opcode": "eq",
184
+ "args": [
185
+ {
186
+ "kind": "name",
187
+ "name": "c"
188
+ },
189
+ {
190
+ "kind": "name",
191
+ "name": "headerCol"
192
+ }
193
+ ]
194
+ },
195
+ {
196
+ "kind": "int",
197
+ "value": "0"
198
+ },
199
+ {
200
+ "kind": "app",
201
+ "opcode": "iuminus",
202
+ "args": [
203
+ {
204
+ "kind": "int",
205
+ "value": "1"
206
+ }
207
+ ]
208
+ }
209
+ ]
210
+ }
211
+ },
212
+ "isSortedHeader": {
213
+ "kind": "function",
214
+ "params": [
215
+ "c"
216
+ ],
217
+ "body": {
218
+ "kind": "app",
219
+ "opcode": "or",
220
+ "args": [
221
+ {
222
+ "kind": "app",
223
+ "opcode": "eq",
224
+ "args": [
225
+ {
226
+ "kind": "app",
227
+ "opcode": "ariaSort",
228
+ "args": [
229
+ {
230
+ "kind": "name",
231
+ "name": "c"
232
+ }
233
+ ]
234
+ },
235
+ {
236
+ "kind": "str",
237
+ "value": "ascending"
238
+ }
239
+ ]
240
+ },
241
+ {
242
+ "kind": "app",
243
+ "opcode": "eq",
244
+ "args": [
245
+ {
246
+ "kind": "app",
247
+ "opcode": "ariaSort",
248
+ "args": [
249
+ {
250
+ "kind": "name",
251
+ "name": "c"
252
+ }
253
+ ]
254
+ },
255
+ {
256
+ "kind": "str",
257
+ "value": "descending"
258
+ }
259
+ ]
260
+ }
261
+ ]
262
+ }
263
+ },
264
+ "sortedHeaders": {
265
+ "kind": "function",
266
+ "params": [],
267
+ "body": {
268
+ "kind": "app",
269
+ "opcode": "iadd",
270
+ "args": [
271
+ {
272
+ "kind": "app",
273
+ "opcode": "iadd",
274
+ "args": [
275
+ {
276
+ "kind": "app",
277
+ "opcode": "ite",
278
+ "args": [
279
+ {
280
+ "kind": "app",
281
+ "opcode": "isSortedHeader",
282
+ "args": [
283
+ {
284
+ "kind": "int",
285
+ "value": "0"
286
+ }
287
+ ]
288
+ },
289
+ {
290
+ "kind": "int",
291
+ "value": "1"
292
+ },
293
+ {
294
+ "kind": "int",
295
+ "value": "0"
296
+ }
297
+ ]
298
+ },
299
+ {
300
+ "kind": "app",
301
+ "opcode": "ite",
302
+ "args": [
303
+ {
304
+ "kind": "app",
305
+ "opcode": "isSortedHeader",
306
+ "args": [
307
+ {
308
+ "kind": "int",
309
+ "value": "1"
310
+ }
311
+ ]
312
+ },
313
+ {
314
+ "kind": "int",
315
+ "value": "1"
316
+ },
317
+ {
318
+ "kind": "int",
319
+ "value": "0"
320
+ }
321
+ ]
322
+ }
323
+ ]
324
+ },
325
+ {
326
+ "kind": "app",
327
+ "opcode": "ite",
328
+ "args": [
329
+ {
330
+ "kind": "app",
331
+ "opcode": "isSortedHeader",
332
+ "args": [
333
+ {
334
+ "kind": "int",
335
+ "value": "2"
336
+ }
337
+ ]
338
+ },
339
+ {
340
+ "kind": "int",
341
+ "value": "1"
342
+ },
343
+ {
344
+ "kind": "int",
345
+ "value": "0"
346
+ }
347
+ ]
348
+ }
349
+ ]
350
+ }
351
+ },
352
+ "headerTabStops": {
353
+ "kind": "function",
354
+ "params": [],
355
+ "body": {
356
+ "kind": "app",
357
+ "opcode": "iadd",
358
+ "args": [
359
+ {
360
+ "kind": "app",
361
+ "opcode": "iadd",
362
+ "args": [
363
+ {
364
+ "kind": "app",
365
+ "opcode": "ite",
366
+ "args": [
367
+ {
368
+ "kind": "app",
369
+ "opcode": "eq",
370
+ "args": [
371
+ {
372
+ "kind": "app",
373
+ "opcode": "headerTabindex",
374
+ "args": [
375
+ {
376
+ "kind": "int",
377
+ "value": "0"
378
+ }
379
+ ]
380
+ },
381
+ {
382
+ "kind": "int",
383
+ "value": "0"
384
+ }
385
+ ]
386
+ },
387
+ {
388
+ "kind": "int",
389
+ "value": "1"
390
+ },
391
+ {
392
+ "kind": "int",
393
+ "value": "0"
394
+ }
395
+ ]
396
+ },
397
+ {
398
+ "kind": "app",
399
+ "opcode": "ite",
400
+ "args": [
401
+ {
402
+ "kind": "app",
403
+ "opcode": "eq",
404
+ "args": [
405
+ {
406
+ "kind": "app",
407
+ "opcode": "headerTabindex",
408
+ "args": [
409
+ {
410
+ "kind": "int",
411
+ "value": "1"
412
+ }
413
+ ]
414
+ },
415
+ {
416
+ "kind": "int",
417
+ "value": "0"
418
+ }
419
+ ]
420
+ },
421
+ {
422
+ "kind": "int",
423
+ "value": "1"
424
+ },
425
+ {
426
+ "kind": "int",
427
+ "value": "0"
428
+ }
429
+ ]
430
+ }
431
+ ]
432
+ },
433
+ {
434
+ "kind": "app",
435
+ "opcode": "ite",
436
+ "args": [
437
+ {
438
+ "kind": "app",
439
+ "opcode": "eq",
440
+ "args": [
441
+ {
442
+ "kind": "app",
443
+ "opcode": "headerTabindex",
444
+ "args": [
445
+ {
446
+ "kind": "int",
447
+ "value": "2"
448
+ }
449
+ ]
450
+ },
451
+ {
452
+ "kind": "int",
453
+ "value": "0"
454
+ }
455
+ ]
456
+ },
457
+ {
458
+ "kind": "int",
459
+ "value": "1"
460
+ },
461
+ {
462
+ "kind": "int",
463
+ "value": "0"
464
+ }
465
+ ]
466
+ }
467
+ ]
468
+ }
469
+ },
470
+ "sorts": {
471
+ "kind": "function",
472
+ "params": [
473
+ "c"
474
+ ],
475
+ "body": {
476
+ "kind": "app",
477
+ "opcode": "and",
478
+ "args": [
479
+ {
480
+ "kind": "name",
481
+ "name": "sortEnabled"
482
+ },
483
+ {
484
+ "kind": "app",
485
+ "opcode": "sortable",
486
+ "args": [
487
+ {
488
+ "kind": "name",
489
+ "name": "c"
490
+ }
491
+ ]
492
+ }
493
+ ]
494
+ }
495
+ },
496
+ "nextDir": {
497
+ "kind": "function",
498
+ "params": [
499
+ "c"
500
+ ],
501
+ "body": {
502
+ "kind": "app",
503
+ "opcode": "ite",
504
+ "args": [
505
+ {
506
+ "kind": "app",
507
+ "opcode": "and",
508
+ "args": [
509
+ {
510
+ "kind": "app",
511
+ "opcode": "eq",
512
+ "args": [
513
+ {
514
+ "kind": "name",
515
+ "name": "c"
516
+ },
517
+ {
518
+ "kind": "name",
519
+ "name": "sortCol"
520
+ }
521
+ ]
522
+ },
523
+ {
524
+ "kind": "app",
525
+ "opcode": "eq",
526
+ "args": [
527
+ {
528
+ "kind": "name",
529
+ "name": "sortDir"
530
+ },
531
+ {
532
+ "kind": "str",
533
+ "value": "ascending"
534
+ }
535
+ ]
536
+ }
537
+ ]
538
+ },
539
+ {
540
+ "kind": "str",
541
+ "value": "descending"
542
+ },
543
+ {
544
+ "kind": "str",
545
+ "value": "ascending"
546
+ }
547
+ ]
548
+ }
549
+ },
550
+ "keyCol": {
551
+ "kind": "function",
552
+ "params": [
553
+ "k"
554
+ ],
555
+ "body": {
556
+ "kind": "app",
557
+ "opcode": "ite",
558
+ "args": [
559
+ {
560
+ "kind": "app",
561
+ "opcode": "eq",
562
+ "args": [
563
+ {
564
+ "kind": "name",
565
+ "name": "k"
566
+ },
567
+ {
568
+ "kind": "str",
569
+ "value": "ArrowRight"
570
+ }
571
+ ]
572
+ },
573
+ {
574
+ "kind": "app",
575
+ "opcode": "ite",
576
+ "args": [
577
+ {
578
+ "kind": "app",
579
+ "opcode": "ilt",
580
+ "args": [
581
+ {
582
+ "kind": "name",
583
+ "name": "headerCol"
584
+ },
585
+ {
586
+ "kind": "name",
587
+ "name": "LAST_COL"
588
+ }
589
+ ]
590
+ },
591
+ {
592
+ "kind": "app",
593
+ "opcode": "iadd",
594
+ "args": [
595
+ {
596
+ "kind": "name",
597
+ "name": "headerCol"
598
+ },
599
+ {
600
+ "kind": "int",
601
+ "value": "1"
602
+ }
603
+ ]
604
+ },
605
+ {
606
+ "kind": "name",
607
+ "name": "headerCol"
608
+ }
609
+ ]
610
+ },
611
+ {
612
+ "kind": "app",
613
+ "opcode": "ite",
614
+ "args": [
615
+ {
616
+ "kind": "app",
617
+ "opcode": "eq",
618
+ "args": [
619
+ {
620
+ "kind": "name",
621
+ "name": "k"
622
+ },
623
+ {
624
+ "kind": "str",
625
+ "value": "ArrowLeft"
626
+ }
627
+ ]
628
+ },
629
+ {
630
+ "kind": "app",
631
+ "opcode": "ite",
632
+ "args": [
633
+ {
634
+ "kind": "app",
635
+ "opcode": "igt",
636
+ "args": [
637
+ {
638
+ "kind": "name",
639
+ "name": "headerCol"
640
+ },
641
+ {
642
+ "kind": "int",
643
+ "value": "0"
644
+ }
645
+ ]
646
+ },
647
+ {
648
+ "kind": "app",
649
+ "opcode": "isub",
650
+ "args": [
651
+ {
652
+ "kind": "name",
653
+ "name": "headerCol"
654
+ },
655
+ {
656
+ "kind": "int",
657
+ "value": "1"
658
+ }
659
+ ]
660
+ },
661
+ {
662
+ "kind": "name",
663
+ "name": "headerCol"
664
+ }
665
+ ]
666
+ },
667
+ {
668
+ "kind": "app",
669
+ "opcode": "ite",
670
+ "args": [
671
+ {
672
+ "kind": "app",
673
+ "opcode": "eq",
674
+ "args": [
675
+ {
676
+ "kind": "name",
677
+ "name": "k"
678
+ },
679
+ {
680
+ "kind": "str",
681
+ "value": "Home"
682
+ }
683
+ ]
684
+ },
685
+ {
686
+ "kind": "int",
687
+ "value": "0"
688
+ },
689
+ {
690
+ "kind": "app",
691
+ "opcode": "ite",
692
+ "args": [
693
+ {
694
+ "kind": "app",
695
+ "opcode": "eq",
696
+ "args": [
697
+ {
698
+ "kind": "name",
699
+ "name": "k"
700
+ },
701
+ {
702
+ "kind": "str",
703
+ "value": "End"
704
+ }
705
+ ]
706
+ },
707
+ {
708
+ "kind": "name",
709
+ "name": "LAST_COL"
710
+ },
711
+ {
712
+ "kind": "name",
713
+ "name": "headerCol"
714
+ }
715
+ ]
716
+ }
717
+ ]
718
+ }
719
+ ]
720
+ }
721
+ ]
722
+ }
723
+ },
724
+ "activates": {
725
+ "kind": "function",
726
+ "params": [
727
+ "k"
728
+ ],
729
+ "body": {
730
+ "kind": "app",
731
+ "opcode": "and",
732
+ "args": [
733
+ {
734
+ "kind": "name",
735
+ "name": "hasFocus"
736
+ },
737
+ {
738
+ "kind": "app",
739
+ "opcode": "or",
740
+ "args": [
741
+ {
742
+ "kind": "app",
743
+ "opcode": "eq",
744
+ "args": [
745
+ {
746
+ "kind": "name",
747
+ "name": "k"
748
+ },
749
+ {
750
+ "kind": "str",
751
+ "value": "Enter"
752
+ }
753
+ ]
754
+ },
755
+ {
756
+ "kind": "app",
757
+ "opcode": "eq",
758
+ "args": [
759
+ {
760
+ "kind": "name",
761
+ "name": "k"
762
+ },
763
+ {
764
+ "kind": "str",
765
+ "value": "Space"
766
+ }
767
+ ]
768
+ }
769
+ ]
770
+ },
771
+ {
772
+ "kind": "app",
773
+ "opcode": "sorts",
774
+ "args": [
775
+ {
776
+ "kind": "name",
777
+ "name": "headerCol"
778
+ }
779
+ ]
780
+ }
781
+ ]
782
+ }
783
+ },
784
+ "moved": {
785
+ "kind": "function",
786
+ "params": [
787
+ "before",
788
+ "after"
789
+ ],
790
+ "body": {
791
+ "kind": "app",
792
+ "opcode": "ite",
793
+ "args": [
794
+ {
795
+ "kind": "app",
796
+ "opcode": "eq",
797
+ "args": [
798
+ {
799
+ "kind": "name",
800
+ "name": "before"
801
+ },
802
+ {
803
+ "kind": "name",
804
+ "name": "after"
805
+ }
806
+ ]
807
+ },
808
+ {
809
+ "kind": "int",
810
+ "value": "0"
811
+ },
812
+ {
813
+ "kind": "int",
814
+ "value": "1"
815
+ }
816
+ ]
817
+ }
818
+ },
819
+ "sortPacked": {
820
+ "kind": "function",
821
+ "params": [
822
+ "c",
823
+ "d"
824
+ ],
825
+ "body": {
826
+ "kind": "app",
827
+ "opcode": "ite",
828
+ "args": [
829
+ {
830
+ "kind": "app",
831
+ "opcode": "eq",
832
+ "args": [
833
+ {
834
+ "kind": "name",
835
+ "name": "c"
836
+ },
837
+ {
838
+ "kind": "app",
839
+ "opcode": "iuminus",
840
+ "args": [
841
+ {
842
+ "kind": "int",
843
+ "value": "1"
844
+ }
845
+ ]
846
+ }
847
+ ]
848
+ },
849
+ {
850
+ "kind": "app",
851
+ "opcode": "iuminus",
852
+ "args": [
853
+ {
854
+ "kind": "int",
855
+ "value": "1"
856
+ }
857
+ ]
858
+ },
859
+ {
860
+ "kind": "app",
861
+ "opcode": "iadd",
862
+ "args": [
863
+ {
864
+ "kind": "app",
865
+ "opcode": "imul",
866
+ "args": [
867
+ {
868
+ "kind": "int",
869
+ "value": "2"
870
+ },
871
+ {
872
+ "kind": "name",
873
+ "name": "c"
874
+ }
875
+ ]
876
+ },
877
+ {
878
+ "kind": "app",
879
+ "opcode": "ite",
880
+ "args": [
881
+ {
882
+ "kind": "app",
883
+ "opcode": "eq",
884
+ "args": [
885
+ {
886
+ "kind": "name",
887
+ "name": "d"
888
+ },
889
+ {
890
+ "kind": "str",
891
+ "value": "descending"
892
+ }
893
+ ]
894
+ },
895
+ {
896
+ "kind": "int",
897
+ "value": "1"
898
+ },
899
+ {
900
+ "kind": "int",
901
+ "value": "0"
902
+ }
903
+ ]
904
+ }
905
+ ]
906
+ }
907
+ ]
908
+ }
909
+ },
910
+ "unpackCol": {
911
+ "kind": "function",
912
+ "params": [
913
+ "v"
914
+ ],
915
+ "body": {
916
+ "kind": "app",
917
+ "opcode": "ite",
918
+ "args": [
919
+ {
920
+ "kind": "app",
921
+ "opcode": "eq",
922
+ "args": [
923
+ {
924
+ "kind": "name",
925
+ "name": "v"
926
+ },
927
+ {
928
+ "kind": "app",
929
+ "opcode": "iuminus",
930
+ "args": [
931
+ {
932
+ "kind": "int",
933
+ "value": "1"
934
+ }
935
+ ]
936
+ }
937
+ ]
938
+ },
939
+ {
940
+ "kind": "app",
941
+ "opcode": "iuminus",
942
+ "args": [
943
+ {
944
+ "kind": "int",
945
+ "value": "1"
946
+ }
947
+ ]
948
+ },
949
+ {
950
+ "kind": "app",
951
+ "opcode": "idiv",
952
+ "args": [
953
+ {
954
+ "kind": "name",
955
+ "name": "v"
956
+ },
957
+ {
958
+ "kind": "int",
959
+ "value": "2"
960
+ }
961
+ ]
962
+ }
963
+ ]
964
+ }
965
+ },
966
+ "unpackDir": {
967
+ "kind": "function",
968
+ "params": [
969
+ "v"
970
+ ],
971
+ "body": {
972
+ "kind": "app",
973
+ "opcode": "ite",
974
+ "args": [
975
+ {
976
+ "kind": "app",
977
+ "opcode": "eq",
978
+ "args": [
979
+ {
980
+ "kind": "name",
981
+ "name": "v"
982
+ },
983
+ {
984
+ "kind": "app",
985
+ "opcode": "iuminus",
986
+ "args": [
987
+ {
988
+ "kind": "int",
989
+ "value": "1"
990
+ }
991
+ ]
992
+ }
993
+ ]
994
+ },
995
+ {
996
+ "kind": "str",
997
+ "value": "none"
998
+ },
999
+ {
1000
+ "kind": "app",
1001
+ "opcode": "ite",
1002
+ "args": [
1003
+ {
1004
+ "kind": "app",
1005
+ "opcode": "eq",
1006
+ "args": [
1007
+ {
1008
+ "kind": "app",
1009
+ "opcode": "imod",
1010
+ "args": [
1011
+ {
1012
+ "kind": "name",
1013
+ "name": "v"
1014
+ },
1015
+ {
1016
+ "kind": "int",
1017
+ "value": "2"
1018
+ }
1019
+ ]
1020
+ },
1021
+ {
1022
+ "kind": "int",
1023
+ "value": "1"
1024
+ }
1025
+ ]
1026
+ },
1027
+ {
1028
+ "kind": "str",
1029
+ "value": "descending"
1030
+ },
1031
+ {
1032
+ "kind": "str",
1033
+ "value": "ascending"
1034
+ }
1035
+ ]
1036
+ }
1037
+ ]
1038
+ }
1039
+ },
1040
+ "nowPacked": {
1041
+ "kind": "function",
1042
+ "params": [],
1043
+ "body": {
1044
+ "kind": "app",
1045
+ "opcode": "sortPacked",
1046
+ "args": [
1047
+ {
1048
+ "kind": "name",
1049
+ "name": "sortCol"
1050
+ },
1051
+ {
1052
+ "kind": "name",
1053
+ "name": "sortDir"
1054
+ }
1055
+ ]
1056
+ }
1057
+ },
1058
+ "holds": {
1059
+ "kind": "function",
1060
+ "params": [],
1061
+ "body": {
1062
+ "kind": "app",
1063
+ "opcode": "and",
1064
+ "args": [
1065
+ {
1066
+ "kind": "name",
1067
+ "name": "controlled"
1068
+ },
1069
+ {
1070
+ "kind": "app",
1071
+ "opcode": "not",
1072
+ "args": [
1073
+ {
1074
+ "kind": "name",
1075
+ "name": "accepting"
1076
+ }
1077
+ ]
1078
+ }
1079
+ ]
1080
+ }
1081
+ },
1082
+ "follows": {
1083
+ "kind": "function",
1084
+ "params": [],
1085
+ "body": {
1086
+ "kind": "app",
1087
+ "opcode": "and",
1088
+ "args": [
1089
+ {
1090
+ "kind": "name",
1091
+ "name": "controlled"
1092
+ },
1093
+ {
1094
+ "kind": "name",
1095
+ "name": "accepting"
1096
+ }
1097
+ ]
1098
+ }
1099
+ },
1100
+ "verdict": {
1101
+ "kind": "function",
1102
+ "params": [],
1103
+ "body": {
1104
+ "kind": "app",
1105
+ "opcode": "ite",
1106
+ "args": [
1107
+ {
1108
+ "kind": "name",
1109
+ "name": "holds"
1110
+ },
1111
+ {
1112
+ "kind": "str",
1113
+ "value": "rejected"
1114
+ },
1115
+ {
1116
+ "kind": "str",
1117
+ "value": "accepted"
1118
+ }
1119
+ ]
1120
+ }
1121
+ },
1122
+ "landedI": {
1123
+ "kind": "function",
1124
+ "params": [
1125
+ "h",
1126
+ "current",
1127
+ "want"
1128
+ ],
1129
+ "body": {
1130
+ "kind": "app",
1131
+ "opcode": "ite",
1132
+ "args": [
1133
+ {
1134
+ "kind": "name",
1135
+ "name": "h"
1136
+ },
1137
+ {
1138
+ "kind": "name",
1139
+ "name": "current"
1140
+ },
1141
+ {
1142
+ "kind": "name",
1143
+ "name": "want"
1144
+ }
1145
+ ]
1146
+ }
1147
+ },
1148
+ "landedS": {
1149
+ "kind": "function",
1150
+ "params": [
1151
+ "h",
1152
+ "current",
1153
+ "want"
1154
+ ],
1155
+ "body": {
1156
+ "kind": "app",
1157
+ "opcode": "ite",
1158
+ "args": [
1159
+ {
1160
+ "kind": "name",
1161
+ "name": "h"
1162
+ },
1163
+ {
1164
+ "kind": "name",
1165
+ "name": "current"
1166
+ },
1167
+ {
1168
+ "kind": "name",
1169
+ "name": "want"
1170
+ }
1171
+ ]
1172
+ }
1173
+ },
1174
+ "propAfter": {
1175
+ "kind": "function",
1176
+ "params": [
1177
+ "f",
1178
+ "p",
1179
+ "want"
1180
+ ],
1181
+ "body": {
1182
+ "kind": "app",
1183
+ "opcode": "ite",
1184
+ "args": [
1185
+ {
1186
+ "kind": "name",
1187
+ "name": "f"
1188
+ },
1189
+ {
1190
+ "kind": "name",
1191
+ "name": "want"
1192
+ },
1193
+ {
1194
+ "kind": "name",
1195
+ "name": "p"
1196
+ }
1197
+ ]
1198
+ }
1199
+ },
1200
+ "keyWantCol": {
1201
+ "kind": "function",
1202
+ "params": [
1203
+ "k"
1204
+ ],
1205
+ "body": {
1206
+ "kind": "app",
1207
+ "opcode": "ite",
1208
+ "args": [
1209
+ {
1210
+ "kind": "app",
1211
+ "opcode": "activates",
1212
+ "args": [
1213
+ {
1214
+ "kind": "name",
1215
+ "name": "k"
1216
+ }
1217
+ ]
1218
+ },
1219
+ {
1220
+ "kind": "name",
1221
+ "name": "headerCol"
1222
+ },
1223
+ {
1224
+ "kind": "name",
1225
+ "name": "sortCol"
1226
+ }
1227
+ ]
1228
+ }
1229
+ },
1230
+ "keyWantDir": {
1231
+ "kind": "function",
1232
+ "params": [
1233
+ "k"
1234
+ ],
1235
+ "body": {
1236
+ "kind": "app",
1237
+ "opcode": "ite",
1238
+ "args": [
1239
+ {
1240
+ "kind": "app",
1241
+ "opcode": "activates",
1242
+ "args": [
1243
+ {
1244
+ "kind": "name",
1245
+ "name": "k"
1246
+ }
1247
+ ]
1248
+ },
1249
+ {
1250
+ "kind": "app",
1251
+ "opcode": "nextDir",
1252
+ "args": [
1253
+ {
1254
+ "kind": "name",
1255
+ "name": "headerCol"
1256
+ }
1257
+ ]
1258
+ },
1259
+ {
1260
+ "kind": "name",
1261
+ "name": "sortDir"
1262
+ }
1263
+ ]
1264
+ }
1265
+ },
1266
+ "keyWantPacked": {
1267
+ "kind": "function",
1268
+ "params": [
1269
+ "k"
1270
+ ],
1271
+ "body": {
1272
+ "kind": "app",
1273
+ "opcode": "sortPacked",
1274
+ "args": [
1275
+ {
1276
+ "kind": "app",
1277
+ "opcode": "keyWantCol",
1278
+ "args": [
1279
+ {
1280
+ "kind": "name",
1281
+ "name": "k"
1282
+ }
1283
+ ]
1284
+ },
1285
+ {
1286
+ "kind": "app",
1287
+ "opcode": "keyWantDir",
1288
+ "args": [
1289
+ {
1290
+ "kind": "name",
1291
+ "name": "k"
1292
+ }
1293
+ ]
1294
+ }
1295
+ ]
1296
+ }
1297
+ },
1298
+ "keyMoves": {
1299
+ "kind": "function",
1300
+ "params": [
1301
+ "k"
1302
+ ],
1303
+ "body": {
1304
+ "kind": "app",
1305
+ "opcode": "neq",
1306
+ "args": [
1307
+ {
1308
+ "kind": "app",
1309
+ "opcode": "keyWantPacked",
1310
+ "args": [
1311
+ {
1312
+ "kind": "name",
1313
+ "name": "k"
1314
+ }
1315
+ ]
1316
+ },
1317
+ {
1318
+ "kind": "name",
1319
+ "name": "nowPacked"
1320
+ }
1321
+ ]
1322
+ }
1323
+ },
1324
+ "clickWantCol": {
1325
+ "kind": "function",
1326
+ "params": [
1327
+ "c"
1328
+ ],
1329
+ "body": {
1330
+ "kind": "app",
1331
+ "opcode": "ite",
1332
+ "args": [
1333
+ {
1334
+ "kind": "app",
1335
+ "opcode": "sorts",
1336
+ "args": [
1337
+ {
1338
+ "kind": "name",
1339
+ "name": "c"
1340
+ }
1341
+ ]
1342
+ },
1343
+ {
1344
+ "kind": "name",
1345
+ "name": "c"
1346
+ },
1347
+ {
1348
+ "kind": "name",
1349
+ "name": "sortCol"
1350
+ }
1351
+ ]
1352
+ }
1353
+ },
1354
+ "clickWantDir": {
1355
+ "kind": "function",
1356
+ "params": [
1357
+ "c"
1358
+ ],
1359
+ "body": {
1360
+ "kind": "app",
1361
+ "opcode": "ite",
1362
+ "args": [
1363
+ {
1364
+ "kind": "app",
1365
+ "opcode": "sorts",
1366
+ "args": [
1367
+ {
1368
+ "kind": "name",
1369
+ "name": "c"
1370
+ }
1371
+ ]
1372
+ },
1373
+ {
1374
+ "kind": "app",
1375
+ "opcode": "nextDir",
1376
+ "args": [
1377
+ {
1378
+ "kind": "name",
1379
+ "name": "c"
1380
+ }
1381
+ ]
1382
+ },
1383
+ {
1384
+ "kind": "name",
1385
+ "name": "sortDir"
1386
+ }
1387
+ ]
1388
+ }
1389
+ },
1390
+ "clickWantPacked": {
1391
+ "kind": "function",
1392
+ "params": [
1393
+ "c"
1394
+ ],
1395
+ "body": {
1396
+ "kind": "app",
1397
+ "opcode": "sortPacked",
1398
+ "args": [
1399
+ {
1400
+ "kind": "app",
1401
+ "opcode": "clickWantCol",
1402
+ "args": [
1403
+ {
1404
+ "kind": "name",
1405
+ "name": "c"
1406
+ }
1407
+ ]
1408
+ },
1409
+ {
1410
+ "kind": "app",
1411
+ "opcode": "clickWantDir",
1412
+ "args": [
1413
+ {
1414
+ "kind": "name",
1415
+ "name": "c"
1416
+ }
1417
+ ]
1418
+ }
1419
+ ]
1420
+ }
1421
+ },
1422
+ "clickMoves": {
1423
+ "kind": "function",
1424
+ "params": [
1425
+ "c"
1426
+ ],
1427
+ "body": {
1428
+ "kind": "app",
1429
+ "opcode": "neq",
1430
+ "args": [
1431
+ {
1432
+ "kind": "app",
1433
+ "opcode": "clickWantPacked",
1434
+ "args": [
1435
+ {
1436
+ "kind": "name",
1437
+ "name": "c"
1438
+ }
1439
+ ]
1440
+ },
1441
+ {
1442
+ "kind": "name",
1443
+ "name": "nowPacked"
1444
+ }
1445
+ ]
1446
+ }
1447
+ },
1448
+ "setEnabledMoves": {
1449
+ "kind": "function",
1450
+ "params": [
1451
+ "f"
1452
+ ],
1453
+ "body": {
1454
+ "kind": "app",
1455
+ "opcode": "and",
1456
+ "args": [
1457
+ {
1458
+ "kind": "app",
1459
+ "opcode": "not",
1460
+ "args": [
1461
+ {
1462
+ "kind": "name",
1463
+ "name": "f"
1464
+ }
1465
+ ]
1466
+ },
1467
+ {
1468
+ "kind": "app",
1469
+ "opcode": "neq",
1470
+ "args": [
1471
+ {
1472
+ "kind": "name",
1473
+ "name": "nowPacked"
1474
+ },
1475
+ {
1476
+ "kind": "app",
1477
+ "opcode": "iuminus",
1478
+ "args": [
1479
+ {
1480
+ "kind": "int",
1481
+ "value": "1"
1482
+ }
1483
+ ]
1484
+ }
1485
+ ]
1486
+ }
1487
+ ]
1488
+ }
1489
+ },
1490
+ "flipDir": {
1491
+ "kind": "function",
1492
+ "params": [
1493
+ "d"
1494
+ ],
1495
+ "body": {
1496
+ "kind": "app",
1497
+ "opcode": "ite",
1498
+ "args": [
1499
+ {
1500
+ "kind": "app",
1501
+ "opcode": "eq",
1502
+ "args": [
1503
+ {
1504
+ "kind": "name",
1505
+ "name": "d"
1506
+ },
1507
+ {
1508
+ "kind": "str",
1509
+ "value": "ascending"
1510
+ }
1511
+ ]
1512
+ },
1513
+ {
1514
+ "kind": "str",
1515
+ "value": "descending"
1516
+ },
1517
+ {
1518
+ "kind": "str",
1519
+ "value": "ascending"
1520
+ }
1521
+ ]
1522
+ }
1523
+ },
1524
+ "togglePacked": {
1525
+ "kind": "function",
1526
+ "params": [],
1527
+ "body": {
1528
+ "kind": "app",
1529
+ "opcode": "ite",
1530
+ "args": [
1531
+ {
1532
+ "kind": "app",
1533
+ "opcode": "eq",
1534
+ "args": [
1535
+ {
1536
+ "kind": "name",
1537
+ "name": "sortCol"
1538
+ },
1539
+ {
1540
+ "kind": "app",
1541
+ "opcode": "iuminus",
1542
+ "args": [
1543
+ {
1544
+ "kind": "int",
1545
+ "value": "1"
1546
+ }
1547
+ ]
1548
+ }
1549
+ ]
1550
+ },
1551
+ {
1552
+ "kind": "app",
1553
+ "opcode": "sortPacked",
1554
+ "args": [
1555
+ {
1556
+ "kind": "int",
1557
+ "value": "0"
1558
+ },
1559
+ {
1560
+ "kind": "str",
1561
+ "value": "ascending"
1562
+ }
1563
+ ]
1564
+ },
1565
+ {
1566
+ "kind": "app",
1567
+ "opcode": "sortPacked",
1568
+ "args": [
1569
+ {
1570
+ "kind": "name",
1571
+ "name": "sortCol"
1572
+ },
1573
+ {
1574
+ "kind": "app",
1575
+ "opcode": "flipDir",
1576
+ "args": [
1577
+ {
1578
+ "kind": "name",
1579
+ "name": "sortDir"
1580
+ }
1581
+ ]
1582
+ }
1583
+ ]
1584
+ }
1585
+ ]
1586
+ }
1587
+ },
1588
+ "HeaderFocusInBounds": {
1589
+ "kind": "invariant",
1590
+ "params": [],
1591
+ "body": {
1592
+ "kind": "app",
1593
+ "opcode": "and",
1594
+ "args": [
1595
+ {
1596
+ "kind": "app",
1597
+ "opcode": "igte",
1598
+ "args": [
1599
+ {
1600
+ "kind": "name",
1601
+ "name": "headerCol"
1602
+ },
1603
+ {
1604
+ "kind": "int",
1605
+ "value": "0"
1606
+ }
1607
+ ]
1608
+ },
1609
+ {
1610
+ "kind": "app",
1611
+ "opcode": "ilt",
1612
+ "args": [
1613
+ {
1614
+ "kind": "name",
1615
+ "name": "headerCol"
1616
+ },
1617
+ {
1618
+ "kind": "name",
1619
+ "name": "COLS"
1620
+ }
1621
+ ]
1622
+ }
1623
+ ]
1624
+ }
1625
+ },
1626
+ "ExactlyOneHeaderTabStop": {
1627
+ "kind": "invariant",
1628
+ "params": [],
1629
+ "body": {
1630
+ "kind": "app",
1631
+ "opcode": "eq",
1632
+ "args": [
1633
+ {
1634
+ "kind": "name",
1635
+ "name": "headerTabStops"
1636
+ },
1637
+ {
1638
+ "kind": "int",
1639
+ "value": "1"
1640
+ }
1641
+ ]
1642
+ }
1643
+ },
1644
+ "AtMostOneSortedHeader": {
1645
+ "kind": "invariant",
1646
+ "params": [],
1647
+ "body": {
1648
+ "kind": "app",
1649
+ "opcode": "ilte",
1650
+ "args": [
1651
+ {
1652
+ "kind": "name",
1653
+ "name": "sortedHeaders"
1654
+ },
1655
+ {
1656
+ "kind": "int",
1657
+ "value": "1"
1658
+ }
1659
+ ]
1660
+ }
1661
+ },
1662
+ "SortedColumnIsSortable": {
1663
+ "kind": "invariant",
1664
+ "params": [],
1665
+ "body": {
1666
+ "kind": "app",
1667
+ "opcode": "or",
1668
+ "args": [
1669
+ {
1670
+ "kind": "app",
1671
+ "opcode": "eq",
1672
+ "args": [
1673
+ {
1674
+ "kind": "name",
1675
+ "name": "sortCol"
1676
+ },
1677
+ {
1678
+ "kind": "app",
1679
+ "opcode": "iuminus",
1680
+ "args": [
1681
+ {
1682
+ "kind": "int",
1683
+ "value": "1"
1684
+ }
1685
+ ]
1686
+ }
1687
+ ]
1688
+ },
1689
+ {
1690
+ "kind": "app",
1691
+ "opcode": "and",
1692
+ "args": [
1693
+ {
1694
+ "kind": "app",
1695
+ "opcode": "igte",
1696
+ "args": [
1697
+ {
1698
+ "kind": "name",
1699
+ "name": "sortCol"
1700
+ },
1701
+ {
1702
+ "kind": "int",
1703
+ "value": "0"
1704
+ }
1705
+ ]
1706
+ },
1707
+ {
1708
+ "kind": "app",
1709
+ "opcode": "ilt",
1710
+ "args": [
1711
+ {
1712
+ "kind": "name",
1713
+ "name": "sortCol"
1714
+ },
1715
+ {
1716
+ "kind": "name",
1717
+ "name": "COLS"
1718
+ }
1719
+ ]
1720
+ },
1721
+ {
1722
+ "kind": "app",
1723
+ "opcode": "sortable",
1724
+ "args": [
1725
+ {
1726
+ "kind": "name",
1727
+ "name": "sortCol"
1728
+ }
1729
+ ]
1730
+ }
1731
+ ]
1732
+ }
1733
+ ]
1734
+ }
1735
+ },
1736
+ "UnsortedMeansNoDirection": {
1737
+ "kind": "invariant",
1738
+ "params": [],
1739
+ "body": {
1740
+ "kind": "app",
1741
+ "opcode": "or",
1742
+ "args": [
1743
+ {
1744
+ "kind": "app",
1745
+ "opcode": "neq",
1746
+ "args": [
1747
+ {
1748
+ "kind": "name",
1749
+ "name": "sortCol"
1750
+ },
1751
+ {
1752
+ "kind": "app",
1753
+ "opcode": "iuminus",
1754
+ "args": [
1755
+ {
1756
+ "kind": "int",
1757
+ "value": "1"
1758
+ }
1759
+ ]
1760
+ }
1761
+ ]
1762
+ },
1763
+ {
1764
+ "kind": "app",
1765
+ "opcode": "eq",
1766
+ "args": [
1767
+ {
1768
+ "kind": "name",
1769
+ "name": "sortDir"
1770
+ },
1771
+ {
1772
+ "kind": "str",
1773
+ "value": "none"
1774
+ }
1775
+ ]
1776
+ }
1777
+ ]
1778
+ }
1779
+ },
1780
+ "SortedMeansDirection": {
1781
+ "kind": "invariant",
1782
+ "params": [],
1783
+ "body": {
1784
+ "kind": "app",
1785
+ "opcode": "or",
1786
+ "args": [
1787
+ {
1788
+ "kind": "app",
1789
+ "opcode": "eq",
1790
+ "args": [
1791
+ {
1792
+ "kind": "name",
1793
+ "name": "sortCol"
1794
+ },
1795
+ {
1796
+ "kind": "app",
1797
+ "opcode": "iuminus",
1798
+ "args": [
1799
+ {
1800
+ "kind": "int",
1801
+ "value": "1"
1802
+ }
1803
+ ]
1804
+ }
1805
+ ]
1806
+ },
1807
+ {
1808
+ "kind": "app",
1809
+ "opcode": "or",
1810
+ "args": [
1811
+ {
1812
+ "kind": "app",
1813
+ "opcode": "eq",
1814
+ "args": [
1815
+ {
1816
+ "kind": "name",
1817
+ "name": "sortDir"
1818
+ },
1819
+ {
1820
+ "kind": "str",
1821
+ "value": "ascending"
1822
+ }
1823
+ ]
1824
+ },
1825
+ {
1826
+ "kind": "app",
1827
+ "opcode": "eq",
1828
+ "args": [
1829
+ {
1830
+ "kind": "name",
1831
+ "name": "sortDir"
1832
+ },
1833
+ {
1834
+ "kind": "str",
1835
+ "value": "descending"
1836
+ }
1837
+ ]
1838
+ }
1839
+ ]
1840
+ }
1841
+ ]
1842
+ }
1843
+ },
1844
+ "NoSortWhenDisabled": {
1845
+ "kind": "invariant",
1846
+ "params": [],
1847
+ "body": {
1848
+ "kind": "app",
1849
+ "opcode": "or",
1850
+ "args": [
1851
+ {
1852
+ "kind": "name",
1853
+ "name": "controlled"
1854
+ },
1855
+ {
1856
+ "kind": "app",
1857
+ "opcode": "or",
1858
+ "args": [
1859
+ {
1860
+ "kind": "name",
1861
+ "name": "sortEnabled"
1862
+ },
1863
+ {
1864
+ "kind": "app",
1865
+ "opcode": "and",
1866
+ "args": [
1867
+ {
1868
+ "kind": "app",
1869
+ "opcode": "eq",
1870
+ "args": [
1871
+ {
1872
+ "kind": "name",
1873
+ "name": "sortCol"
1874
+ },
1875
+ {
1876
+ "kind": "app",
1877
+ "opcode": "iuminus",
1878
+ "args": [
1879
+ {
1880
+ "kind": "int",
1881
+ "value": "1"
1882
+ }
1883
+ ]
1884
+ }
1885
+ ]
1886
+ },
1887
+ {
1888
+ "kind": "app",
1889
+ "opcode": "eq",
1890
+ "args": [
1891
+ {
1892
+ "kind": "name",
1893
+ "name": "sortDir"
1894
+ },
1895
+ {
1896
+ "kind": "str",
1897
+ "value": "none"
1898
+ }
1899
+ ]
1900
+ }
1901
+ ]
1902
+ }
1903
+ ]
1904
+ }
1905
+ ]
1906
+ }
1907
+ },
1908
+ "NonSortableHeaderHasNoAriaSort": {
1909
+ "kind": "invariant",
1910
+ "params": [],
1911
+ "body": {
1912
+ "kind": "app",
1913
+ "opcode": "eq",
1914
+ "args": [
1915
+ {
1916
+ "kind": "app",
1917
+ "opcode": "ariaSort",
1918
+ "args": [
1919
+ {
1920
+ "kind": "int",
1921
+ "value": "1"
1922
+ }
1923
+ ]
1924
+ },
1925
+ {
1926
+ "kind": "str",
1927
+ "value": "absent"
1928
+ }
1929
+ ]
1930
+ }
1931
+ },
1932
+ "SortDirValid": {
1933
+ "kind": "invariant",
1934
+ "params": [],
1935
+ "body": {
1936
+ "kind": "app",
1937
+ "opcode": "or",
1938
+ "args": [
1939
+ {
1940
+ "kind": "app",
1941
+ "opcode": "eq",
1942
+ "args": [
1943
+ {
1944
+ "kind": "name",
1945
+ "name": "sortDir"
1946
+ },
1947
+ {
1948
+ "kind": "str",
1949
+ "value": "none"
1950
+ }
1951
+ ]
1952
+ },
1953
+ {
1954
+ "kind": "app",
1955
+ "opcode": "eq",
1956
+ "args": [
1957
+ {
1958
+ "kind": "name",
1959
+ "name": "sortDir"
1960
+ },
1961
+ {
1962
+ "kind": "str",
1963
+ "value": "ascending"
1964
+ }
1965
+ ]
1966
+ },
1967
+ {
1968
+ "kind": "app",
1969
+ "opcode": "eq",
1970
+ "args": [
1971
+ {
1972
+ "kind": "name",
1973
+ "name": "sortDir"
1974
+ },
1975
+ {
1976
+ "kind": "str",
1977
+ "value": "descending"
1978
+ }
1979
+ ]
1980
+ }
1981
+ ]
1982
+ }
1983
+ },
1984
+ "RequestsNonNegative": {
1985
+ "kind": "invariant",
1986
+ "params": [],
1987
+ "body": {
1988
+ "kind": "app",
1989
+ "opcode": "igte",
1990
+ "args": [
1991
+ {
1992
+ "kind": "name",
1993
+ "name": "requests"
1994
+ },
1995
+ {
1996
+ "kind": "int",
1997
+ "value": "0"
1998
+ }
1999
+ ]
2000
+ }
2001
+ },
2002
+ "ControlledFollowsProp": {
2003
+ "kind": "invariant",
2004
+ "params": [],
2005
+ "body": {
2006
+ "kind": "app",
2007
+ "opcode": "or",
2008
+ "args": [
2009
+ {
2010
+ "kind": "app",
2011
+ "opcode": "not",
2012
+ "args": [
2013
+ {
2014
+ "kind": "name",
2015
+ "name": "controlled"
2016
+ }
2017
+ ]
2018
+ },
2019
+ {
2020
+ "kind": "app",
2021
+ "opcode": "eq",
2022
+ "args": [
2023
+ {
2024
+ "kind": "name",
2025
+ "name": "nowPacked"
2026
+ },
2027
+ {
2028
+ "kind": "name",
2029
+ "name": "valueProp"
2030
+ }
2031
+ ]
2032
+ }
2033
+ ]
2034
+ }
2035
+ },
2036
+ "RejectedRequestUntouched": {
2037
+ "kind": "invariant",
2038
+ "params": [],
2039
+ "body": {
2040
+ "kind": "app",
2041
+ "opcode": "or",
2042
+ "args": [
2043
+ {
2044
+ "kind": "app",
2045
+ "opcode": "not",
2046
+ "args": [
2047
+ {
2048
+ "kind": "app",
2049
+ "opcode": "eq",
2050
+ "args": [
2051
+ {
2052
+ "kind": "name",
2053
+ "name": "outcome"
2054
+ },
2055
+ {
2056
+ "kind": "str",
2057
+ "value": "rejected"
2058
+ }
2059
+ ]
2060
+ }
2061
+ ]
2062
+ },
2063
+ {
2064
+ "kind": "app",
2065
+ "opcode": "eq",
2066
+ "args": [
2067
+ {
2068
+ "kind": "name",
2069
+ "name": "nowPacked"
2070
+ },
2071
+ {
2072
+ "kind": "name",
2073
+ "name": "base"
2074
+ }
2075
+ ]
2076
+ }
2077
+ ]
2078
+ }
2079
+ },
2080
+ "AcceptedRequestCommits": {
2081
+ "kind": "invariant",
2082
+ "params": [],
2083
+ "body": {
2084
+ "kind": "app",
2085
+ "opcode": "or",
2086
+ "args": [
2087
+ {
2088
+ "kind": "app",
2089
+ "opcode": "not",
2090
+ "args": [
2091
+ {
2092
+ "kind": "app",
2093
+ "opcode": "eq",
2094
+ "args": [
2095
+ {
2096
+ "kind": "name",
2097
+ "name": "outcome"
2098
+ },
2099
+ {
2100
+ "kind": "str",
2101
+ "value": "accepted"
2102
+ }
2103
+ ]
2104
+ }
2105
+ ]
2106
+ },
2107
+ {
2108
+ "kind": "app",
2109
+ "opcode": "eq",
2110
+ "args": [
2111
+ {
2112
+ "kind": "name",
2113
+ "name": "nowPacked"
2114
+ },
2115
+ {
2116
+ "kind": "name",
2117
+ "name": "requested"
2118
+ }
2119
+ ]
2120
+ }
2121
+ ]
2122
+ }
2123
+ }
2124
+ },
2125
+ "actions": [
2126
+ {
2127
+ "name": "init",
2128
+ "assignments": [
2129
+ {
2130
+ "field": "headerCol",
2131
+ "rhs": {
2132
+ "kind": "int",
2133
+ "value": "0"
2134
+ }
2135
+ },
2136
+ {
2137
+ "field": "hasFocus",
2138
+ "rhs": {
2139
+ "kind": "bool",
2140
+ "value": false
2141
+ }
2142
+ },
2143
+ {
2144
+ "field": "sortEnabled",
2145
+ "rhs": {
2146
+ "kind": "bool",
2147
+ "value": true
2148
+ }
2149
+ },
2150
+ {
2151
+ "field": "sortCol",
2152
+ "rhs": {
2153
+ "kind": "app",
2154
+ "opcode": "iuminus",
2155
+ "args": [
2156
+ {
2157
+ "kind": "int",
2158
+ "value": "1"
2159
+ }
2160
+ ]
2161
+ }
2162
+ },
2163
+ {
2164
+ "field": "sortDir",
2165
+ "rhs": {
2166
+ "kind": "str",
2167
+ "value": "none"
2168
+ }
2169
+ },
2170
+ {
2171
+ "field": "controlled",
2172
+ "rhs": {
2173
+ "kind": "bool",
2174
+ "value": false
2175
+ }
2176
+ },
2177
+ {
2178
+ "field": "accepting",
2179
+ "rhs": {
2180
+ "kind": "bool",
2181
+ "value": false
2182
+ }
2183
+ },
2184
+ {
2185
+ "field": "valueProp",
2186
+ "rhs": {
2187
+ "kind": "app",
2188
+ "opcode": "iuminus",
2189
+ "args": [
2190
+ {
2191
+ "kind": "int",
2192
+ "value": "1"
2193
+ }
2194
+ ]
2195
+ }
2196
+ },
2197
+ {
2198
+ "field": "requested",
2199
+ "rhs": {
2200
+ "kind": "app",
2201
+ "opcode": "iuminus",
2202
+ "args": [
2203
+ {
2204
+ "kind": "int",
2205
+ "value": "1"
2206
+ }
2207
+ ]
2208
+ }
2209
+ },
2210
+ {
2211
+ "field": "outcome",
2212
+ "rhs": {
2213
+ "kind": "str",
2214
+ "value": "none"
2215
+ }
2216
+ },
2217
+ {
2218
+ "field": "base",
2219
+ "rhs": {
2220
+ "kind": "app",
2221
+ "opcode": "iuminus",
2222
+ "args": [
2223
+ {
2224
+ "kind": "int",
2225
+ "value": "1"
2226
+ }
2227
+ ]
2228
+ }
2229
+ },
2230
+ {
2231
+ "field": "requests",
2232
+ "rhs": {
2233
+ "kind": "int",
2234
+ "value": "0"
2235
+ }
2236
+ }
2237
+ ]
2238
+ },
2239
+ {
2240
+ "name": "key",
2241
+ "nondet": {
2242
+ "name": "key",
2243
+ "kind": "str",
2244
+ "pool": [
2245
+ "ArrowRight",
2246
+ "ArrowLeft",
2247
+ "Home",
2248
+ "End",
2249
+ "Enter",
2250
+ "Space"
2251
+ ]
2252
+ },
2253
+ "assignments": [
2254
+ {
2255
+ "field": "headerCol",
2256
+ "rhs": {
2257
+ "kind": "app",
2258
+ "opcode": "ite",
2259
+ "args": [
2260
+ {
2261
+ "kind": "name",
2262
+ "name": "hasFocus"
2263
+ },
2264
+ {
2265
+ "kind": "app",
2266
+ "opcode": "keyCol",
2267
+ "args": [
2268
+ {
2269
+ "kind": "name",
2270
+ "name": "key"
2271
+ }
2272
+ ]
2273
+ },
2274
+ {
2275
+ "kind": "name",
2276
+ "name": "headerCol"
2277
+ }
2278
+ ]
2279
+ }
2280
+ },
2281
+ {
2282
+ "field": "hasFocus",
2283
+ "rhs": {
2284
+ "kind": "name",
2285
+ "name": "hasFocus"
2286
+ }
2287
+ },
2288
+ {
2289
+ "field": "sortEnabled",
2290
+ "rhs": {
2291
+ "kind": "name",
2292
+ "name": "sortEnabled"
2293
+ }
2294
+ },
2295
+ {
2296
+ "field": "sortCol",
2297
+ "rhs": {
2298
+ "kind": "app",
2299
+ "opcode": "landedI",
2300
+ "args": [
2301
+ {
2302
+ "kind": "name",
2303
+ "name": "holds"
2304
+ },
2305
+ {
2306
+ "kind": "name",
2307
+ "name": "sortCol"
2308
+ },
2309
+ {
2310
+ "kind": "app",
2311
+ "opcode": "keyWantCol",
2312
+ "args": [
2313
+ {
2314
+ "kind": "name",
2315
+ "name": "key"
2316
+ }
2317
+ ]
2318
+ }
2319
+ ]
2320
+ }
2321
+ },
2322
+ {
2323
+ "field": "sortDir",
2324
+ "rhs": {
2325
+ "kind": "app",
2326
+ "opcode": "landedS",
2327
+ "args": [
2328
+ {
2329
+ "kind": "name",
2330
+ "name": "holds"
2331
+ },
2332
+ {
2333
+ "kind": "name",
2334
+ "name": "sortDir"
2335
+ },
2336
+ {
2337
+ "kind": "app",
2338
+ "opcode": "keyWantDir",
2339
+ "args": [
2340
+ {
2341
+ "kind": "name",
2342
+ "name": "key"
2343
+ }
2344
+ ]
2345
+ }
2346
+ ]
2347
+ }
2348
+ },
2349
+ {
2350
+ "field": "controlled",
2351
+ "rhs": {
2352
+ "kind": "name",
2353
+ "name": "controlled"
2354
+ }
2355
+ },
2356
+ {
2357
+ "field": "accepting",
2358
+ "rhs": {
2359
+ "kind": "name",
2360
+ "name": "accepting"
2361
+ }
2362
+ },
2363
+ {
2364
+ "field": "valueProp",
2365
+ "rhs": {
2366
+ "kind": "app",
2367
+ "opcode": "ite",
2368
+ "args": [
2369
+ {
2370
+ "kind": "app",
2371
+ "opcode": "keyMoves",
2372
+ "args": [
2373
+ {
2374
+ "kind": "name",
2375
+ "name": "key"
2376
+ }
2377
+ ]
2378
+ },
2379
+ {
2380
+ "kind": "app",
2381
+ "opcode": "propAfter",
2382
+ "args": [
2383
+ {
2384
+ "kind": "name",
2385
+ "name": "follows"
2386
+ },
2387
+ {
2388
+ "kind": "name",
2389
+ "name": "valueProp"
2390
+ },
2391
+ {
2392
+ "kind": "app",
2393
+ "opcode": "keyWantPacked",
2394
+ "args": [
2395
+ {
2396
+ "kind": "name",
2397
+ "name": "key"
2398
+ }
2399
+ ]
2400
+ }
2401
+ ]
2402
+ },
2403
+ {
2404
+ "kind": "name",
2405
+ "name": "valueProp"
2406
+ }
2407
+ ]
2408
+ }
2409
+ },
2410
+ {
2411
+ "field": "requested",
2412
+ "rhs": {
2413
+ "kind": "app",
2414
+ "opcode": "ite",
2415
+ "args": [
2416
+ {
2417
+ "kind": "app",
2418
+ "opcode": "keyMoves",
2419
+ "args": [
2420
+ {
2421
+ "kind": "name",
2422
+ "name": "key"
2423
+ }
2424
+ ]
2425
+ },
2426
+ {
2427
+ "kind": "app",
2428
+ "opcode": "keyWantPacked",
2429
+ "args": [
2430
+ {
2431
+ "kind": "name",
2432
+ "name": "key"
2433
+ }
2434
+ ]
2435
+ },
2436
+ {
2437
+ "kind": "name",
2438
+ "name": "requested"
2439
+ }
2440
+ ]
2441
+ }
2442
+ },
2443
+ {
2444
+ "field": "outcome",
2445
+ "rhs": {
2446
+ "kind": "app",
2447
+ "opcode": "ite",
2448
+ "args": [
2449
+ {
2450
+ "kind": "app",
2451
+ "opcode": "keyMoves",
2452
+ "args": [
2453
+ {
2454
+ "kind": "name",
2455
+ "name": "key"
2456
+ }
2457
+ ]
2458
+ },
2459
+ {
2460
+ "kind": "name",
2461
+ "name": "verdict"
2462
+ },
2463
+ {
2464
+ "kind": "name",
2465
+ "name": "outcome"
2466
+ }
2467
+ ]
2468
+ }
2469
+ },
2470
+ {
2471
+ "field": "base",
2472
+ "rhs": {
2473
+ "kind": "app",
2474
+ "opcode": "ite",
2475
+ "args": [
2476
+ {
2477
+ "kind": "app",
2478
+ "opcode": "keyMoves",
2479
+ "args": [
2480
+ {
2481
+ "kind": "name",
2482
+ "name": "key"
2483
+ }
2484
+ ]
2485
+ },
2486
+ {
2487
+ "kind": "name",
2488
+ "name": "nowPacked"
2489
+ },
2490
+ {
2491
+ "kind": "name",
2492
+ "name": "base"
2493
+ }
2494
+ ]
2495
+ }
2496
+ },
2497
+ {
2498
+ "field": "requests",
2499
+ "rhs": {
2500
+ "kind": "app",
2501
+ "opcode": "ite",
2502
+ "args": [
2503
+ {
2504
+ "kind": "app",
2505
+ "opcode": "keyMoves",
2506
+ "args": [
2507
+ {
2508
+ "kind": "name",
2509
+ "name": "key"
2510
+ }
2511
+ ]
2512
+ },
2513
+ {
2514
+ "kind": "app",
2515
+ "opcode": "iadd",
2516
+ "args": [
2517
+ {
2518
+ "kind": "name",
2519
+ "name": "requests"
2520
+ },
2521
+ {
2522
+ "kind": "int",
2523
+ "value": "1"
2524
+ }
2525
+ ]
2526
+ },
2527
+ {
2528
+ "kind": "name",
2529
+ "name": "requests"
2530
+ }
2531
+ ]
2532
+ }
2533
+ }
2534
+ ]
2535
+ },
2536
+ {
2537
+ "name": "click",
2538
+ "nondet": {
2539
+ "name": "column",
2540
+ "kind": "int",
2541
+ "pool": [
2542
+ "0",
2543
+ "1",
2544
+ "2"
2545
+ ]
2546
+ },
2547
+ "assignments": [
2548
+ {
2549
+ "field": "headerCol",
2550
+ "rhs": {
2551
+ "kind": "name",
2552
+ "name": "column"
2553
+ }
2554
+ },
2555
+ {
2556
+ "field": "hasFocus",
2557
+ "rhs": {
2558
+ "kind": "bool",
2559
+ "value": true
2560
+ }
2561
+ },
2562
+ {
2563
+ "field": "sortEnabled",
2564
+ "rhs": {
2565
+ "kind": "name",
2566
+ "name": "sortEnabled"
2567
+ }
2568
+ },
2569
+ {
2570
+ "field": "sortCol",
2571
+ "rhs": {
2572
+ "kind": "app",
2573
+ "opcode": "landedI",
2574
+ "args": [
2575
+ {
2576
+ "kind": "name",
2577
+ "name": "holds"
2578
+ },
2579
+ {
2580
+ "kind": "name",
2581
+ "name": "sortCol"
2582
+ },
2583
+ {
2584
+ "kind": "app",
2585
+ "opcode": "clickWantCol",
2586
+ "args": [
2587
+ {
2588
+ "kind": "name",
2589
+ "name": "column"
2590
+ }
2591
+ ]
2592
+ }
2593
+ ]
2594
+ }
2595
+ },
2596
+ {
2597
+ "field": "sortDir",
2598
+ "rhs": {
2599
+ "kind": "app",
2600
+ "opcode": "landedS",
2601
+ "args": [
2602
+ {
2603
+ "kind": "name",
2604
+ "name": "holds"
2605
+ },
2606
+ {
2607
+ "kind": "name",
2608
+ "name": "sortDir"
2609
+ },
2610
+ {
2611
+ "kind": "app",
2612
+ "opcode": "clickWantDir",
2613
+ "args": [
2614
+ {
2615
+ "kind": "name",
2616
+ "name": "column"
2617
+ }
2618
+ ]
2619
+ }
2620
+ ]
2621
+ }
2622
+ },
2623
+ {
2624
+ "field": "controlled",
2625
+ "rhs": {
2626
+ "kind": "name",
2627
+ "name": "controlled"
2628
+ }
2629
+ },
2630
+ {
2631
+ "field": "accepting",
2632
+ "rhs": {
2633
+ "kind": "name",
2634
+ "name": "accepting"
2635
+ }
2636
+ },
2637
+ {
2638
+ "field": "valueProp",
2639
+ "rhs": {
2640
+ "kind": "app",
2641
+ "opcode": "ite",
2642
+ "args": [
2643
+ {
2644
+ "kind": "app",
2645
+ "opcode": "clickMoves",
2646
+ "args": [
2647
+ {
2648
+ "kind": "name",
2649
+ "name": "column"
2650
+ }
2651
+ ]
2652
+ },
2653
+ {
2654
+ "kind": "app",
2655
+ "opcode": "propAfter",
2656
+ "args": [
2657
+ {
2658
+ "kind": "name",
2659
+ "name": "follows"
2660
+ },
2661
+ {
2662
+ "kind": "name",
2663
+ "name": "valueProp"
2664
+ },
2665
+ {
2666
+ "kind": "app",
2667
+ "opcode": "clickWantPacked",
2668
+ "args": [
2669
+ {
2670
+ "kind": "name",
2671
+ "name": "column"
2672
+ }
2673
+ ]
2674
+ }
2675
+ ]
2676
+ },
2677
+ {
2678
+ "kind": "name",
2679
+ "name": "valueProp"
2680
+ }
2681
+ ]
2682
+ }
2683
+ },
2684
+ {
2685
+ "field": "requested",
2686
+ "rhs": {
2687
+ "kind": "app",
2688
+ "opcode": "ite",
2689
+ "args": [
2690
+ {
2691
+ "kind": "app",
2692
+ "opcode": "clickMoves",
2693
+ "args": [
2694
+ {
2695
+ "kind": "name",
2696
+ "name": "column"
2697
+ }
2698
+ ]
2699
+ },
2700
+ {
2701
+ "kind": "app",
2702
+ "opcode": "clickWantPacked",
2703
+ "args": [
2704
+ {
2705
+ "kind": "name",
2706
+ "name": "column"
2707
+ }
2708
+ ]
2709
+ },
2710
+ {
2711
+ "kind": "name",
2712
+ "name": "requested"
2713
+ }
2714
+ ]
2715
+ }
2716
+ },
2717
+ {
2718
+ "field": "outcome",
2719
+ "rhs": {
2720
+ "kind": "app",
2721
+ "opcode": "ite",
2722
+ "args": [
2723
+ {
2724
+ "kind": "app",
2725
+ "opcode": "clickMoves",
2726
+ "args": [
2727
+ {
2728
+ "kind": "name",
2729
+ "name": "column"
2730
+ }
2731
+ ]
2732
+ },
2733
+ {
2734
+ "kind": "name",
2735
+ "name": "verdict"
2736
+ },
2737
+ {
2738
+ "kind": "name",
2739
+ "name": "outcome"
2740
+ }
2741
+ ]
2742
+ }
2743
+ },
2744
+ {
2745
+ "field": "base",
2746
+ "rhs": {
2747
+ "kind": "app",
2748
+ "opcode": "ite",
2749
+ "args": [
2750
+ {
2751
+ "kind": "app",
2752
+ "opcode": "clickMoves",
2753
+ "args": [
2754
+ {
2755
+ "kind": "name",
2756
+ "name": "column"
2757
+ }
2758
+ ]
2759
+ },
2760
+ {
2761
+ "kind": "name",
2762
+ "name": "nowPacked"
2763
+ },
2764
+ {
2765
+ "kind": "name",
2766
+ "name": "base"
2767
+ }
2768
+ ]
2769
+ }
2770
+ },
2771
+ {
2772
+ "field": "requests",
2773
+ "rhs": {
2774
+ "kind": "app",
2775
+ "opcode": "ite",
2776
+ "args": [
2777
+ {
2778
+ "kind": "app",
2779
+ "opcode": "clickMoves",
2780
+ "args": [
2781
+ {
2782
+ "kind": "name",
2783
+ "name": "column"
2784
+ }
2785
+ ]
2786
+ },
2787
+ {
2788
+ "kind": "app",
2789
+ "opcode": "iadd",
2790
+ "args": [
2791
+ {
2792
+ "kind": "name",
2793
+ "name": "requests"
2794
+ },
2795
+ {
2796
+ "kind": "int",
2797
+ "value": "1"
2798
+ }
2799
+ ]
2800
+ },
2801
+ {
2802
+ "kind": "name",
2803
+ "name": "requests"
2804
+ }
2805
+ ]
2806
+ }
2807
+ }
2808
+ ]
2809
+ },
2810
+ {
2811
+ "name": "focus_in",
2812
+ "assignments": [
2813
+ {
2814
+ "field": "headerCol",
2815
+ "rhs": {
2816
+ "kind": "name",
2817
+ "name": "headerCol"
2818
+ }
2819
+ },
2820
+ {
2821
+ "field": "hasFocus",
2822
+ "rhs": {
2823
+ "kind": "bool",
2824
+ "value": true
2825
+ }
2826
+ },
2827
+ {
2828
+ "field": "sortEnabled",
2829
+ "rhs": {
2830
+ "kind": "name",
2831
+ "name": "sortEnabled"
2832
+ }
2833
+ },
2834
+ {
2835
+ "field": "sortCol",
2836
+ "rhs": {
2837
+ "kind": "name",
2838
+ "name": "sortCol"
2839
+ }
2840
+ },
2841
+ {
2842
+ "field": "sortDir",
2843
+ "rhs": {
2844
+ "kind": "name",
2845
+ "name": "sortDir"
2846
+ }
2847
+ },
2848
+ {
2849
+ "field": "controlled",
2850
+ "rhs": {
2851
+ "kind": "name",
2852
+ "name": "controlled"
2853
+ }
2854
+ },
2855
+ {
2856
+ "field": "accepting",
2857
+ "rhs": {
2858
+ "kind": "name",
2859
+ "name": "accepting"
2860
+ }
2861
+ },
2862
+ {
2863
+ "field": "valueProp",
2864
+ "rhs": {
2865
+ "kind": "name",
2866
+ "name": "valueProp"
2867
+ }
2868
+ },
2869
+ {
2870
+ "field": "requested",
2871
+ "rhs": {
2872
+ "kind": "name",
2873
+ "name": "requested"
2874
+ }
2875
+ },
2876
+ {
2877
+ "field": "outcome",
2878
+ "rhs": {
2879
+ "kind": "name",
2880
+ "name": "outcome"
2881
+ }
2882
+ },
2883
+ {
2884
+ "field": "base",
2885
+ "rhs": {
2886
+ "kind": "name",
2887
+ "name": "base"
2888
+ }
2889
+ },
2890
+ {
2891
+ "field": "requests",
2892
+ "rhs": {
2893
+ "kind": "name",
2894
+ "name": "requests"
2895
+ }
2896
+ }
2897
+ ]
2898
+ },
2899
+ {
2900
+ "name": "focus_out",
2901
+ "assignments": [
2902
+ {
2903
+ "field": "headerCol",
2904
+ "rhs": {
2905
+ "kind": "name",
2906
+ "name": "headerCol"
2907
+ }
2908
+ },
2909
+ {
2910
+ "field": "hasFocus",
2911
+ "rhs": {
2912
+ "kind": "bool",
2913
+ "value": false
2914
+ }
2915
+ },
2916
+ {
2917
+ "field": "sortEnabled",
2918
+ "rhs": {
2919
+ "kind": "name",
2920
+ "name": "sortEnabled"
2921
+ }
2922
+ },
2923
+ {
2924
+ "field": "sortCol",
2925
+ "rhs": {
2926
+ "kind": "name",
2927
+ "name": "sortCol"
2928
+ }
2929
+ },
2930
+ {
2931
+ "field": "sortDir",
2932
+ "rhs": {
2933
+ "kind": "name",
2934
+ "name": "sortDir"
2935
+ }
2936
+ },
2937
+ {
2938
+ "field": "controlled",
2939
+ "rhs": {
2940
+ "kind": "name",
2941
+ "name": "controlled"
2942
+ }
2943
+ },
2944
+ {
2945
+ "field": "accepting",
2946
+ "rhs": {
2947
+ "kind": "name",
2948
+ "name": "accepting"
2949
+ }
2950
+ },
2951
+ {
2952
+ "field": "valueProp",
2953
+ "rhs": {
2954
+ "kind": "name",
2955
+ "name": "valueProp"
2956
+ }
2957
+ },
2958
+ {
2959
+ "field": "requested",
2960
+ "rhs": {
2961
+ "kind": "name",
2962
+ "name": "requested"
2963
+ }
2964
+ },
2965
+ {
2966
+ "field": "outcome",
2967
+ "rhs": {
2968
+ "kind": "name",
2969
+ "name": "outcome"
2970
+ }
2971
+ },
2972
+ {
2973
+ "field": "base",
2974
+ "rhs": {
2975
+ "kind": "name",
2976
+ "name": "base"
2977
+ }
2978
+ },
2979
+ {
2980
+ "field": "requests",
2981
+ "rhs": {
2982
+ "kind": "name",
2983
+ "name": "requests"
2984
+ }
2985
+ }
2986
+ ]
2987
+ },
2988
+ {
2989
+ "name": "set_sort_enabled",
2990
+ "nondet": {
2991
+ "name": "flag",
2992
+ "kind": "bool",
2993
+ "pool": [
2994
+ true,
2995
+ false
2996
+ ]
2997
+ },
2998
+ "assignments": [
2999
+ {
3000
+ "field": "headerCol",
3001
+ "rhs": {
3002
+ "kind": "name",
3003
+ "name": "headerCol"
3004
+ }
3005
+ },
3006
+ {
3007
+ "field": "hasFocus",
3008
+ "rhs": {
3009
+ "kind": "name",
3010
+ "name": "hasFocus"
3011
+ }
3012
+ },
3013
+ {
3014
+ "field": "sortEnabled",
3015
+ "rhs": {
3016
+ "kind": "name",
3017
+ "name": "flag"
3018
+ }
3019
+ },
3020
+ {
3021
+ "field": "sortCol",
3022
+ "rhs": {
3023
+ "kind": "app",
3024
+ "opcode": "ite",
3025
+ "args": [
3026
+ {
3027
+ "kind": "name",
3028
+ "name": "flag"
3029
+ },
3030
+ {
3031
+ "kind": "name",
3032
+ "name": "sortCol"
3033
+ },
3034
+ {
3035
+ "kind": "app",
3036
+ "opcode": "landedI",
3037
+ "args": [
3038
+ {
3039
+ "kind": "name",
3040
+ "name": "holds"
3041
+ },
3042
+ {
3043
+ "kind": "name",
3044
+ "name": "sortCol"
3045
+ },
3046
+ {
3047
+ "kind": "app",
3048
+ "opcode": "iuminus",
3049
+ "args": [
3050
+ {
3051
+ "kind": "int",
3052
+ "value": "1"
3053
+ }
3054
+ ]
3055
+ }
3056
+ ]
3057
+ }
3058
+ ]
3059
+ }
3060
+ },
3061
+ {
3062
+ "field": "sortDir",
3063
+ "rhs": {
3064
+ "kind": "app",
3065
+ "opcode": "ite",
3066
+ "args": [
3067
+ {
3068
+ "kind": "name",
3069
+ "name": "flag"
3070
+ },
3071
+ {
3072
+ "kind": "name",
3073
+ "name": "sortDir"
3074
+ },
3075
+ {
3076
+ "kind": "app",
3077
+ "opcode": "landedS",
3078
+ "args": [
3079
+ {
3080
+ "kind": "name",
3081
+ "name": "holds"
3082
+ },
3083
+ {
3084
+ "kind": "name",
3085
+ "name": "sortDir"
3086
+ },
3087
+ {
3088
+ "kind": "str",
3089
+ "value": "none"
3090
+ }
3091
+ ]
3092
+ }
3093
+ ]
3094
+ }
3095
+ },
3096
+ {
3097
+ "field": "controlled",
3098
+ "rhs": {
3099
+ "kind": "name",
3100
+ "name": "controlled"
3101
+ }
3102
+ },
3103
+ {
3104
+ "field": "accepting",
3105
+ "rhs": {
3106
+ "kind": "name",
3107
+ "name": "accepting"
3108
+ }
3109
+ },
3110
+ {
3111
+ "field": "valueProp",
3112
+ "rhs": {
3113
+ "kind": "app",
3114
+ "opcode": "ite",
3115
+ "args": [
3116
+ {
3117
+ "kind": "app",
3118
+ "opcode": "setEnabledMoves",
3119
+ "args": [
3120
+ {
3121
+ "kind": "name",
3122
+ "name": "flag"
3123
+ }
3124
+ ]
3125
+ },
3126
+ {
3127
+ "kind": "app",
3128
+ "opcode": "propAfter",
3129
+ "args": [
3130
+ {
3131
+ "kind": "name",
3132
+ "name": "follows"
3133
+ },
3134
+ {
3135
+ "kind": "name",
3136
+ "name": "valueProp"
3137
+ },
3138
+ {
3139
+ "kind": "app",
3140
+ "opcode": "iuminus",
3141
+ "args": [
3142
+ {
3143
+ "kind": "int",
3144
+ "value": "1"
3145
+ }
3146
+ ]
3147
+ }
3148
+ ]
3149
+ },
3150
+ {
3151
+ "kind": "name",
3152
+ "name": "valueProp"
3153
+ }
3154
+ ]
3155
+ }
3156
+ },
3157
+ {
3158
+ "field": "requested",
3159
+ "rhs": {
3160
+ "kind": "app",
3161
+ "opcode": "ite",
3162
+ "args": [
3163
+ {
3164
+ "kind": "app",
3165
+ "opcode": "setEnabledMoves",
3166
+ "args": [
3167
+ {
3168
+ "kind": "name",
3169
+ "name": "flag"
3170
+ }
3171
+ ]
3172
+ },
3173
+ {
3174
+ "kind": "app",
3175
+ "opcode": "iuminus",
3176
+ "args": [
3177
+ {
3178
+ "kind": "int",
3179
+ "value": "1"
3180
+ }
3181
+ ]
3182
+ },
3183
+ {
3184
+ "kind": "name",
3185
+ "name": "requested"
3186
+ }
3187
+ ]
3188
+ }
3189
+ },
3190
+ {
3191
+ "field": "outcome",
3192
+ "rhs": {
3193
+ "kind": "app",
3194
+ "opcode": "ite",
3195
+ "args": [
3196
+ {
3197
+ "kind": "app",
3198
+ "opcode": "setEnabledMoves",
3199
+ "args": [
3200
+ {
3201
+ "kind": "name",
3202
+ "name": "flag"
3203
+ }
3204
+ ]
3205
+ },
3206
+ {
3207
+ "kind": "name",
3208
+ "name": "verdict"
3209
+ },
3210
+ {
3211
+ "kind": "name",
3212
+ "name": "outcome"
3213
+ }
3214
+ ]
3215
+ }
3216
+ },
3217
+ {
3218
+ "field": "base",
3219
+ "rhs": {
3220
+ "kind": "app",
3221
+ "opcode": "ite",
3222
+ "args": [
3223
+ {
3224
+ "kind": "app",
3225
+ "opcode": "setEnabledMoves",
3226
+ "args": [
3227
+ {
3228
+ "kind": "name",
3229
+ "name": "flag"
3230
+ }
3231
+ ]
3232
+ },
3233
+ {
3234
+ "kind": "name",
3235
+ "name": "nowPacked"
3236
+ },
3237
+ {
3238
+ "kind": "name",
3239
+ "name": "base"
3240
+ }
3241
+ ]
3242
+ }
3243
+ },
3244
+ {
3245
+ "field": "requests",
3246
+ "rhs": {
3247
+ "kind": "app",
3248
+ "opcode": "ite",
3249
+ "args": [
3250
+ {
3251
+ "kind": "app",
3252
+ "opcode": "setEnabledMoves",
3253
+ "args": [
3254
+ {
3255
+ "kind": "name",
3256
+ "name": "flag"
3257
+ }
3258
+ ]
3259
+ },
3260
+ {
3261
+ "kind": "app",
3262
+ "opcode": "iadd",
3263
+ "args": [
3264
+ {
3265
+ "kind": "name",
3266
+ "name": "requests"
3267
+ },
3268
+ {
3269
+ "kind": "int",
3270
+ "value": "1"
3271
+ }
3272
+ ]
3273
+ },
3274
+ {
3275
+ "kind": "name",
3276
+ "name": "requests"
3277
+ }
3278
+ ]
3279
+ }
3280
+ }
3281
+ ]
3282
+ },
3283
+ {
3284
+ "name": "setValue",
3285
+ "nondet": {
3286
+ "name": "v",
3287
+ "kind": "int",
3288
+ "pool": [
3289
+ "-1",
3290
+ "0",
3291
+ "1",
3292
+ "4",
3293
+ "5"
3294
+ ]
3295
+ },
3296
+ "assignments": [
3297
+ {
3298
+ "field": "headerCol",
3299
+ "rhs": {
3300
+ "kind": "name",
3301
+ "name": "headerCol"
3302
+ }
3303
+ },
3304
+ {
3305
+ "field": "hasFocus",
3306
+ "rhs": {
3307
+ "kind": "name",
3308
+ "name": "hasFocus"
3309
+ }
3310
+ },
3311
+ {
3312
+ "field": "sortEnabled",
3313
+ "rhs": {
3314
+ "kind": "name",
3315
+ "name": "sortEnabled"
3316
+ }
3317
+ },
3318
+ {
3319
+ "field": "sortCol",
3320
+ "rhs": {
3321
+ "kind": "app",
3322
+ "opcode": "ite",
3323
+ "args": [
3324
+ {
3325
+ "kind": "name",
3326
+ "name": "controlled"
3327
+ },
3328
+ {
3329
+ "kind": "app",
3330
+ "opcode": "unpackCol",
3331
+ "args": [
3332
+ {
3333
+ "kind": "name",
3334
+ "name": "v"
3335
+ }
3336
+ ]
3337
+ },
3338
+ {
3339
+ "kind": "name",
3340
+ "name": "sortCol"
3341
+ }
3342
+ ]
3343
+ }
3344
+ },
3345
+ {
3346
+ "field": "sortDir",
3347
+ "rhs": {
3348
+ "kind": "app",
3349
+ "opcode": "ite",
3350
+ "args": [
3351
+ {
3352
+ "kind": "name",
3353
+ "name": "controlled"
3354
+ },
3355
+ {
3356
+ "kind": "app",
3357
+ "opcode": "unpackDir",
3358
+ "args": [
3359
+ {
3360
+ "kind": "name",
3361
+ "name": "v"
3362
+ }
3363
+ ]
3364
+ },
3365
+ {
3366
+ "kind": "name",
3367
+ "name": "sortDir"
3368
+ }
3369
+ ]
3370
+ }
3371
+ },
3372
+ {
3373
+ "field": "controlled",
3374
+ "rhs": {
3375
+ "kind": "name",
3376
+ "name": "controlled"
3377
+ }
3378
+ },
3379
+ {
3380
+ "field": "accepting",
3381
+ "rhs": {
3382
+ "kind": "name",
3383
+ "name": "accepting"
3384
+ }
3385
+ },
3386
+ {
3387
+ "field": "valueProp",
3388
+ "rhs": {
3389
+ "kind": "app",
3390
+ "opcode": "ite",
3391
+ "args": [
3392
+ {
3393
+ "kind": "name",
3394
+ "name": "controlled"
3395
+ },
3396
+ {
3397
+ "kind": "name",
3398
+ "name": "v"
3399
+ },
3400
+ {
3401
+ "kind": "name",
3402
+ "name": "valueProp"
3403
+ }
3404
+ ]
3405
+ }
3406
+ },
3407
+ {
3408
+ "field": "requested",
3409
+ "rhs": {
3410
+ "kind": "name",
3411
+ "name": "requested"
3412
+ }
3413
+ },
3414
+ {
3415
+ "field": "outcome",
3416
+ "rhs": {
3417
+ "kind": "app",
3418
+ "opcode": "ite",
3419
+ "args": [
3420
+ {
3421
+ "kind": "name",
3422
+ "name": "controlled"
3423
+ },
3424
+ {
3425
+ "kind": "str",
3426
+ "value": "none"
3427
+ },
3428
+ {
3429
+ "kind": "name",
3430
+ "name": "outcome"
3431
+ }
3432
+ ]
3433
+ }
3434
+ },
3435
+ {
3436
+ "field": "base",
3437
+ "rhs": {
3438
+ "kind": "name",
3439
+ "name": "base"
3440
+ }
3441
+ },
3442
+ {
3443
+ "field": "requests",
3444
+ "rhs": {
3445
+ "kind": "name",
3446
+ "name": "requests"
3447
+ }
3448
+ }
3449
+ ]
3450
+ },
3451
+ {
3452
+ "name": "hostToggle",
3453
+ "assignments": [
3454
+ {
3455
+ "field": "headerCol",
3456
+ "rhs": {
3457
+ "kind": "name",
3458
+ "name": "headerCol"
3459
+ }
3460
+ },
3461
+ {
3462
+ "field": "hasFocus",
3463
+ "rhs": {
3464
+ "kind": "name",
3465
+ "name": "hasFocus"
3466
+ }
3467
+ },
3468
+ {
3469
+ "field": "sortEnabled",
3470
+ "rhs": {
3471
+ "kind": "name",
3472
+ "name": "sortEnabled"
3473
+ }
3474
+ },
3475
+ {
3476
+ "field": "sortCol",
3477
+ "rhs": {
3478
+ "kind": "app",
3479
+ "opcode": "ite",
3480
+ "args": [
3481
+ {
3482
+ "kind": "name",
3483
+ "name": "controlled"
3484
+ },
3485
+ {
3486
+ "kind": "app",
3487
+ "opcode": "unpackCol",
3488
+ "args": [
3489
+ {
3490
+ "kind": "name",
3491
+ "name": "togglePacked"
3492
+ }
3493
+ ]
3494
+ },
3495
+ {
3496
+ "kind": "name",
3497
+ "name": "sortCol"
3498
+ }
3499
+ ]
3500
+ }
3501
+ },
3502
+ {
3503
+ "field": "sortDir",
3504
+ "rhs": {
3505
+ "kind": "app",
3506
+ "opcode": "ite",
3507
+ "args": [
3508
+ {
3509
+ "kind": "name",
3510
+ "name": "controlled"
3511
+ },
3512
+ {
3513
+ "kind": "app",
3514
+ "opcode": "unpackDir",
3515
+ "args": [
3516
+ {
3517
+ "kind": "name",
3518
+ "name": "togglePacked"
3519
+ }
3520
+ ]
3521
+ },
3522
+ {
3523
+ "kind": "name",
3524
+ "name": "sortDir"
3525
+ }
3526
+ ]
3527
+ }
3528
+ },
3529
+ {
3530
+ "field": "controlled",
3531
+ "rhs": {
3532
+ "kind": "name",
3533
+ "name": "controlled"
3534
+ }
3535
+ },
3536
+ {
3537
+ "field": "accepting",
3538
+ "rhs": {
3539
+ "kind": "name",
3540
+ "name": "accepting"
3541
+ }
3542
+ },
3543
+ {
3544
+ "field": "valueProp",
3545
+ "rhs": {
3546
+ "kind": "app",
3547
+ "opcode": "ite",
3548
+ "args": [
3549
+ {
3550
+ "kind": "name",
3551
+ "name": "controlled"
3552
+ },
3553
+ {
3554
+ "kind": "name",
3555
+ "name": "togglePacked"
3556
+ },
3557
+ {
3558
+ "kind": "name",
3559
+ "name": "valueProp"
3560
+ }
3561
+ ]
3562
+ }
3563
+ },
3564
+ {
3565
+ "field": "requested",
3566
+ "rhs": {
3567
+ "kind": "name",
3568
+ "name": "requested"
3569
+ }
3570
+ },
3571
+ {
3572
+ "field": "outcome",
3573
+ "rhs": {
3574
+ "kind": "app",
3575
+ "opcode": "ite",
3576
+ "args": [
3577
+ {
3578
+ "kind": "name",
3579
+ "name": "controlled"
3580
+ },
3581
+ {
3582
+ "kind": "str",
3583
+ "value": "none"
3584
+ },
3585
+ {
3586
+ "kind": "name",
3587
+ "name": "outcome"
3588
+ }
3589
+ ]
3590
+ }
3591
+ },
3592
+ {
3593
+ "field": "base",
3594
+ "rhs": {
3595
+ "kind": "name",
3596
+ "name": "base"
3597
+ }
3598
+ },
3599
+ {
3600
+ "field": "requests",
3601
+ "rhs": {
3602
+ "kind": "name",
3603
+ "name": "requests"
3604
+ }
3605
+ }
3606
+ ]
3607
+ },
3608
+ {
3609
+ "name": "control",
3610
+ "assignments": [
3611
+ {
3612
+ "field": "headerCol",
3613
+ "rhs": {
3614
+ "kind": "name",
3615
+ "name": "headerCol"
3616
+ }
3617
+ },
3618
+ {
3619
+ "field": "hasFocus",
3620
+ "rhs": {
3621
+ "kind": "name",
3622
+ "name": "hasFocus"
3623
+ }
3624
+ },
3625
+ {
3626
+ "field": "sortEnabled",
3627
+ "rhs": {
3628
+ "kind": "name",
3629
+ "name": "sortEnabled"
3630
+ }
3631
+ },
3632
+ {
3633
+ "field": "sortCol",
3634
+ "rhs": {
3635
+ "kind": "name",
3636
+ "name": "sortCol"
3637
+ }
3638
+ },
3639
+ {
3640
+ "field": "sortDir",
3641
+ "rhs": {
3642
+ "kind": "name",
3643
+ "name": "sortDir"
3644
+ }
3645
+ },
3646
+ {
3647
+ "field": "controlled",
3648
+ "rhs": {
3649
+ "kind": "bool",
3650
+ "value": true
3651
+ }
3652
+ },
3653
+ {
3654
+ "field": "accepting",
3655
+ "rhs": {
3656
+ "kind": "name",
3657
+ "name": "accepting"
3658
+ }
3659
+ },
3660
+ {
3661
+ "field": "valueProp",
3662
+ "rhs": {
3663
+ "kind": "name",
3664
+ "name": "nowPacked"
3665
+ }
3666
+ },
3667
+ {
3668
+ "field": "requested",
3669
+ "rhs": {
3670
+ "kind": "name",
3671
+ "name": "requested"
3672
+ }
3673
+ },
3674
+ {
3675
+ "field": "outcome",
3676
+ "rhs": {
3677
+ "kind": "name",
3678
+ "name": "outcome"
3679
+ }
3680
+ },
3681
+ {
3682
+ "field": "base",
3683
+ "rhs": {
3684
+ "kind": "name",
3685
+ "name": "base"
3686
+ }
3687
+ },
3688
+ {
3689
+ "field": "requests",
3690
+ "rhs": {
3691
+ "kind": "name",
3692
+ "name": "requests"
3693
+ }
3694
+ }
3695
+ ]
3696
+ },
3697
+ {
3698
+ "name": "acceptRequests",
3699
+ "assignments": [
3700
+ {
3701
+ "field": "headerCol",
3702
+ "rhs": {
3703
+ "kind": "name",
3704
+ "name": "headerCol"
3705
+ }
3706
+ },
3707
+ {
3708
+ "field": "hasFocus",
3709
+ "rhs": {
3710
+ "kind": "name",
3711
+ "name": "hasFocus"
3712
+ }
3713
+ },
3714
+ {
3715
+ "field": "sortEnabled",
3716
+ "rhs": {
3717
+ "kind": "name",
3718
+ "name": "sortEnabled"
3719
+ }
3720
+ },
3721
+ {
3722
+ "field": "sortCol",
3723
+ "rhs": {
3724
+ "kind": "name",
3725
+ "name": "sortCol"
3726
+ }
3727
+ },
3728
+ {
3729
+ "field": "sortDir",
3730
+ "rhs": {
3731
+ "kind": "name",
3732
+ "name": "sortDir"
3733
+ }
3734
+ },
3735
+ {
3736
+ "field": "controlled",
3737
+ "rhs": {
3738
+ "kind": "name",
3739
+ "name": "controlled"
3740
+ }
3741
+ },
3742
+ {
3743
+ "field": "accepting",
3744
+ "rhs": {
3745
+ "kind": "bool",
3746
+ "value": true
3747
+ }
3748
+ },
3749
+ {
3750
+ "field": "valueProp",
3751
+ "rhs": {
3752
+ "kind": "name",
3753
+ "name": "valueProp"
3754
+ }
3755
+ },
3756
+ {
3757
+ "field": "requested",
3758
+ "rhs": {
3759
+ "kind": "name",
3760
+ "name": "requested"
3761
+ }
3762
+ },
3763
+ {
3764
+ "field": "outcome",
3765
+ "rhs": {
3766
+ "kind": "name",
3767
+ "name": "outcome"
3768
+ }
3769
+ },
3770
+ {
3771
+ "field": "base",
3772
+ "rhs": {
3773
+ "kind": "name",
3774
+ "name": "base"
3775
+ }
3776
+ },
3777
+ {
3778
+ "field": "requests",
3779
+ "rhs": {
3780
+ "kind": "name",
3781
+ "name": "requests"
3782
+ }
3783
+ }
3784
+ ]
3785
+ }
3786
+ ],
3787
+ "step": [
3788
+ "init",
3789
+ "key",
3790
+ "click",
3791
+ "focus_in",
3792
+ "focus_out",
3793
+ "set_sort_enabled",
3794
+ "setValue",
3795
+ "hostToggle",
3796
+ "control",
3797
+ "acceptRequests"
3798
+ ]
3799
+ }