@fairfox/polly 0.15.4 → 0.15.5
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/tools/analysis/src/types/core.d.ts +2 -0
- package/dist/tools/teach/src/cli.js +9 -5
- package/dist/tools/teach/src/cli.js.map +3 -3
- package/dist/tools/teach/src/index.js +9 -5
- package/dist/tools/teach/src/index.js.map +3 -3
- package/dist/tools/verify/src/cli.js +55 -8
- package/dist/tools/verify/src/cli.js.map +4 -4
- package/dist/tools/visualize/src/cli.js +9 -5
- package/dist/tools/visualize/src/cli.js.map +3 -3
- package/package.json +1 -1
|
@@ -171,6 +171,8 @@ export type MessageHandler = {
|
|
|
171
171
|
};
|
|
172
172
|
/** Component relationships detected from this handler's code */
|
|
173
173
|
relationships?: ComponentRelationship[];
|
|
174
|
+
/** Origin of this handler - used to prevent naming collisions in TLA+ generation */
|
|
175
|
+
origin?: "event" | "stateHandler";
|
|
174
176
|
};
|
|
175
177
|
export type Confidence = "high" | "medium" | "low";
|
|
176
178
|
export type FieldAnalysis = {
|
|
@@ -5748,7 +5748,8 @@ class HandlerExtractor {
|
|
|
5748
5748
|
file: filePath,
|
|
5749
5749
|
line
|
|
5750
5750
|
},
|
|
5751
|
-
relationships
|
|
5751
|
+
relationships,
|
|
5752
|
+
origin: "event"
|
|
5752
5753
|
};
|
|
5753
5754
|
}
|
|
5754
5755
|
extractAssignments(funcNode, assignments) {
|
|
@@ -6415,7 +6416,8 @@ class HandlerExtractor {
|
|
|
6415
6416
|
assignments: [],
|
|
6416
6417
|
preconditions: [],
|
|
6417
6418
|
postconditions: [],
|
|
6418
|
-
location: { file: filePath, line }
|
|
6419
|
+
location: { file: filePath, line },
|
|
6420
|
+
origin: "event"
|
|
6419
6421
|
});
|
|
6420
6422
|
}
|
|
6421
6423
|
}
|
|
@@ -7103,7 +7105,8 @@ class HandlerExtractor {
|
|
|
7103
7105
|
location: {
|
|
7104
7106
|
file: filePath,
|
|
7105
7107
|
line: func.getStartLineNumber()
|
|
7106
|
-
}
|
|
7108
|
+
},
|
|
7109
|
+
origin: "stateHandler"
|
|
7107
7110
|
});
|
|
7108
7111
|
}
|
|
7109
7112
|
for (const varStmt of sourceFile.getVariableStatements()) {
|
|
@@ -7137,7 +7140,8 @@ class HandlerExtractor {
|
|
|
7137
7140
|
location: {
|
|
7138
7141
|
file: filePath,
|
|
7139
7142
|
line: decl.getStartLineNumber()
|
|
7140
|
-
}
|
|
7143
|
+
},
|
|
7144
|
+
origin: "stateHandler"
|
|
7141
7145
|
});
|
|
7142
7146
|
}
|
|
7143
7147
|
}
|
|
@@ -10634,4 +10638,4 @@ Goodbye!`);
|
|
|
10634
10638
|
}
|
|
10635
10639
|
main();
|
|
10636
10640
|
|
|
10637
|
-
//# debugId=
|
|
10641
|
+
//# debugId=5E49254E26E658B264756E2164756E21
|