@fairfox/polly 0.15.4 → 0.15.6

package/dist/tools/analysis/src/types/core.d.ts

@@ -171,6 +171,8 @@ export type MessageHandler = {
     };
     /** Component relationships detected from this handler's code */
     relationships?: ComponentRelationship[];
+    /** Origin of this handler - used to prevent naming collisions in TLA+ generation */
+    origin?: "event" | "stateHandler";
 };
 export type Confidence = "high" | "medium" | "low";
 export type FieldAnalysis = {

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

@@ -5748,7 +5748,8 @@ class HandlerExtractor {
         file: filePath,
         line
       },
-      relationships
+      relationships,
+      origin: "event"
     };
   }
   extractAssignments(funcNode, assignments) {
@@ -6415,7 +6416,8 @@ class HandlerExtractor {
               assignments: [],
               preconditions: [],
               postconditions: [],
-              location: { file: filePath, line }
+              location: { file: filePath, line },
+              origin: "event"
             });
           }
         }
@@ -7103,7 +7105,8 @@ class HandlerExtractor {
         location: {
           file: filePath,
           line: func.getStartLineNumber()
-        }
+        },
+        origin: "stateHandler"
       });
     }
     for (const varStmt of sourceFile.getVariableStatements()) {
@@ -7137,7 +7140,8 @@ class HandlerExtractor {
           location: {
             file: filePath,
             line: decl.getStartLineNumber()
-          }
+          },
+          origin: "stateHandler"
         });
       }
     }
@@ -7811,7 +7815,8 @@ class TypeExtractor {
       preconditions: h.preconditions || [],
       postconditions: h.postconditions || [],
       location: h.location,
-      relationships: h.relationships
+      relationships: h.relationships,
+      origin: h.origin
     }));
     return {
       stateType,
@@ -10634,4 +10639,4 @@ Goodbye!`);
 }
 main();
 
-//# debugId=1AD3AF419335104764756E2164756E21
+//# debugId=85AD78824F70A71164756E2164756E21