@zenwave360/lsp-js 0.1.0-next.18.1 → 0.1.0-next.20.1

package/dist/browser/zenwave-lsp-worker.js

@@ -1,4 +1,4 @@
-/* @zenwave360/lsp-js 0.1.0-next.18.1 */
+/* @zenwave360/lsp-js 0.1.0-next.20.1 */
 (() => {
   var __create = Object.create;
   var __defProp = Object.defineProperty;
@@ -102792,6 +102792,12 @@ ${JSON.stringify(message, null, 4)}`);
       };
     })(Math.log, Math.LN2);
   }
+  if (typeof String.prototype.startsWith === "undefined") {
+    Object.defineProperty(String.prototype, "startsWith", { value: function(searchString, position) {
+      position = position || 0;
+      return this.lastIndexOf(searchString, position) === position;
+    } });
+  }
   if (typeof String.prototype.endsWith === "undefined") {
     Object.defineProperty(String.prototype, "endsWith", { value: function(searchString, position) {
       var subjectString = this.toString();
@@ -102803,12 +102809,6 @@ ${JSON.stringify(message, null, 4)}`);
       return lastIndex !== -1 && lastIndex === position;
     } });
   }
-  if (typeof String.prototype.startsWith === "undefined") {
-    Object.defineProperty(String.prototype, "startsWith", { value: function(searchString, position) {
-      position = position || 0;
-      return this.lastIndexOf(searchString, position) === position;
-    } });
-  }
   var imul_0 = Math.imul;
   var isView = ArrayBuffer.isView;
   var clz32 = Math.clz32;
@@ -184424,7 +184424,7 @@ H\fH\u028F	H
H
H
I
I
I
I\u0239\u0245\u0255\u0264\u028D\0J

\x07	\v\r\x07
     }
     flushPendingCall($this, pendingRootCall, steps);
     if (systemName == null || servicePath == null) {
-      var element_9 = new ZflSemanticDiagnostic("Action '" + actionName + "' must declare a service.", Severity_ERROR_getInstance(), sourceRefOf($this, flowName, actionName));
+      var element_9 = new ZflSemanticDiagnostic("Action '" + actionName + "' does not declare a service.", Severity_WARNING_getInstance(), sourceRefOf($this, flowName, actionName));
       diagnostics.j(element_9);
     }
     var tmp_5;
@@ -184879,6 +184879,58 @@ H\fH\u028F	H
H
H
I
I
I
I\u0239\u0245\u0255\u0264\u028D\0J

\x07	\v\r\x07
       }
     }
   }
