jssm 5.151.0 → 5.151.2

package/jssm.es5.d.cts

@@ -1838,6 +1838,14 @@ interface SemanticSpan extends Range {
  * `.source_location` *when they reference a parsed node* — but machine-level
  * compile errors (e.g. an empty machine, an unknown machine rule) have none, so
  * the location is treated as optional and falls back to the whole document.
+ *
+ * Some validity checks (e.g. a `required` property that no state defines) live
+ * in the {@link Machine} constructor, a stage past `compile`. We therefore also
+ * construct the machine so the editor surfaces those construction-time errors
+ * instead of calling such a machine valid. The `Machine` import closes a cycle
+ * (`jssm` re-exports this module), but it is only referenced at call time inside
+ * {@link fslDiagnostics}, never during module initialization, so the cycle is
+ * benign.
  */
 
 /**
@@ -1847,6 +1855,8 @@ interface SemanticSpan extends Range {
  * @example
  *   fslDiagnostics('a -> b;');            // => []
  *   fslDiagnostics('a -> ;')[0].severity; // => 'error'
+ *   // a `required` property no state defines is a construction-time error:
+ *   fslDiagnostics('property p required; a -> b;')[0].severity; // => 'error'
  */
 declare function fslDiagnostics(text: string): Diagnostic[];
 
@@ -2262,10 +2272,10 @@ declare class Machine<mDT> {
      *    [Red Yellow Green] ~> [Off FlashingRed];
      *    FlashingRed -> Red;
      *
-     *    state Red:         { property stop_first true;  property can_go false; };
-     *    state Off:         { property stop_first true;  };
-     *    state FlashingRed: { property stop_first true;  };
-     *    state Green:       { property hesitate   false; };
+     *    state Red:         { property: stop_first true;  property: can_go false; };
+     *    state Off:         { property: stop_first true;  };
+     *    state FlashingRed: { property: stop_first true;  };
+     *    state Green:       { property: hesitate   false; };
      *
      *  `;
      *

package/jssm.es6.d.ts

@@ -1838,6 +1838,14 @@ interface SemanticSpan extends Range {
  * `.source_location` *when they reference a parsed node* — but machine-level
  * compile errors (e.g. an empty machine, an unknown machine rule) have none, so
  * the location is treated as optional and falls back to the whole document.
+ *
+ * Some validity checks (e.g. a `required` property that no state defines) live
+ * in the {@link Machine} constructor, a stage past `compile`. We therefore also
+ * construct the machine so the editor surfaces those construction-time errors
+ * instead of calling such a machine valid. The `Machine` import closes a cycle
+ * (`jssm` re-exports this module), but it is only referenced at call time inside
+ * {@link fslDiagnostics}, never during module initialization, so the cycle is
+ * benign.
  */
 
 /**
@@ -1847,6 +1855,8 @@ interface SemanticSpan extends Range {
  * @example
  *   fslDiagnostics('a -> b;');            // => []
  *   fslDiagnostics('a -> ;')[0].severity; // => 'error'
+ *   // a `required` property no state defines is a construction-time error:
+ *   fslDiagnostics('property p required; a -> b;')[0].severity; // => 'error'
  */
 declare function fslDiagnostics(text: string): Diagnostic[];
 
@@ -2262,10 +2272,10 @@ declare class Machine<mDT> {
      *    [Red Yellow Green] ~> [Off FlashingRed];
      *    FlashingRed -> Red;
      *
-     *    state Red:         { property stop_first true;  property can_go false; };
-     *    state Off:         { property stop_first true;  };
-     *    state FlashingRed: { property stop_first true;  };
-     *    state Green:       { property hesitate   false; };
+     *    state Red:         { property: stop_first true;  property: can_go false; };
+     *    state Off:         { property: stop_first true;  };
+     *    state FlashingRed: { property: stop_first true;  };
+     *    state Green:       { property: hesitate   false; };
      *
      *  `;
      *

package/jssm_viz.es5.d.cts

@@ -1509,10 +1509,10 @@ declare class Machine<mDT> {
      *    [Red Yellow Green] ~> [Off FlashingRed];
      *    FlashingRed -> Red;
      *
-     *    state Red:         { property stop_first true;  property can_go false; };
-     *    state Off:         { property stop_first true;  };
-     *    state FlashingRed: { property stop_first true;  };
-     *    state Green:       { property hesitate   false; };
+     *    state Red:         { property: stop_first true;  property: can_go false; };
+     *    state Off:         { property: stop_first true;  };
+     *    state FlashingRed: { property: stop_first true;  };
+     *    state Green:       { property: hesitate   false; };
      *
      *  `;
      *

package/jssm_viz.es6.d.ts

@@ -1509,10 +1509,10 @@ declare class Machine<mDT> {
      *    [Red Yellow Green] ~> [Off FlashingRed];
      *    FlashingRed -> Red;
      *
-     *    state Red:         { property stop_first true;  property can_go false; };
-     *    state Off:         { property stop_first true;  };
-     *    state FlashingRed: { property stop_first true;  };
-     *    state Green:       { property hesitate   false; };
+     *    state Red:         { property: stop_first true;  property: can_go false; };
+     *    state Off:         { property: stop_first true;  };
+     *    state FlashingRed: { property: stop_first true;  };
+     *    state Green:       { property: hesitate   false; };
      *
      *  `;
      *

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "jssm",
-  "version": "5.151.0",
+  "version": "5.151.2",
   "engines": {
     "node": ">=10.0.0"
   },