@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/alert.model.json ADDED
@@ -0,0 +1,871 @@
1
+ {
2
+ "generatedFrom": "../../specs/apg/alert.qnt",
3
+ "specHash": "9624ecb9dc3eaa1b5c9d5ccc0a44d695fd0e0f46e384e8248b28ab0f73844bc2",
4
+ "module": "apg_alert",
5
+ "vars": [
6
+ {
7
+ "name": "loaded",
8
+ "type": "bool"
9
+ },
10
+ {
11
+ "name": "mounted",
12
+ "type": "bool"
13
+ },
14
+ {
15
+ "name": "role",
16
+ "type": "str"
17
+ },
18
+ {
19
+ "name": "message",
20
+ "type": "int"
21
+ },
22
+ {
23
+ "name": "nextId",
24
+ "type": "int"
25
+ },
26
+ {
27
+ "name": "announced",
28
+ "type": "int"
29
+ },
30
+ {
31
+ "name": "announcements",
32
+ "type": "int"
33
+ },
34
+ {
35
+ "name": "preloaded",
36
+ "type": "int"
37
+ },
38
+ {
39
+ "name": "focus",
40
+ "type": "str"
41
+ },
42
+ {
43
+ "name": "dismissals",
44
+ "type": "int"
45
+ }
46
+ ],
47
+ "defs": {
48
+ "FocusNeverOnAlert": {
49
+ "kind": "invariant",
50
+ "params": [],
51
+ "body": {
52
+ "kind": "app",
53
+ "opcode": "neq",
54
+ "args": [
55
+ {
56
+ "kind": "name",
57
+ "name": "focus"
58
+ },
59
+ {
60
+ "kind": "str",
61
+ "value": "alert"
62
+ }
63
+ ]
64
+ }
65
+ },
66
+ "RoleWhenMounted": {
67
+ "kind": "invariant",
68
+ "params": [],
69
+ "body": {
70
+ "kind": "app",
71
+ "opcode": "eq",
72
+ "args": [
73
+ {
74
+ "kind": "app",
75
+ "opcode": "eq",
76
+ "args": [
77
+ {
78
+ "kind": "name",
79
+ "name": "role"
80
+ },
81
+ {
82
+ "kind": "str",
83
+ "value": "alert"
84
+ }
85
+ ]
86
+ },
87
+ {
88
+ "kind": "name",
89
+ "name": "mounted"
90
+ }
91
+ ]
92
+ }
93
+ },
94
+ "MountedHasMessage": {
95
+ "kind": "invariant",
96
+ "params": [],
97
+ "body": {
98
+ "kind": "app",
99
+ "opcode": "eq",
100
+ "args": [
101
+ {
102
+ "kind": "name",
103
+ "name": "mounted"
104
+ },
105
+ {
106
+ "kind": "app",
107
+ "opcode": "neq",
108
+ "args": [
109
+ {
110
+ "kind": "name",
111
+ "name": "message"
112
+ },
113
+ {
114
+ "kind": "int",
115
+ "value": "0"
116
+ }
117
+ ]
118
+ }
119
+ ]
120
+ }
121
+ },
122
+ "PreloadedNotAnnounced": {
123
+ "kind": "invariant",
124
+ "params": [],
125
+ "body": {
126
+ "kind": "app",
127
+ "opcode": "or",
128
+ "args": [
129
+ {
130
+ "kind": "app",
131
+ "opcode": "eq",
132
+ "args": [
133
+ {
134
+ "kind": "name",
135
+ "name": "preloaded"
136
+ },
137
+ {
138
+ "kind": "int",
139
+ "value": "0"
140
+ }
141
+ ]
142
+ },
143
+ {
144
+ "kind": "app",
145
+ "opcode": "neq",
146
+ "args": [
147
+ {
148
+ "kind": "name",
149
+ "name": "announced"
150
+ },
151
+ {
152
+ "kind": "name",
153
+ "name": "preloaded"
154
+ }
155
+ ]
156
+ }
157
+ ]
158
+ }
159
+ },
160
+ "LiveMessageAnnounced": {
161
+ "kind": "invariant",
162
+ "params": [],
163
+ "body": {
164
+ "kind": "app",
165
+ "opcode": "or",
166
+ "args": [
167
+ {
168
+ "kind": "app",
169
+ "opcode": "not",
170
+ "args": [
171
+ {
172
+ "kind": "app",
173
+ "opcode": "and",
174
+ "args": [
175
+ {
176
+ "kind": "name",
177
+ "name": "loaded"
178
+ },
179
+ {
180
+ "kind": "name",
181
+ "name": "mounted"
182
+ }
183
+ ]
184
+ }
185
+ ]
186
+ },
187
+ {
188
+ "kind": "app",
189
+ "opcode": "or",
190
+ "args": [
191
+ {
192
+ "kind": "app",
193
+ "opcode": "eq",
194
+ "args": [
195
+ {
196
+ "kind": "name",
197
+ "name": "message"
198
+ },
199
+ {
200
+ "kind": "name",
201
+ "name": "preloaded"
202
+ }
203
+ ]
204
+ },
205
+ {
206
+ "kind": "app",
207
+ "opcode": "eq",
208
+ "args": [
209
+ {
210
+ "kind": "name",
211
+ "name": "announced"
212
+ },
213
+ {
214
+ "kind": "name",
215
+ "name": "message"
216
+ }
217
+ ]
218
+ }
219
+ ]
220
+ }
221
+ ]
222
+ }
223
+ },
224
+ "SilentBeforeLoad": {
225
+ "kind": "invariant",
226
+ "params": [],
227
+ "body": {
228
+ "kind": "app",
229
+ "opcode": "or",
230
+ "args": [
231
+ {
232
+ "kind": "name",
233
+ "name": "loaded"
234
+ },
235
+ {
236
+ "kind": "app",
237
+ "opcode": "eq",
238
+ "args": [
239
+ {
240
+ "kind": "name",
241
+ "name": "announcements"
242
+ },
243
+ {
244
+ "kind": "int",
245
+ "value": "0"
246
+ }
247
+ ]
248
+ }
249
+ ]
250
+ }
251
+ },
252
+ "CountersConsistent": {
253
+ "kind": "invariant",
254
+ "params": [],
255
+ "body": {
256
+ "kind": "app",
257
+ "opcode": "and",
258
+ "args": [
259
+ {
260
+ "kind": "app",
261
+ "opcode": "ilt",
262
+ "args": [
263
+ {
264
+ "kind": "name",
265
+ "name": "announced"
266
+ },
267
+ {
268
+ "kind": "name",
269
+ "name": "nextId"
270
+ }
271
+ ]
272
+ },
273
+ {
274
+ "kind": "app",
275
+ "opcode": "and",
276
+ "args": [
277
+ {
278
+ "kind": "app",
279
+ "opcode": "igte",
280
+ "args": [
281
+ {
282
+ "kind": "name",
283
+ "name": "announcements"
284
+ },
285
+ {
286
+ "kind": "int",
287
+ "value": "0"
288
+ }
289
+ ]
290
+ },
291
+ {
292
+ "kind": "app",
293
+ "opcode": "igte",
294
+ "args": [
295
+ {
296
+ "kind": "name",
297
+ "name": "dismissals"
298
+ },
299
+ {
300
+ "kind": "int",
301
+ "value": "0"
302
+ }
303
+ ]
304
+ }
305
+ ]
306
+ }
307
+ ]
308
+ }
309
+ }
310
+ },
311
+ "actions": [
312
+ {
313
+ "name": "init",
314
+ "assignments": [
315
+ {
316
+ "field": "loaded",
317
+ "rhs": {
318
+ "kind": "bool",
319
+ "value": false
320
+ }
321
+ },
322
+ {
323
+ "field": "mounted",
324
+ "rhs": {
325
+ "kind": "bool",
326
+ "value": false
327
+ }
328
+ },
329
+ {
330
+ "field": "role",
331
+ "rhs": {
332
+ "kind": "str",
333
+ "value": "none"
334
+ }
335
+ },
336
+ {
337
+ "field": "message",
338
+ "rhs": {
339
+ "kind": "int",
340
+ "value": "0"
341
+ }
342
+ },
343
+ {
344
+ "field": "nextId",
345
+ "rhs": {
346
+ "kind": "int",
347
+ "value": "1"
348
+ }
349
+ },
350
+ {
351
+ "field": "announced",
352
+ "rhs": {
353
+ "kind": "int",
354
+ "value": "0"
355
+ }
356
+ },
357
+ {
358
+ "field": "announcements",
359
+ "rhs": {
360
+ "kind": "int",
361
+ "value": "0"
362
+ }
363
+ },
364
+ {
365
+ "field": "preloaded",
366
+ "rhs": {
367
+ "kind": "int",
368
+ "value": "0"
369
+ }
370
+ },
371
+ {
372
+ "field": "focus",
373
+ "rhs": {
374
+ "kind": "str",
375
+ "value": "task"
376
+ }
377
+ },
378
+ {
379
+ "field": "dismissals",
380
+ "rhs": {
381
+ "kind": "int",
382
+ "value": "0"
383
+ }
384
+ }
385
+ ]
386
+ },
387
+ {
388
+ "name": "show",
389
+ "assignments": [
390
+ {
391
+ "field": "loaded",
392
+ "rhs": {
393
+ "kind": "name",
394
+ "name": "loaded"
395
+ }
396
+ },
397
+ {
398
+ "field": "mounted",
399
+ "rhs": {
400
+ "kind": "bool",
401
+ "value": true
402
+ }
403
+ },
404
+ {
405
+ "field": "role",
406
+ "rhs": {
407
+ "kind": "str",
408
+ "value": "alert"
409
+ }
410
+ },
411
+ {
412
+ "field": "message",
413
+ "rhs": {
414
+ "kind": "name",
415
+ "name": "nextId"
416
+ }
417
+ },
418
+ {
419
+ "field": "nextId",
420
+ "rhs": {
421
+ "kind": "app",
422
+ "opcode": "iadd",
423
+ "args": [
424
+ {
425
+ "kind": "name",
426
+ "name": "nextId"
427
+ },
428
+ {
429
+ "kind": "int",
430
+ "value": "1"
431
+ }
432
+ ]
433
+ }
434
+ },
435
+ {
436
+ "field": "announced",
437
+ "rhs": {
438
+ "kind": "app",
439
+ "opcode": "ite",
440
+ "args": [
441
+ {
442
+ "kind": "name",
443
+ "name": "loaded"
444
+ },
445
+ {
446
+ "kind": "name",
447
+ "name": "nextId"
448
+ },
449
+ {
450
+ "kind": "name",
451
+ "name": "announced"
452
+ }
453
+ ]
454
+ }
455
+ },
456
+ {
457
+ "field": "announcements",
458
+ "rhs": {
459
+ "kind": "app",
460
+ "opcode": "ite",
461
+ "args": [
462
+ {
463
+ "kind": "name",
464
+ "name": "loaded"
465
+ },
466
+ {
467
+ "kind": "app",
468
+ "opcode": "iadd",
469
+ "args": [
470
+ {
471
+ "kind": "name",
472
+ "name": "announcements"
473
+ },
474
+ {
475
+ "kind": "int",
476
+ "value": "1"
477
+ }
478
+ ]
479
+ },
480
+ {
481
+ "kind": "name",
482
+ "name": "announcements"
483
+ }
484
+ ]
485
+ }
486
+ },
487
+ {
488
+ "field": "preloaded",
489
+ "rhs": {
490
+ "kind": "app",
491
+ "opcode": "ite",
492
+ "args": [
493
+ {
494
+ "kind": "name",
495
+ "name": "loaded"
496
+ },
497
+ {
498
+ "kind": "name",
499
+ "name": "preloaded"
500
+ },
501
+ {
502
+ "kind": "name",
503
+ "name": "nextId"
504
+ }
505
+ ]
506
+ }
507
+ },
508
+ {
509
+ "field": "focus",
510
+ "rhs": {
511
+ "kind": "name",
512
+ "name": "focus"
513
+ }
514
+ },
515
+ {
516
+ "field": "dismissals",
517
+ "rhs": {
518
+ "kind": "name",
519
+ "name": "dismissals"
520
+ }
521
+ }
522
+ ]
523
+ },
524
+ {
525
+ "name": "load",
526
+ "assignments": [
527
+ {
528
+ "field": "loaded",
529
+ "rhs": {
530
+ "kind": "bool",
531
+ "value": true
532
+ }
533
+ },
534
+ {
535
+ "field": "mounted",
536
+ "rhs": {
537
+ "kind": "name",
538
+ "name": "mounted"
539
+ }
540
+ },
541
+ {
542
+ "field": "role",
543
+ "rhs": {
544
+ "kind": "name",
545
+ "name": "role"
546
+ }
547
+ },
548
+ {
549
+ "field": "message",
550
+ "rhs": {
551
+ "kind": "name",
552
+ "name": "message"
553
+ }
554
+ },
555
+ {
556
+ "field": "nextId",
557
+ "rhs": {
558
+ "kind": "name",
559
+ "name": "nextId"
560
+ }
561
+ },
562
+ {
563
+ "field": "announced",
564
+ "rhs": {
565
+ "kind": "name",
566
+ "name": "announced"
567
+ }
568
+ },
569
+ {
570
+ "field": "announcements",
571
+ "rhs": {
572
+ "kind": "name",
573
+ "name": "announcements"
574
+ }
575
+ },
576
+ {
577
+ "field": "preloaded",
578
+ "rhs": {
579
+ "kind": "app",
580
+ "opcode": "ite",
581
+ "args": [
582
+ {
583
+ "kind": "name",
584
+ "name": "loaded"
585
+ },
586
+ {
587
+ "kind": "name",
588
+ "name": "preloaded"
589
+ },
590
+ {
591
+ "kind": "name",
592
+ "name": "message"
593
+ }
594
+ ]
595
+ }
596
+ },
597
+ {
598
+ "field": "focus",
599
+ "rhs": {
600
+ "kind": "name",
601
+ "name": "focus"
602
+ }
603
+ },
604
+ {
605
+ "field": "dismissals",
606
+ "rhs": {
607
+ "kind": "name",
608
+ "name": "dismissals"
609
+ }
610
+ }
611
+ ]
612
+ },
613
+ {
614
+ "name": "dismiss",
615
+ "assignments": [
616
+ {
617
+ "field": "loaded",
618
+ "rhs": {
619
+ "kind": "name",
620
+ "name": "loaded"
621
+ }
622
+ },
623
+ {
624
+ "field": "mounted",
625
+ "rhs": {
626
+ "kind": "bool",
627
+ "value": false
628
+ }
629
+ },
630
+ {
631
+ "field": "role",
632
+ "rhs": {
633
+ "kind": "str",
634
+ "value": "none"
635
+ }
636
+ },
637
+ {
638
+ "field": "message",
639
+ "rhs": {
640
+ "kind": "int",
641
+ "value": "0"
642
+ }
643
+ },
644
+ {
645
+ "field": "nextId",
646
+ "rhs": {
647
+ "kind": "name",
648
+ "name": "nextId"
649
+ }
650
+ },
651
+ {
652
+ "field": "announced",
653
+ "rhs": {
654
+ "kind": "name",
655
+ "name": "announced"
656
+ }
657
+ },
658
+ {
659
+ "field": "announcements",
660
+ "rhs": {
661
+ "kind": "name",
662
+ "name": "announcements"
663
+ }
664
+ },
665
+ {
666
+ "field": "preloaded",
667
+ "rhs": {
668
+ "kind": "name",
669
+ "name": "preloaded"
670
+ }
671
+ },
672
+ {
673
+ "field": "focus",
674
+ "rhs": {
675
+ "kind": "name",
676
+ "name": "focus"
677
+ }
678
+ },
679
+ {
680
+ "field": "dismissals",
681
+ "rhs": {
682
+ "kind": "app",
683
+ "opcode": "ite",
684
+ "args": [
685
+ {
686
+ "kind": "name",
687
+ "name": "mounted"
688
+ },
689
+ {
690
+ "kind": "app",
691
+ "opcode": "iadd",
692
+ "args": [
693
+ {
694
+ "kind": "name",
695
+ "name": "dismissals"
696
+ },
697
+ {
698
+ "kind": "int",
699
+ "value": "1"
700
+ }
701
+ ]
702
+ },
703
+ {
704
+ "kind": "name",
705
+ "name": "dismissals"
706
+ }
707
+ ]
708
+ }
709
+ }
710
+ ]
711
+ },
712
+ {
713
+ "name": "focusTask",
714
+ "assignments": [
715
+ {
716
+ "field": "loaded",
717
+ "rhs": {
718
+ "kind": "name",
719
+ "name": "loaded"
720
+ }
721
+ },
722
+ {
723
+ "field": "mounted",
724
+ "rhs": {
725
+ "kind": "name",
726
+ "name": "mounted"
727
+ }
728
+ },
729
+ {
730
+ "field": "role",
731
+ "rhs": {
732
+ "kind": "name",
733
+ "name": "role"
734
+ }
735
+ },
736
+ {
737
+ "field": "message",
738
+ "rhs": {
739
+ "kind": "name",
740
+ "name": "message"
741
+ }
742
+ },
743
+ {
744
+ "field": "nextId",
745
+ "rhs": {
746
+ "kind": "name",
747
+ "name": "nextId"
748
+ }
749
+ },
750
+ {
751
+ "field": "announced",
752
+ "rhs": {
753
+ "kind": "name",
754
+ "name": "announced"
755
+ }
756
+ },
757
+ {
758
+ "field": "announcements",
759
+ "rhs": {
760
+ "kind": "name",
761
+ "name": "announcements"
762
+ }
763
+ },
764
+ {
765
+ "field": "preloaded",
766
+ "rhs": {
767
+ "kind": "name",
768
+ "name": "preloaded"
769
+ }
770
+ },
771
+ {
772
+ "field": "focus",
773
+ "rhs": {
774
+ "kind": "str",
775
+ "value": "task"
776
+ }
777
+ },
778
+ {
779
+ "field": "dismissals",
780
+ "rhs": {
781
+ "kind": "name",
782
+ "name": "dismissals"
783
+ }
784
+ }
785
+ ]
786
+ },
787
+ {
788
+ "name": "focusOther",
789
+ "assignments": [
790
+ {
791
+ "field": "loaded",
792
+ "rhs": {
793
+ "kind": "name",
794
+ "name": "loaded"
795
+ }
796
+ },
797
+ {
798
+ "field": "mounted",
799
+ "rhs": {
800
+ "kind": "name",
801
+ "name": "mounted"
802
+ }
803
+ },
804
+ {
805
+ "field": "role",
806
+ "rhs": {
807
+ "kind": "name",
808
+ "name": "role"
809
+ }
810
+ },
811
+ {
812
+ "field": "message",
813
+ "rhs": {
814
+ "kind": "name",
815
+ "name": "message"
816
+ }
817
+ },
818
+ {
819
+ "field": "nextId",
820
+ "rhs": {
821
+ "kind": "name",
822
+ "name": "nextId"
823
+ }
824
+ },
825
+ {
826
+ "field": "announced",
827
+ "rhs": {
828
+ "kind": "name",
829
+ "name": "announced"
830
+ }
831
+ },
832
+ {
833
+ "field": "announcements",
834
+ "rhs": {
835
+ "kind": "name",
836
+ "name": "announcements"
837
+ }
838
+ },
839
+ {
840
+ "field": "preloaded",
841
+ "rhs": {
842
+ "kind": "name",
843
+ "name": "preloaded"
844
+ }
845
+ },
846
+ {
847
+ "field": "focus",
848
+ "rhs": {
849
+ "kind": "str",
850
+ "value": "other"
851
+ }
852
+ },
853
+ {
854
+ "field": "dismissals",
855
+ "rhs": {
856
+ "kind": "name",
857
+ "name": "dismissals"
858
+ }
859
+ }
860
+ ]
861
+ }
862
+ ],
863
+ "step": [
864
+ "init",
865
+ "show",
866
+ "load",
867
+ "dismiss",
868
+ "focusTask",
869
+ "focusOther"
870
+ ]
871
+ }