+  function validateUnreachableActions($this, flowName, commands, policies2) {
+    var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(policies2, 10));
+    var _iterator__ex2g4s = policies2.l();
+    while (_iterator__ex2g4s.m()) {
+      var item = _iterator__ex2g4s.n();
+      var tmp$ret$0 = item.x5v_1;
+      destination.j(tmp$ret$0);
+    }
+    var reachable = toMutableSet(destination);
+    var _iterator__ex2g4s_0 = commands.l();
+    while (_iterator__ex2g4s_0.m()) {
+      var element = _iterator__ex2g4s_0.n();
+      var tmp0 = element.m5w_1;
+      var destination_0 = ArrayList_init_$Create$();
+      var _iterator__ex2g4s_1 = tmp0.l();
+      while (_iterator__ex2g4s_1.m()) {
+        var element_0 = _iterator__ex2g4s_1.n();
+        var list = element_0.z5w_1;
+        addAll(destination_0, list);
+      }
+      var tmp0_0 = plus_0(element.l5w_1, destination_0);
+      var destination_1 = ArrayList_init_$Create$();
+      var _iterator__ex2g4s_2 = tmp0_0.l();
+      while (_iterator__ex2g4s_2.m()) {
+        var element_1 = _iterator__ex2g4s_2.n();
+        if (element_1 instanceof ZflCallStep) {
+          destination_1.j(element_1);
+        }
+      }
+      var _iterator__ex2g4s_3 = destination_1.l();
+      while (_iterator__ex2g4s_3.m()) {
+        var element_2 = _iterator__ex2g4s_3.n();
+        validateUnreachableActions$collect(reachable, element_2);
+      }
+    }
+    var destination_2 = ArrayList_init_$Create$();
+    var _iterator__ex2g4s_4 = commands.l();
+    while (_iterator__ex2g4s_4.m()) {
+      var element_3 = _iterator__ex2g4s_4.n();
+      if (!reachable.r(element_3.d5w_1)) {
+        destination_2.j(element_3);
+      }
+    }
+    var destination_3 = ArrayList_init_$Create$_0(collectionSizeOrDefault(destination_2, 10));
+    var _iterator__ex2g4s_5 = destination_2.l();
+    while (_iterator__ex2g4s_5.m()) {
+      var item_0 = _iterator__ex2g4s_5.n();
+      var tmp$ret$15 = new ZflSemanticDiagnostic("Action '" + item_0.d5w_1 + "' is never triggered nor called.", Severity_WARNING_getInstance(), sourceRefOf($this, flowName, item_0.d5w_1));
+      destination_3.j(tmp$ret$15);
+    }
+    return destination_3;
+  }
   function validateWhenTriggers($this, flowName, startNames, whens, declaredEvents) {
     var validTriggers = plus_2(startNames, declaredEvents);
     var diagnostics = ArrayList_init_$Create$();
@@ -184906,7 +184958,7 @@ H\fH\u028F	H
H
H
I
I
I
I\u0239\u0245\u0255\u0264\u028D\0J

\x07	\v\r\x07
   function validateEndOutcomes($this, flowName, endOutcomes2, declaredEndOutcomes) {
     var diagnostics = ArrayList_init_$Create$();
     if (!endOutcomes2.y1("completed")) {
-      var element = new ZflSemanticDiagnostic("Flow '" + flowName + "' must define a 'completed' endOutcome.", Severity_ERROR_getInstance(), sourceRefOf($this, flowName, "end"));
+      var element = new ZflSemanticDiagnostic("Flow '" + flowName + "' must define a 'completed' endOutcome.", Severity_WARNING_getInstance(), sourceRefOf($this, flowName, "end"));
       diagnostics.j(element);
     }
     var _iterator__ex2g4s = endOutcomes2.w().l();
@@ -185382,6 +185434,26 @@ H\fH\u028F	H
H
H
I
I
I
I\u0239\u0245\u0255\u0264\u028D\0J

\x07	\v\r\x07
     }
     return toSet_0(plus_0(tmp, destination_1));
   }
+  function validateUnreachableActions$collect(reachable, call2) {
+    var element = call2.d5x_1;
+    reachable.j(element);
+    var _iterator__ex2g4s = call2.f5x_1.l();
+    while (_iterator__ex2g4s.m()) {
+      var element_0 = _iterator__ex2g4s.n();
+      var tmp0_safe_receiver = element_0.n5x_1;
+      if (tmp0_safe_receiver == null)
+        null;
+      else {
+        reachable.j(tmp0_safe_receiver);
+      }
+      var tmp1_safe_receiver = element_0.o5x_1;
+      if (tmp1_safe_receiver == null)
+        null;
+      else {
+        validateUnreachableActions$collect(reachable, tmp1_safe_receiver);
+      }
+    }
+  }
   function ZflSemanticAnalyzer() {
   }
   protoOf(ZflSemanticAnalyzer).z5k = function(model) {
@@ -185683,6 +185755,8 @@ H\fH\u028F	H
H
H
I
I
I
I\u0239\u0245\u0255\u0264\u028D\0J

\x07	\v\r\x07
         addAll(diagnostics, elements);
         var elements_0 = validateCalls(this, flowName, toList_1(commandByName.c2()));
         addAll(diagnostics, elements_0);
+        var elements_1 = validateUnreachableActions(this, flowName, toList_1(commandByName.c2()), policies2);
+        addAll(diagnostics, elements_1);
         var endOutcomes2 = getStringListMap(this, flowModel, "end.endOutcomes");
         var tmp0_elvis_lhs_7 = getStringOrNull(this, flowModel, "end.javadoc");
         var end = new ZflEnd(tmp0_elvis_lhs_7 == null ? getStringOrNull(this, getMap(this, flowModel, "end"), "javadoc") : tmp0_elvis_lhs_7, endOutcomes2, sourceRefOf(this, flowName, "end"));
@@ -185695,8 +185769,8 @@ H\fH\u028F	H
H
H
I
I
I
I\u0239\u0245\u0255\u0264\u028D\0J

\x07	\v\r\x07
           var list = element_14.k5w_1;
           addAll(destination_3, list);
         }
