@cssints/apg-specs 0.17.0 → 0.19.0

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 (5) hide show
  1. package/dist/apg/slider.model.json +1 -1
  2. package/dist/apg/spinbutton.model.json +1 -1
  3. package/package.json +1 -1
  4. package/specs/apg/slider.qnt +9 -4
  5. package/specs/apg/spinbutton.qnt +6 -0
package/dist/apg/slider.model.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "generatedFrom": "../../specs/apg/slider.qnt",
3
- "specHash": "189f136f0b8c0e2ab5d6f3dc6145065fac2e2d0f97d2b54b720af8d8f390e635",
3
+ "specHash": "7f8cabe937ca10920c10b5bda488a1ab01e76b75b8ffc8ae61a4abf8d0c8131d",
4
4
  "module": "apg_slider",
5
5
  "vars": [
6
6
  {
package/dist/apg/spinbutton.model.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "generatedFrom": "../../specs/apg/spinbutton.qnt",
3
- "specHash": "19c6cf077a7017c6cb2df08b2ff6749bed9f75056e77a5f7084b393967cca18f",
3
+ "specHash": "2cec7069c44874e465cbdf1a751fa272ff8272be19d3bc84ab2edc5574673e3a",
4
4
  "module": "apg_spinbutton",
5
5
  "vars": [
6
6
  {
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@cssints/apg-specs",
3
- "version": "0.17.0",
3
+ "version": "0.19.0",
4
4
  "description": "APG widget specs: Quint sources, generated models, scenario bridges and ported scenario sets, the test oracle of headless widgets",
5
5
  "license": "MIT",
6
6
  "repository": {
package/specs/apg/slider.qnt CHANGED
@@ -45,10 +45,15 @@
45
45
  // press always land on the grid.
46
46
  // - Dragging (pointer capture, move events): only a discrete pointer
47
47
  // "press at value" is modelled, snapped to the step grid and clamped.
48
- // - Disabled / read-only, touch assistive-technology key synthesis, and
49
- // aria-valuetext formatting (units, locale): a real widget formats the text
50
- // from its own value; the spec only fixes WHEN the text is derived (always,
51
- // from valuenow).
48
+ // - Disabled / read-only: the primitive's widget-level `disabled` is a
49
+ // deliberate extension of the pattern, and the machine has no `disabled`
50
+ // var. So the model carries no invariant for it ("a disabled thumb drops
51
+ // every key and rail press and announces aria-disabled"); its oracle is the
52
+ // DOM test in `packages/headless/test/slider.browser.test.tsx`. Read-only is
53
+ // not offered at all.
54
+ // - Touch assistive-technology key synthesis, and aria-valuetext formatting
55
+ // (units, locale): a real widget formats the text from its own value; the
56
+ // spec only fixes WHEN the text is derived (always, from valuenow).
52
57
  // - The range (0..10) is fixed; `configure` varies step, large step and the
53
58
  // starting value. The bridge rejects a config outside the variant table.
54
59
  module apg_slider {
package/specs/apg/spinbutton.qnt CHANGED
@@ -49,6 +49,12 @@
49
49
  // is replaced wholesale by a sample text.
50
50
  // - the commit/revert policy (Enter/Escape/blur) is a widely used
51
51
  // convention, not APG text; so is the buttons' aria-disabled-at-bound.
52
+ // - a widget-level `disabled`: a deliberate extension of the pattern, not
53
+ // modelled. The machine's only disabled state is the steppers' at-bound
54
+ // one (`DisabledOnlyAtBound`); it has no `disabled` var, so it cannot say
55
+ // "while disabled, keys, typing and both steppers change nothing and both
56
+ // steppers announce aria-disabled". The DOM test in
57
+ // `packages/headless/test/spinbutton.browser.test.tsx` is its oracle.
52
58
  // - press-and-hold auto-repeat on the buttons, mouse wheel.
53
59
  //
54
60
  // Generator notes: no action preconditions (guards live in the assignment