@fairfox/polly 0.11.0 → 0.12.0

package/dist/tools/verify/src/cli.js

@@ -3757,7 +3757,10 @@ class HandlerExtractor {
     if (!body) {
       return;
     }
-    const firstAwaitPos = awaitExpressions[0].getStart();
+    const firstAwait = awaitExpressions[0];
+    if (!firstAwait)
+      return;
+    const firstAwaitPos = firstAwait.getStart();
     funcNode.forEachDescendant((node) => {
       if (Node2.isBinaryExpression(node)) {
         this.checkBinaryExpressionMutation(node, firstAwaitPos, mutations);
@@ -3808,6 +3811,8 @@ class HandlerExtractor {
       return null;
     }
     const conditionArg = args[0];
+    if (!conditionArg)
+      return null;
     const expression = conditionArg.getText();
     let message;
     if (args.length >= 2 && Node2.isStringLiteral(args[1])) {
@@ -4113,12 +4118,17 @@ class HandlerExtractor {
     return;
   }
   extractMessageTypeFromTypePredicateFunction(node, returnTypeNode) {
-    const typeNode = returnTypeNode.getTypeNode();
-    if (typeNode) {
-      const typeName = typeNode.getText();
-      const messageType = this.extractMessageTypeFromTypeName(typeName);
-      if (messageType) {
-        return messageType;
+    if (!Node2.isTypePredicate(returnTypeNode)) {
+      return null;
+    }
+    if ("getTypeNode" in returnTypeNode && typeof returnTypeNode.getTypeNode === "function") {
+      const typeNode = returnTypeNode.getTypeNode();
+      if (typeNode) {
+        const typeName = typeNode.getText();
+        const messageType = this.extractMessageTypeFromTypeName(typeName);
+        if (messageType) {
+          return messageType;
+        }
       }
     }
     return this.extractMessageTypeFromFunctionBodyText(node);
@@ -4418,11 +4428,20 @@ class TypeExtractor {
     const handlerAnalysis = this.extractHandlerAnalysis();
     const validMessageTypes = this.filterAndLogMessageTypes(messageTypes, handlerAnalysis.messageTypes);
     const validHandlers = this.filterAndLogHandlers(handlerAnalysis.handlers);
+    const completeHandlers = validHandlers.map((h) => ({
+      messageType: h.messageType,
+      node: h.node || "unknown",
+      assignments: h.assignments || [],
+      preconditions: h.preconditions || [],
+      postconditions: h.postconditions || [],
+      location: h.location,
+      relationships: h.relationships
+    }));
     return {
       stateType,
       messageTypes: validMessageTypes,
       fields,
-      handlers: validHandlers,
+      handlers: completeHandlers,
       stateConstraints: handlerAnalysis.stateConstraints
     };
   }
@@ -4524,7 +4543,7 @@ class TypeExtractor {
     if (type.getAliasSymbol()) {
       return this.extractFromTypeAlias(type, typeName, sourceFile, warnings);
     }
-    if (type.isConditionalType?.()) {
+    if (typeof type.isConditionalType === "function" && type.isConditionalType()) {
       return this.extractFromConditionalType(type, warnings);
     }
     if (type.getText().includes("[K in ")) {
@@ -4589,7 +4608,10 @@ class TypeExtractor {
     if (parts.length < 2) {
       return messageTypes;
     }
-    const branches = parts[1].split(":");
+    const secondPart = parts[1];
+    if (!secondPart)
+      return messageTypes;
+    const branches = secondPart.split(":");
     for (const branch of branches) {
       const extracted = this.extractStringLiteralFromBranch(branch);
       if (extracted) {
@@ -5316,4 +5338,4 @@ main().catch((error) => {
   process.exit(1);
 });
 
-//# debugId=E400B5D873587DDC64756E2164756E21
+//# debugId=1F176417DE7AA13D64756E2164756E21