-        var elements_1 = validateEndOutcomes(this, flowName, endOutcomes2, plus_2(tmp_18, destination_3));
-        addAll(diagnostics, elements_1);
+        var elements_2 = validateEndOutcomes(this, flowName, endOutcomes2, plus_2(tmp_18, destination_3));
+        addAll(diagnostics, elements_2);
         var tmp1_description = getString(this, flowModel, "javadoc");
         var tmp2_options = getStringMap(this, flowModel, "options");
         var tmp3_commands = toList_1(commandByName.c2());
@@ -208435,7 +208509,7 @@ H\fH\u028F	H
H
H
I
I
I
I\u0239\u0245\u0255\u0264\u028D\0J

\x07	\v\r\x07
       tmp = null;
     }
     var factory = tmp;
-    new ZenwaveJsLanguageServer(defaultCoreLanguageServer(), connection, "0.1.0-next.18.1", factory).v8k();
+    new ZenwaveJsLanguageServer(defaultCoreLanguageServer(), connection, "0.1.0-next.20.1", factory).v8k();
   }
   function defaultCoreLanguageServer() {
     return new ZenwaveLanguageServer(listOf_0([new ArchitectureManifestLanguageModule(), new ZdlLanguageModule(), Companion_instance_86.d8h(), new AsyncApiLanguageModule(), new OpenApiLanguageModule(), new AvroLanguageModule(), new ZflLanguageModule()]), new InMemoryDocumentSessionStore(), new InMemoryCrossReferenceIndex());
@@ -209205,7 +209279,7 @@ H\fH\u028F	H
H
H
I
I
I
I\u0239\u0245\u0255\u0264\u028D\0J

\x07	\v\r\x07
     };
   }
   function ZenwaveJsLanguageServer(server, connection, serverVersion, createResponseError) {
-    serverVersion = serverVersion === VOID ? "0.1.0-next.18.1" : serverVersion;
+    serverVersion = serverVersion === VOID ? "0.1.0-next.20.1" : serverVersion;
     createResponseError = createResponseError === VOID ? null : createResponseError;
     this.n8k_1 = server;
     this.o8k_1 = connection;

package/dist/node/zenwave-lsp-server.js

@@ -1,4 +1,4 @@
-/* @zenwave360/lsp-js 0.1.0-next.18.1 */
+/* @zenwave360/lsp-js 0.1.0-next.20.1 */
 var __create = Object.create;
 var __defProp = Object.defineProperty;
 var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
@@ -103437,6 +103437,12 @@ if (typeof Math.clz32 === "undefined") {
     };
   })(Math.log, Math.LN2);
 }
+if (typeof String.prototype.startsWith === "undefined") {
+  Object.defineProperty(String.prototype, "startsWith", { value: function(searchString, position) {
+    position = position || 0;
+    return this.lastIndexOf(searchString, position) === position;
+  } });
+}
 if (typeof String.prototype.endsWith === "undefined") {
   Object.defineProperty(String.prototype, "endsWith", { value: function(searchString, position) {
     var subjectString = this.toString();
@@ -103448,12 +103454,6 @@ if (typeof String.prototype.endsWith === "undefined") {
     return lastIndex !== -1 && lastIndex === position;
   } });
 }
-if (typeof String.prototype.startsWith === "undefined") {
-  Object.defineProperty(String.prototype, "startsWith", { value: function(searchString, position) {
-    position = position || 0;
-    return this.lastIndexOf(searchString, position) === position;
-  } });
-}
 var imul_0 = Math.imul;
 var isView = ArrayBuffer.isView;
 var clz32 = Math.clz32;
@@ -185069,7 +185069,7 @@ function toCommand($this, flowName, actionModel, diagnostics, includeOccurrences
   }
   flushPendingCall($this, pendingRootCall, steps);
   if (systemName == null || servicePath == null) {
-    var element_9 = new ZflSemanticDiagnostic("Action '" + actionName + "' must declare a service.", Severity_ERROR_getInstance(), sourceRefOf($this, flowName, actionName));
+    var element_9 = new ZflSemanticDiagnostic("Action '" + actionName + "' does not declare a service.", Severity_WARNING_getInstance(), sourceRefOf($this, flowName, actionName));
     diagnostics.j(element_9);
   }
   var tmp_5;
@@ -185524,6 +185524,58 @@ function validateCall($this, command2, call2, commands, commandNames, flowName,
     }
   }
 }
