tree-sitter-bynk 0.492.1 → 0.504.3

package/grammar.js

@@ -270,6 +270,8 @@ module.exports = grammar({
         $.consumes_decl,
         $.env_clause,
         $.stub_clause,
+        $.fixture_decl,
+        $.fn_decl,
         $.case,
         $.property_decl,
       ),
@@ -470,6 +472,16 @@ module.exports = grammar({
         field("path", $.string_literal),
       ),
 
+    // #2841: `fixture name = "fixtures/…"` in a suite body — a project file's
+    // text as a `String` constant for the suite's cases. Contextual `fixture`.
+    fixture_decl: ($) =>
+      seq(
+        "fixture",
+        field("name", $.identifier),
+        "=",
+        field("path", $.string_literal),
+      ),
+
     // #2617 (named constants): `const Name: Type = <static expression>` — a
     // named value. Admitted in every body like `embed`; placement
     // (`bynk.resolve.const_outside_context_or_commons`), the name's case
@@ -561,6 +573,7 @@ module.exports = grammar({
         "NonNegative",
         "Positive",
         "NonEmpty",
+        "IsoDate",
       ),
     // v0.21/v0.142 (ADR 0166): a refinement-bound number may be negated —
     // `InRange(-1_000, 1_000_000)` — mirroring `parse_signed_num_literal`'s
@@ -700,6 +713,8 @@ module.exports = grammar({
         ")",
         "->",
         field("return_type", $._type_ref),
+        // #2868: a context function's capabilities, after the return type.
+        optional(field("given", $.given_clause)),
         // Constrained generics slice 0: a method's `where A: Eq` clause bounds
         // a receiver type's parameter.
         optional($.where_clause),
@@ -841,6 +856,9 @@ module.exports = grammar({
         // v0.142 (ADR 0166): the optional `limits { }` policy, likewise a
         // header-position `from http` concern restricted by the checker.
         optional(field("limits", $.limits_policy)),
+        // #2858: the optional `json { }` policy, likewise a header-position
+        // `from http` concern restricted by the checker.
+        optional(field("json", $.json_policy)),
         // v0.140 (ADR 0163): a handler may carry one or more `@name(args)`
         // annotations (`@cache(maxAge: 5.minutes)`, `@limit(maxBody: …)`) —
         // the same shape `store_annotation` already gives store fields.
@@ -883,6 +901,18 @@ module.exports = grammar({
       ),
     limits_field: ($) =>
       seq(field("name", $.identifier), ":", field("value", $._expression)),
+    // #2858: `json { <name>: <value>, … }`. `json` is a contextual keyword (like
+    // `limits`); the one field name, `options`, is an ordinary identifier matched
+    // by the checker.
+    json_policy: ($) =>
+      seq(
+        "json",
+        "{",
+        repeat(seq($.json_field, optional(","))),
+        "}",
+      ),
+    json_field: ($) =>
+      seq(field("name", $.identifier), ":", field("value", $._expression)),
     // v0.44: `from <protocol>` on the service header.
     // v0.103: `from websocket(in: I, out: O)` binds the inbound/outbound frame
     // types. `websocket`, `in`, and `out` are contextual (resolved by `word`).
@@ -1621,7 +1651,10 @@ module.exports = grammar({
         PREC.expect,
         seq(
           "expect",
-          field("cond", choice($.observation_expr, $.faults_expr, $._expression)),
+          field(
+            "cond",
+            choice($.observation_expr, $.faults_expr, $.snapshot_expr, $._expression),
+          ),
         ),
       ),
 
@@ -1638,6 +1671,18 @@ module.exports = grammar({
         "faults",
       ),
 
+    // #2842: a snapshot claim — `expect <value> matches snapshot "<name>"`
+    // compares the value's canonical JSON with a stored snapshot. `matches` and
+    // `snapshot` are contextual, as `faults` is: an expression is never followed
+    // by a bare identifier, so the words alone decide.
+    snapshot_expr: ($) =>
+      seq(
+        field("value", $._expression),
+        "matches",
+        "snapshot",
+        field("name", $.string_literal),
+      ),
+
     // v0.117: an observation — a `Cap.op` seam reference followed by one of the
     // sugar matchers. `called` / `never` / `once` / `times` / `with` / `before`
     // are contextual (state-lexed as keywords only here; ordinary identifiers

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tree-sitter-bynk",
-  "version": "0.492.1",
+  "version": "0.504.3",
   "description": "Tree-sitter grammar for the Bynk language.",
   "main": "bindings/node",
   "types": "bindings/node",

package/queries/highlights.scm

@@ -46,6 +46,7 @@
   "cors"
   "security"
   "limits"
+  "json"
   "exports"
   "key"
   "suite"
@@ -112,10 +113,17 @@
 ; #2134: the contextual `env` word heading a suite/case `env { … }` clause.
 "env" @keyword
 
+; #2841: the contextual `fixture` word heading a suite `fixture` declaration.
+"fixture" @keyword
+
 ; #1706: the fault-claim word — contextual, like the observation words: the
 ; token exists only inside a `faults_expr`.
 "faults" @keyword.operator
 
+; #2842: the snapshot claim's words — contextual, like `faults`: the tokens exist
+; only inside a `snapshot_expr`.
+(snapshot_expr ["matches" "snapshot"] @keyword.operator)
+
 ; #2640: `par` is contextual (an identifier elsewhere), so it is a keyword only
 ; as the head of a `par_stmt`.
 (par_stmt "par" @keyword)

package/src/grammar.json

@@ -582,6 +582,14 @@
           "type": "SYMBOL",
           "name": "stub_clause"
         },
+        {
+          "type": "SYMBOL",
+          "name": "fixture_decl"
+        },
+        {
+          "type": "SYMBOL",
+          "name": "fn_decl"
+        },
         {
           "type": "SYMBOL",
           "name": "case"
@@ -1693,6 +1701,35 @@
         }
       ]
     },
+    "fixture_decl": {
+      "type": "SEQ",
+      "members": [
+        {
+          "type": "STRING",
+          "value": "fixture"
+        },
+        {
+          "type": "FIELD",
+          "name": "name",
+          "content": {
+            "type": "SYMBOL",
+            "name": "identifier"
+          }
+        },
+        {
+          "type": "STRING",
+          "value": "="
+        },
+        {
+          "type": "FIELD",
+          "name": "path",
+          "content": {
+            "type": "SYMBOL",
+            "name": "string_literal"
+          }
+        }
+      ]
+    },
     "const_decl": {
       "type": "SEQ",
       "members": [
@@ -2158,6 +2195,10 @@
         {
           "type": "STRING",
           "value": "NonEmpty"
+        },
+        {
+          "type": "STRING",
+          "value": "IsoDate"
         }
       ]
     },
@@ -2784,6 +2825,22 @@
             "name": "_type_ref"
           }
         },
+        {
+          "type": "CHOICE",
+          "members": [
+            {
+              "type": "FIELD",
+              "name": "given",
+              "content": {
+                "type": "SYMBOL",
+                "name": "given_clause"
+              }
+            },
+            {
+              "type": "BLANK"
+            }
+          ]
+        },
         {
           "type": "CHOICE",
           "members": [
@@ -3558,6 +3615,22 @@
             }
           ]
         },
+        {
+          "type": "CHOICE",
+          "members": [
+            {
+              "type": "FIELD",
+              "name": "json",
+              "content": {
+                "type": "SYMBOL",
+                "name": "json_policy"
+              }
+            },
+            {
+              "type": "BLANK"
+            }
+          ]
+        },
         {
           "type": "REPEAT",
           "content": {
@@ -3785,6 +3858,72 @@
         }
       ]
     },
+    "json_policy": {
+      "type": "SEQ",
+      "members": [
+        {
+          "type": "STRING",
+          "value": "json"
+        },
+        {
+          "type": "STRING",
+          "value": "{"
+        },
+        {
+          "type": "REPEAT",
+          "content": {
+            "type": "SEQ",
+            "members": [
+              {
+                "type": "SYMBOL",
+                "name": "json_field"
+              },
+              {
+                "type": "CHOICE",
+                "members": [
+                  {
+                    "type": "STRING",
+                    "value": ","
+                  },
+                  {
+                    "type": "BLANK"
+                  }
+                ]
+              }
+            ]
+          }
+        },
+        {
+          "type": "STRING",
+          "value": "}"
+        }
+      ]
+    },
+    "json_field": {
+      "type": "SEQ",
+      "members": [
+        {
+          "type": "FIELD",
+          "name": "name",
+          "content": {
+            "type": "SYMBOL",
+            "name": "identifier"
+          }
+        },
+        {
+          "type": "STRING",
+          "value": ":"
+        },
+        {
+          "type": "FIELD",
+          "name": "value",
+          "content": {
+            "type": "SYMBOL",
+            "name": "_expression"
+          }
+        }
+      ]
+    },
     "service_protocol": {
       "type": "SEQ",
       "members": [
@@ -7667,6 +7806,10 @@
                   "type": "SYMBOL",
                   "name": "faults_expr"
                 },
+                {
+                  "type": "SYMBOL",
+                  "name": "snapshot_expr"
+                },
                 {
                   "type": "SYMBOL",
                   "name": "_expression"
@@ -7710,6 +7853,35 @@
         }
       ]
     },
+    "snapshot_expr": {
+      "type": "SEQ",
+      "members": [
+        {
+          "type": "FIELD",
+          "name": "value",
+          "content": {
+            "type": "SYMBOL",
+            "name": "_expression"
+          }
+        },
+        {
+          "type": "STRING",
+          "value": "matches"
+        },
+        {
+          "type": "STRING",
+          "value": "snapshot"
+        },
+        {
+          "type": "FIELD",
+          "name": "name",
+          "content": {
+            "type": "SYMBOL",
+            "name": "string_literal"
+          }
+        }
+      ]
+    },
     "observation_expr": {
       "type": "SEQ",
       "members": [