@cssints/apg-specs 0.0.0-stage → 0.5.1

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/meter.model.json ADDED
@@ -0,0 +1,1185 @@
1
+ {
2
+ "generatedFrom": "../../specs/apg/meter.qnt",
3
+ "specHash": "b72cfa3231ecf06c295309e94669a7b8d1c4b65b4a45c9ef323ddaab5a56c900",
4
+ "module": "apg_meter",
5
+ "vars": [
6
+ {
7
+ "name": "min",
8
+ "type": "int"
9
+ },
10
+ {
11
+ "name": "max",
12
+ "type": "int"
13
+ },
14
+ {
15
+ "name": "raw",
16
+ "type": "int"
17
+ },
18
+ {
19
+ "name": "now",
20
+ "type": "int"
21
+ },
22
+ {
23
+ "name": "friendly",
24
+ "type": "bool"
25
+ },
26
+ {
27
+ "name": "hasText",
28
+ "type": "bool"
29
+ },
30
+ {
31
+ "name": "textNow",
32
+ "type": "int"
33
+ }
34
+ ],
35
+ "defs": {
36
+ "clamp": {
37
+ "kind": "function",
38
+ "params": [
39
+ "v",
40
+ "lo",
41
+ "hi"
42
+ ],
43
+ "body": {
44
+ "kind": "app",
45
+ "opcode": "ite",
46
+ "args": [
47
+ {
48
+ "kind": "app",
49
+ "opcode": "ilt",
50
+ "args": [
51
+ {
52
+ "kind": "name",
53
+ "name": "v"
54
+ },
55
+ {
56
+ "kind": "name",
57
+ "name": "lo"
58
+ }
59
+ ]
60
+ },
61
+ {
62
+ "kind": "name",
63
+ "name": "lo"
64
+ },
65
+ {
66
+ "kind": "app",
67
+ "opcode": "ite",
68
+ "args": [
69
+ {
70
+ "kind": "app",
71
+ "opcode": "igt",
72
+ "args": [
73
+ {
74
+ "kind": "name",
75
+ "name": "v"
76
+ },
77
+ {
78
+ "kind": "name",
79
+ "name": "hi"
80
+ }
81
+ ]
82
+ },
83
+ {
84
+ "kind": "name",
85
+ "name": "hi"
86
+ },
87
+ {
88
+ "kind": "name",
89
+ "name": "v"
90
+ }
91
+ ]
92
+ }
93
+ ]
94
+ }
95
+ },
96
+ "loOf": {
97
+ "kind": "function",
98
+ "params": [
99
+ "r"
100
+ ],
101
+ "body": {
102
+ "kind": "app",
103
+ "opcode": "ite",
104
+ "args": [
105
+ {
106
+ "kind": "app",
107
+ "opcode": "eq",
108
+ "args": [
109
+ {
110
+ "kind": "name",
111
+ "name": "r"
112
+ },
113
+ {
114
+ "kind": "int",
115
+ "value": "0"
116
+ }
117
+ ]
118
+ },
119
+ {
120
+ "kind": "int",
121
+ "value": "0"
122
+ },
123
+ {
124
+ "kind": "app",
125
+ "opcode": "ite",
126
+ "args": [
127
+ {
128
+ "kind": "app",
129
+ "opcode": "eq",
130
+ "args": [
131
+ {
132
+ "kind": "name",
133
+ "name": "r"
134
+ },
135
+ {
136
+ "kind": "int",
137
+ "value": "1"
138
+ }
139
+ ]
140
+ },
141
+ {
142
+ "kind": "int",
143
+ "value": "10"
144
+ },
145
+ {
146
+ "kind": "app",
147
+ "opcode": "ite",
148
+ "args": [
149
+ {
150
+ "kind": "app",
151
+ "opcode": "eq",
152
+ "args": [
153
+ {
154
+ "kind": "name",
155
+ "name": "r"
156
+ },
157
+ {
158
+ "kind": "int",
159
+ "value": "2"
160
+ }
161
+ ]
162
+ },
163
+ {
164
+ "kind": "int",
165
+ "value": "20"
166
+ },
167
+ {
168
+ "kind": "app",
169
+ "opcode": "ite",
170
+ "args": [
171
+ {
172
+ "kind": "app",
173
+ "opcode": "eq",
174
+ "args": [
175
+ {
176
+ "kind": "name",
177
+ "name": "r"
178
+ },
179
+ {
180
+ "kind": "int",
181
+ "value": "3"
182
+ }
183
+ ]
184
+ },
185
+ {
186
+ "kind": "int",
187
+ "value": "20"
188
+ },
189
+ {
190
+ "kind": "int",
191
+ "value": "10"
192
+ }
193
+ ]
194
+ }
195
+ ]
196
+ }
197
+ ]
198
+ }
199
+ ]
200
+ }
201
+ },
202
+ "hiOf": {
203
+ "kind": "function",
204
+ "params": [
205
+ "r"
206
+ ],
207
+ "body": {
208
+ "kind": "app",
209
+ "opcode": "ite",
210
+ "args": [
211
+ {
212
+ "kind": "app",
213
+ "opcode": "eq",
214
+ "args": [
215
+ {
216
+ "kind": "name",
217
+ "name": "r"
218
+ },
219
+ {
220
+ "kind": "int",
221
+ "value": "0"
222
+ }
223
+ ]
224
+ },
225
+ {
226
+ "kind": "int",
227
+ "value": "100"
228
+ },
229
+ {
230
+ "kind": "app",
231
+ "opcode": "ite",
232
+ "args": [
233
+ {
234
+ "kind": "app",
235
+ "opcode": "eq",
236
+ "args": [
237
+ {
238
+ "kind": "name",
239
+ "name": "r"
240
+ },
241
+ {
242
+ "kind": "int",
243
+ "value": "1"
244
+ }
245
+ ]
246
+ },
247
+ {
248
+ "kind": "int",
249
+ "value": "50"
250
+ },
251
+ {
252
+ "kind": "app",
253
+ "opcode": "ite",
254
+ "args": [
255
+ {
256
+ "kind": "app",
257
+ "opcode": "eq",
258
+ "args": [
259
+ {
260
+ "kind": "name",
261
+ "name": "r"
262
+ },
263
+ {
264
+ "kind": "int",
265
+ "value": "2"
266
+ }
267
+ ]
268
+ },
269
+ {
270
+ "kind": "int",
271
+ "value": "200"
272
+ },
273
+ {
274
+ "kind": "app",
275
+ "opcode": "ite",
276
+ "args": [
277
+ {
278
+ "kind": "app",
279
+ "opcode": "eq",
280
+ "args": [
281
+ {
282
+ "kind": "name",
283
+ "name": "r"
284
+ },
285
+ {
286
+ "kind": "int",
287
+ "value": "3"
288
+ }
289
+ ]
290
+ },
291
+ {
292
+ "kind": "int",
293
+ "value": "10"
294
+ },
295
+ {
296
+ "kind": "int",
297
+ "value": "10"
298
+ }
299
+ ]
300
+ }
301
+ ]
302
+ }
303
+ ]
304
+ }
305
+ ]
306
+ }
307
+ },
308
+ "pickMin": {
309
+ "kind": "function",
310
+ "params": [
311
+ "lo",
312
+ "hi"
313
+ ],
314
+ "body": {
315
+ "kind": "app",
316
+ "opcode": "ite",
317
+ "args": [
318
+ {
319
+ "kind": "app",
320
+ "opcode": "ilt",
321
+ "args": [
322
+ {
323
+ "kind": "name",
324
+ "name": "lo"
325
+ },
326
+ {
327
+ "kind": "name",
328
+ "name": "hi"
329
+ }
330
+ ]
331
+ },
332
+ {
333
+ "kind": "name",
334
+ "name": "lo"
335
+ },
336
+ {
337
+ "kind": "name",
338
+ "name": "min"
339
+ }
340
+ ]
341
+ }
342
+ },
343
+ "pickMax": {
344
+ "kind": "function",
345
+ "params": [
346
+ "lo",
347
+ "hi"
348
+ ],
349
+ "body": {
350
+ "kind": "app",
351
+ "opcode": "ite",
352
+ "args": [
353
+ {
354
+ "kind": "app",
355
+ "opcode": "ilt",
356
+ "args": [
357
+ {
358
+ "kind": "name",
359
+ "name": "lo"
360
+ },
361
+ {
362
+ "kind": "name",
363
+ "name": "hi"
364
+ }
365
+ ]
366
+ },
367
+ {
368
+ "kind": "name",
369
+ "name": "hi"
370
+ },
371
+ {
372
+ "kind": "name",
373
+ "name": "max"
374
+ }
375
+ ]
376
+ }
377
+ },
378
+ "RangeValid": {
379
+ "kind": "invariant",
380
+ "params": [],
381
+ "body": {
382
+ "kind": "app",
383
+ "opcode": "ilt",
384
+ "args": [
385
+ {
386
+ "kind": "name",
387
+ "name": "min"
388
+ },
389
+ {
390
+ "kind": "name",
391
+ "name": "max"
392
+ }
393
+ ]
394
+ }
395
+ },
396
+ "NowInRange": {
397
+ "kind": "invariant",
398
+ "params": [],
399
+ "body": {
400
+ "kind": "app",
401
+ "opcode": "and",
402
+ "args": [
403
+ {
404
+ "kind": "app",
405
+ "opcode": "ilte",
406
+ "args": [
407
+ {
408
+ "kind": "name",
409
+ "name": "min"
410
+ },
411
+ {
412
+ "kind": "name",
413
+ "name": "now"
414
+ }
415
+ ]
416
+ },
417
+ {
418
+ "kind": "app",
419
+ "opcode": "ilte",
420
+ "args": [
421
+ {
422
+ "kind": "name",
423
+ "name": "now"
424
+ },
425
+ {
426
+ "kind": "name",
427
+ "name": "max"
428
+ }
429
+ ]
430
+ }
431
+ ]
432
+ }
433
+ },
434
+ "NowIsClampedRaw": {
435
+ "kind": "invariant",
436
+ "params": [],
437
+ "body": {
438
+ "kind": "app",
439
+ "opcode": "eq",
440
+ "args": [
441
+ {
442
+ "kind": "name",
443
+ "name": "now"
444
+ },
445
+ {
446
+ "kind": "app",
447
+ "opcode": "clamp",
448
+ "args": [
449
+ {
450
+ "kind": "name",
451
+ "name": "raw"
452
+ },
453
+ {
454
+ "kind": "name",
455
+ "name": "min"
456
+ },
457
+ {
458
+ "kind": "name",
459
+ "name": "max"
460
+ }
461
+ ]
462
+ }
463
+ ]
464
+ }
465
+ },
466
+ "TextWhenNotFriendly": {
467
+ "kind": "invariant",
468
+ "params": [],
469
+ "body": {
470
+ "kind": "app",
471
+ "opcode": "or",
472
+ "args": [
473
+ {
474
+ "kind": "name",
475
+ "name": "friendly"
476
+ },
477
+ {
478
+ "kind": "name",
479
+ "name": "hasText"
480
+ }
481
+ ]
482
+ }
483
+ },
484
+ "TextNeverStale": {
485
+ "kind": "invariant",
486
+ "params": [],
487
+ "body": {
488
+ "kind": "app",
489
+ "opcode": "ite",
490
+ "args": [
491
+ {
492
+ "kind": "name",
493
+ "name": "hasText"
494
+ },
495
+ {
496
+ "kind": "app",
497
+ "opcode": "eq",
498
+ "args": [
499
+ {
500
+ "kind": "name",
501
+ "name": "textNow"
502
+ },
503
+ {
504
+ "kind": "name",
505
+ "name": "now"
506
+ }
507
+ ]
508
+ },
509
+ {
510
+ "kind": "app",
511
+ "opcode": "eq",
512
+ "args": [
513
+ {
514
+ "kind": "name",
515
+ "name": "textNow"
516
+ },
517
+ {
518
+ "kind": "int",
519
+ "value": "0"
520
+ }
521
+ ]
522
+ }
523
+ ]
524
+ }
525
+ }
526
+ },
527
+ "actions": [
528
+ {
529
+ "name": "init",
530
+ "assignments": [
531
+ {
532
+ "field": "min",
533
+ "rhs": {
534
+ "kind": "int",
535
+ "value": "0"
536
+ }
537
+ },
538
+ {
539
+ "field": "max",
540
+ "rhs": {
541
+ "kind": "int",
542
+ "value": "100"
543
+ }
544
+ },
545
+ {
546
+ "field": "raw",
547
+ "rhs": {
548
+ "kind": "int",
549
+ "value": "50"
550
+ }
551
+ },
552
+ {
553
+ "field": "now",
554
+ "rhs": {
555
+ "kind": "int",
556
+ "value": "50"
557
+ }
558
+ },
559
+ {
560
+ "field": "friendly",
561
+ "rhs": {
562
+ "kind": "bool",
563
+ "value": true
564
+ }
565
+ },
566
+ {
567
+ "field": "hasText",
568
+ "rhs": {
569
+ "kind": "bool",
570
+ "value": false
571
+ }
572
+ },
573
+ {
574
+ "field": "textNow",
575
+ "rhs": {
576
+ "kind": "int",
577
+ "value": "0"
578
+ }
579
+ }
580
+ ]
581
+ },
582
+ {
583
+ "name": "setValue",
584
+ "nondet": {
585
+ "name": "v",
586
+ "kind": "int",
587
+ "pool": [
588
+ "-5",
589
+ "0",
590
+ "5",
591
+ "15",
592
+ "25",
593
+ "60",
594
+ "100",
595
+ "150"
596
+ ]
597
+ },
598
+ "assignments": [
599
+ {
600
+ "field": "min",
601
+ "rhs": {
602
+ "kind": "name",
603
+ "name": "min"
604
+ }
605
+ },
606
+ {
607
+ "field": "max",
608
+ "rhs": {
609
+ "kind": "name",
610
+ "name": "max"
611
+ }
612
+ },
613
+ {
614
+ "field": "raw",
615
+ "rhs": {
616
+ "kind": "name",
617
+ "name": "v"
618
+ }
619
+ },
620
+ {
621
+ "field": "now",
622
+ "rhs": {
623
+ "kind": "app",
624
+ "opcode": "clamp",
625
+ "args": [
626
+ {
627
+ "kind": "name",
628
+ "name": "v"
629
+ },
630
+ {
631
+ "kind": "name",
632
+ "name": "min"
633
+ },
634
+ {
635
+ "kind": "name",
636
+ "name": "max"
637
+ }
638
+ ]
639
+ }
640
+ },
641
+ {
642
+ "field": "friendly",
643
+ "rhs": {
644
+ "kind": "name",
645
+ "name": "friendly"
646
+ }
647
+ },
648
+ {
649
+ "field": "hasText",
650
+ "rhs": {
651
+ "kind": "name",
652
+ "name": "hasText"
653
+ }
654
+ },
655
+ {
656
+ "field": "textNow",
657
+ "rhs": {
658
+ "kind": "app",
659
+ "opcode": "ite",
660
+ "args": [
661
+ {
662
+ "kind": "name",
663
+ "name": "hasText"
664
+ },
665
+ {
666
+ "kind": "app",
667
+ "opcode": "clamp",
668
+ "args": [
669
+ {
670
+ "kind": "name",
671
+ "name": "v"
672
+ },
673
+ {
674
+ "kind": "name",
675
+ "name": "min"
676
+ },
677
+ {
678
+ "kind": "name",
679
+ "name": "max"
680
+ }
681
+ ]
682
+ },
683
+ {
684
+ "kind": "int",
685
+ "value": "0"
686
+ }
687
+ ]
688
+ }
689
+ }
690
+ ]
691
+ },
692
+ {
693
+ "name": "setRange",
694
+ "nondet": {
695
+ "name": "r",
696
+ "kind": "int",
697
+ "pool": [
698
+ "0",
699
+ "1",
700
+ "2",
701
+ "3",
702
+ "4"
703
+ ]
704
+ },
705
+ "assignments": [
706
+ {
707
+ "field": "min",
708
+ "rhs": {
709
+ "kind": "app",
710
+ "opcode": "pickMin",
711
+ "args": [
712
+ {
713
+ "kind": "app",
714
+ "opcode": "loOf",
715
+ "args": [
716
+ {
717
+ "kind": "name",
718
+ "name": "r"
719
+ }
720
+ ]
721
+ },
722
+ {
723
+ "kind": "app",
724
+ "opcode": "hiOf",
725
+ "args": [
726
+ {
727
+ "kind": "name",
728
+ "name": "r"
729
+ }
730
+ ]
731
+ }
732
+ ]
733
+ }
734
+ },
735
+ {
736
+ "field": "max",
737
+ "rhs": {
738
+ "kind": "app",
739
+ "opcode": "pickMax",
740
+ "args": [
741
+ {
742
+ "kind": "app",
743
+ "opcode": "loOf",
744
+ "args": [
745
+ {
746
+ "kind": "name",
747
+ "name": "r"
748
+ }
749
+ ]
750
+ },
751
+ {
752
+ "kind": "app",
753
+ "opcode": "hiOf",
754
+ "args": [
755
+ {
756
+ "kind": "name",
757
+ "name": "r"
758
+ }
759
+ ]
760
+ }
761
+ ]
762
+ }
763
+ },
764
+ {
765
+ "field": "raw",
766
+ "rhs": {
767
+ "kind": "name",
768
+ "name": "raw"
769
+ }
770
+ },
771
+ {
772
+ "field": "now",
773
+ "rhs": {
774
+ "kind": "app",
775
+ "opcode": "clamp",
776
+ "args": [
777
+ {
778
+ "kind": "name",
779
+ "name": "raw"
780
+ },
781
+ {
782
+ "kind": "app",
783
+ "opcode": "pickMin",
784
+ "args": [
785
+ {
786
+ "kind": "app",
787
+ "opcode": "loOf",
788
+ "args": [
789
+ {
790
+ "kind": "name",
791
+ "name": "r"
792
+ }
793
+ ]
794
+ },
795
+ {
796
+ "kind": "app",
797
+ "opcode": "hiOf",
798
+ "args": [
799
+ {
800
+ "kind": "name",
801
+ "name": "r"
802
+ }
803
+ ]
804
+ }
805
+ ]
806
+ },
807
+ {
808
+ "kind": "app",
809
+ "opcode": "pickMax",
810
+ "args": [
811
+ {
812
+ "kind": "app",
813
+ "opcode": "loOf",
814
+ "args": [
815
+ {
816
+ "kind": "name",
817
+ "name": "r"
818
+ }
819
+ ]
820
+ },
821
+ {
822
+ "kind": "app",
823
+ "opcode": "hiOf",
824
+ "args": [
825
+ {
826
+ "kind": "name",
827
+ "name": "r"
828
+ }
829
+ ]
830
+ }
831
+ ]
832
+ }
833
+ ]
834
+ }
835
+ },
836
+ {
837
+ "field": "friendly",
838
+ "rhs": {
839
+ "kind": "name",
840
+ "name": "friendly"
841
+ }
842
+ },
843
+ {
844
+ "field": "hasText",
845
+ "rhs": {
846
+ "kind": "name",
847
+ "name": "hasText"
848
+ }
849
+ },
850
+ {
851
+ "field": "textNow",
852
+ "rhs": {
853
+ "kind": "app",
854
+ "opcode": "ite",
855
+ "args": [
856
+ {
857
+ "kind": "name",
858
+ "name": "hasText"
859
+ },
860
+ {
861
+ "kind": "app",
862
+ "opcode": "clamp",
863
+ "args": [
864
+ {
865
+ "kind": "name",
866
+ "name": "raw"
867
+ },
868
+ {
869
+ "kind": "app",
870
+ "opcode": "pickMin",
871
+ "args": [
872
+ {
873
+ "kind": "app",
874
+ "opcode": "loOf",
875
+ "args": [
876
+ {
877
+ "kind": "name",
878
+ "name": "r"
879
+ }
880
+ ]
881
+ },
882
+ {
883
+ "kind": "app",
884
+ "opcode": "hiOf",
885
+ "args": [
886
+ {
887
+ "kind": "name",
888
+ "name": "r"
889
+ }
890
+ ]
891
+ }
892
+ ]
893
+ },
894
+ {
895
+ "kind": "app",
896
+ "opcode": "pickMax",
897
+ "args": [
898
+ {
899
+ "kind": "app",
900
+ "opcode": "loOf",
901
+ "args": [
902
+ {
903
+ "kind": "name",
904
+ "name": "r"
905
+ }
906
+ ]
907
+ },
908
+ {
909
+ "kind": "app",
910
+ "opcode": "hiOf",
911
+ "args": [
912
+ {
913
+ "kind": "name",
914
+ "name": "r"
915
+ }
916
+ ]
917
+ }
918
+ ]
919
+ }
920
+ ]
921
+ },
922
+ {
923
+ "kind": "int",
924
+ "value": "0"
925
+ }
926
+ ]
927
+ }
928
+ }
929
+ ]
930
+ },
931
+ {
932
+ "name": "addText",
933
+ "assignments": [
934
+ {
935
+ "field": "min",
936
+ "rhs": {
937
+ "kind": "name",
938
+ "name": "min"
939
+ }
940
+ },
941
+ {
942
+ "field": "max",
943
+ "rhs": {
944
+ "kind": "name",
945
+ "name": "max"
946
+ }
947
+ },
948
+ {
949
+ "field": "raw",
950
+ "rhs": {
951
+ "kind": "name",
952
+ "name": "raw"
953
+ }
954
+ },
955
+ {
956
+ "field": "now",
957
+ "rhs": {
958
+ "kind": "name",
959
+ "name": "now"
960
+ }
961
+ },
962
+ {
963
+ "field": "friendly",
964
+ "rhs": {
965
+ "kind": "name",
966
+ "name": "friendly"
967
+ }
968
+ },
969
+ {
970
+ "field": "hasText",
971
+ "rhs": {
972
+ "kind": "bool",
973
+ "value": true
974
+ }
975
+ },
976
+ {
977
+ "field": "textNow",
978
+ "rhs": {
979
+ "kind": "name",
980
+ "name": "now"
981
+ }
982
+ }
983
+ ]
984
+ },
985
+ {
986
+ "name": "removeText",
987
+ "assignments": [
988
+ {
989
+ "field": "min",
990
+ "rhs": {
991
+ "kind": "name",
992
+ "name": "min"
993
+ }
994
+ },
995
+ {
996
+ "field": "max",
997
+ "rhs": {
998
+ "kind": "name",
999
+ "name": "max"
1000
+ }
1001
+ },
1002
+ {
1003
+ "field": "raw",
1004
+ "rhs": {
1005
+ "kind": "name",
1006
+ "name": "raw"
1007
+ }
1008
+ },
1009
+ {
1010
+ "field": "now",
1011
+ "rhs": {
1012
+ "kind": "name",
1013
+ "name": "now"
1014
+ }
1015
+ },
1016
+ {
1017
+ "field": "friendly",
1018
+ "rhs": {
1019
+ "kind": "name",
1020
+ "name": "friendly"
1021
+ }
1022
+ },
1023
+ {
1024
+ "field": "hasText",
1025
+ "rhs": {
1026
+ "kind": "app",
1027
+ "opcode": "ite",
1028
+ "args": [
1029
+ {
1030
+ "kind": "name",
1031
+ "name": "friendly"
1032
+ },
1033
+ {
1034
+ "kind": "bool",
1035
+ "value": false
1036
+ },
1037
+ {
1038
+ "kind": "name",
1039
+ "name": "hasText"
1040
+ }
1041
+ ]
1042
+ }
1043
+ },
1044
+ {
1045
+ "field": "textNow",
1046
+ "rhs": {
1047
+ "kind": "app",
1048
+ "opcode": "ite",
1049
+ "args": [
1050
+ {
1051
+ "kind": "name",
1052
+ "name": "friendly"
1053
+ },
1054
+ {
1055
+ "kind": "int",
1056
+ "value": "0"
1057
+ },
1058
+ {
1059
+ "kind": "name",
1060
+ "name": "textNow"
1061
+ }
1062
+ ]
1063
+ }
1064
+ }
1065
+ ]
1066
+ },
1067
+ {
1068
+ "name": "percentFriendly",
1069
+ "assignments": [
1070
+ {
1071
+ "field": "min",
1072
+ "rhs": {
1073
+ "kind": "name",
1074
+ "name": "min"
1075
+ }
1076
+ },
1077
+ {
1078
+ "field": "max",
1079
+ "rhs": {
1080
+ "kind": "name",
1081
+ "name": "max"
1082
+ }
1083
+ },
1084
+ {
1085
+ "field": "raw",
1086
+ "rhs": {
1087
+ "kind": "name",
1088
+ "name": "raw"
1089
+ }
1090
+ },
1091
+ {
1092
+ "field": "now",
1093
+ "rhs": {
1094
+ "kind": "name",
1095
+ "name": "now"
1096
+ }
1097
+ },
1098
+ {
1099
+ "field": "friendly",
1100
+ "rhs": {
1101
+ "kind": "bool",
1102
+ "value": true
1103
+ }
1104
+ },
1105
+ {
1106
+ "field": "hasText",
1107
+ "rhs": {
1108
+ "kind": "name",
1109
+ "name": "hasText"
1110
+ }
1111
+ },
1112
+ {
1113
+ "field": "textNow",
1114
+ "rhs": {
1115
+ "kind": "name",
1116
+ "name": "textNow"
1117
+ }
1118
+ }
1119
+ ]
1120
+ },
1121
+ {
1122
+ "name": "percentUnfriendly",
1123
+ "assignments": [
1124
+ {
1125
+ "field": "min",
1126
+ "rhs": {
1127
+ "kind": "name",
1128
+ "name": "min"
1129
+ }
1130
+ },
1131
+ {
1132
+ "field": "max",
1133
+ "rhs": {
1134
+ "kind": "name",
1135
+ "name": "max"
1136
+ }
1137
+ },
1138
+ {
1139
+ "field": "raw",
1140
+ "rhs": {
1141
+ "kind": "name",
1142
+ "name": "raw"
1143
+ }
1144
+ },
1145
+ {
1146
+ "field": "now",
1147
+ "rhs": {
1148
+ "kind": "name",
1149
+ "name": "now"
1150
+ }
1151
+ },
1152
+ {
1153
+ "field": "friendly",
1154
+ "rhs": {
1155
+ "kind": "bool",
1156
+ "value": false
1157
+ }
1158
+ },
1159
+ {
1160
+ "field": "hasText",
1161
+ "rhs": {
1162
+ "kind": "bool",
1163
+ "value": true
1164
+ }
1165
+ },
1166
+ {
1167
+ "field": "textNow",
1168
+ "rhs": {
1169
+ "kind": "name",
1170
+ "name": "now"
1171
+ }
1172
+ }
1173
+ ]
1174
+ }
1175
+ ],
1176
+ "step": [
1177
+ "init",
1178
+ "setValue",
1179
+ "setRange",
1180
+ "addText",
1181
+ "removeText",
1182
+ "percentFriendly",
1183
+ "percentUnfriendly"
1184
+ ]
1185
+ }