+function validateUnreachableActions($this, flowName, commands, policies2) {
+  var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(policies2, 10));
+  var _iterator__ex2g4s = policies2.l();
+  while (_iterator__ex2g4s.m()) {
+    var item = _iterator__ex2g4s.n();
+    var tmp$ret$0 = item.x5v_1;
+    destination.j(tmp$ret$0);
+  }
+  var reachable = toMutableSet(destination);
+  var _iterator__ex2g4s_0 = commands.l();
+  while (_iterator__ex2g4s_0.m()) {
+    var element = _iterator__ex2g4s_0.n();
+    var tmp0 = element.m5w_1;
+    var destination_0 = ArrayList_init_$Create$();
+    var _iterator__ex2g4s_1 = tmp0.l();
+    while (_iterator__ex2g4s_1.m()) {
+      var element_0 = _iterator__ex2g4s_1.n();
+      var list = element_0.z5w_1;
+      addAll(destination_0, list);
+    }
+    var tmp0_0 = plus_0(element.l5w_1, destination_0);
+    var destination_1 = ArrayList_init_$Create$();
+    var _iterator__ex2g4s_2 = tmp0_0.l();
+    while (_iterator__ex2g4s_2.m()) {
+      var element_1 = _iterator__ex2g4s_2.n();
+      if (element_1 instanceof ZflCallStep) {
+        destination_1.j(element_1);
+      }
+    }
+    var _iterator__ex2g4s_3 = destination_1.l();
+    while (_iterator__ex2g4s_3.m()) {
+      var element_2 = _iterator__ex2g4s_3.n();
+      validateUnreachableActions$collect(reachable, element_2);
+    }
+  }
+  var destination_2 = ArrayList_init_$Create$();
+  var _iterator__ex2g4s_4 = commands.l();
+  while (_iterator__ex2g4s_4.m()) {
+    var element_3 = _iterator__ex2g4s_4.n();
+    if (!reachable.r(element_3.d5w_1)) {
+      destination_2.j(element_3);
+    }
+  }
+  var destination_3 = ArrayList_init_$Create$_0(collectionSizeOrDefault(destination_2, 10));
+  var _iterator__ex2g4s_5 = destination_2.l();
+  while (_iterator__ex2g4s_5.m()) {
+    var item_0 = _iterator__ex2g4s_5.n();
+    var tmp$ret$15 = new ZflSemanticDiagnostic("Action '" + item_0.d5w_1 + "' is never triggered nor called.", Severity_WARNING_getInstance(), sourceRefOf($this, flowName, item_0.d5w_1));
+    destination_3.j(tmp$ret$15);
+  }
+  return destination_3;
+}
 function validateWhenTriggers($this, flowName, startNames, whens, declaredEvents) {
   var validTriggers = plus_2(startNames, declaredEvents);
   var diagnostics = ArrayList_init_$Create$();
@@ -185551,7 +185603,7 @@ function validateWhenTriggers($this, flowName, startNames, whens, declaredEvents
 function validateEndOutcomes($this, flowName, endOutcomes2, declaredEndOutcomes) {
   var diagnostics = ArrayList_init_$Create$();
   if (!endOutcomes2.y1("completed")) {
-    var element = new ZflSemanticDiagnostic("Flow '" + flowName + "' must define a 'completed' endOutcome.", Severity_ERROR_getInstance(), sourceRefOf($this, flowName, "end"));
+    var element = new ZflSemanticDiagnostic("Flow '" + flowName + "' must define a 'completed' endOutcome.", Severity_WARNING_getInstance(), sourceRefOf($this, flowName, "end"));
     diagnostics.j(element);
   }
   var _iterator__ex2g4s = endOutcomes2.w().l();
@@ -186027,6 +186079,26 @@ function publishedEvents($this, _this__u8e3s4) {
   }
   return toSet_0(plus_0(tmp, destination_1));
 }
+function validateUnreachableActions$collect(reachable, call2) {
+  var element = call2.d5x_1;
+  reachable.j(element);
+  var _iterator__ex2g4s = call2.f5x_1.l();
+  while (_iterator__ex2g4s.m()) {
+    var element_0 = _iterator__ex2g4s.n();
+    var tmp0_safe_receiver = element_0.n5x_1;
+    if (tmp0_safe_receiver == null)
+      null;
+    else {
+      reachable.j(tmp0_safe_receiver);
+    }
+    var tmp1_safe_receiver = element_0.o5x_1;
+    if (tmp1_safe_receiver == null)
+      null;
+    else {
+      validateUnreachableActions$collect(reachable, tmp1_safe_receiver);
+    }
+  }
+}
 function ZflSemanticAnalyzer() {
 }
 protoOf(ZflSemanticAnalyzer).z5k = function(model) {
@@ -186328,6 +186400,8 @@ protoOf(ZflSemanticAnalyzer).z5k = function(model) {
       addAll(diagnostics, elements);
       var elements_0 = validateCalls(this, flowName, toList_1(commandByName.c2()));
       addAll(diagnostics, elements_0);
+      var elements_1 = validateUnreachableActions(this, flowName, toList_1(commandByName.c2()), policies2);
+      addAll(diagnostics, elements_1);
       var endOutcomes2 = getStringListMap(this, flowModel, "end.endOutcomes");
       var tmp0_elvis_lhs_7 = getStringOrNull(this, flowModel, "end.javadoc");
       var end = new ZflEnd(tmp0_elvis_lhs_7 == null ? getStringOrNull(this, getMap(this, flowModel, "end"), "javadoc") : tmp0_elvis_lhs_7, endOutcomes2, sourceRefOf(this, flowName, "end"));
@@ -186340,8 +186414,8 @@ protoOf(ZflSemanticAnalyzer).z5k = function(model) {
         var list = element_14.k5w_1;
         addAll(destination_3, list);
       }
-      var elements_1 = validateEndOutcomes(this, flowName, endOutcomes2, plus_2(tmp_18, destination_3));
-      addAll(diagnostics, elements_1);
+      var elements_2 = validateEndOutcomes(this, flowName, endOutcomes2, plus_2(tmp_18, destination_3));
+      addAll(diagnostics, elements_2);
       var tmp1_description = getString(this, flowModel, "javadoc");
       var tmp2_options = getStringMap(this, flowModel, "options");
       var tmp3_commands = toList_1(commandByName.c2());
@@ -209080,7 +209154,7 @@ function startZenwaveLanguageServer(connection2, createResponseError) {
     tmp = null;
   }
   var factory = tmp;
-  new ZenwaveJsLanguageServer(defaultCoreLanguageServer(), connection2, "0.1.0-next.18.1", factory).v8k();
+  new ZenwaveJsLanguageServer(defaultCoreLanguageServer(), connection2, "0.1.0-next.20.1", factory).v8k();
 }
 function defaultCoreLanguageServer() {
   return new ZenwaveLanguageServer(listOf_0([new ArchitectureManifestLanguageModule(), new ZdlLanguageModule(), Companion_instance_86.d8h(), new AsyncApiLanguageModule(), new OpenApiLanguageModule(), new AvroLanguageModule(), new ZflLanguageModule()]), new InMemoryDocumentSessionStore(), new InMemoryCrossReferenceIndex());
@@ -209850,7 +209924,7 @@ function ZenwaveJsLanguageServer$listen$lambda_10(this$0) {
   };
 }
 function ZenwaveJsLanguageServer(server, connection2, serverVersion, createResponseError) {
-  serverVersion = serverVersion === VOID ? "0.1.0-next.18.1" : serverVersion;
+  serverVersion = serverVersion === VOID ? "0.1.0-next.20.1" : serverVersion;
   createResponseError = createResponseError === VOID ? null : createResponseError;
   this.n8k_1 = server;
   this.o8k_1 = connection2;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zenwave360/lsp-js",
-  "version": "0.1.0-next.18.1",
+  "version": "0.1.0-next.20.1",
   "description": "ZenWave language server (ZDL, ZFL, architecture manifest, AsyncAPI, OpenAPI, Avro) for Node and Web Workers",
   "keywords": [
     "zenwave",