@schema-hub/stryker-zod-mutator 0.0.8 → 0.0.9

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.
Files changed (7) hide show
  1. package/package.json +1 -1
  2. package/readme.md +5 -0
  3. package/sbom.cdx.json +5 -5
  4. package/stryker-zod-mutator/masked-schema-references.js +6 -1
  5. package/stryker-zod-mutator/masked-schema-references.js.map +1 -1
  6. package/stryker-zod-mutator/presence-mutations.js +33 -2
  7. package/stryker-zod-mutator/presence-mutations.js.map +1 -1
package/package.json CHANGED
@@ -46,5 +46,5 @@
46
46
  "./stryker-zod-mutator/zod-bindings.js"
47
47
  ],
48
48
  "type": "module",
49
- "version": "0.0.8"
49
+ "version": "0.0.9"
50
50
  }
package/readme.md CHANGED
@@ -214,6 +214,11 @@ The guiding rule for every operator: emit a mutant unless it can be _proven_ unk
214
214
  module. A mutant we cannot prove equivalent is always emitted, even if it duplicates a wrapper already
215
215
  applied elsewhere. Suppressing a mutant that some test could kill is never acceptable.
216
216
 
217
+ `ZodReadonlyRemove` applies the same rule to nested `readonly`s: when a `readonly`'s value flows unchanged
218
+ to an enclosing `readonly` (directly, or as the output stage of a `z.pipe`), the outer one re-freezes the
219
+ same value, so removing the inner one is unobservable and is skipped. A `readonly` on a pipe's input stage
220
+ is not skipped, because a transform could observe or mutate the frozen value.
221
+
217
222
  `ZodOptionalAdd` and `ZodNullableAdd` apply this with a module-local check: when the mutated node is the
218
223
  whole value of, or a `union`/`discriminatedUnion` branch of, a **non-exported** `const`, and every
219
224
  reference to that `const` in the module already applies the same wrapper (e.g. `const t = z.union([...])`
package/sbom.cdx.json CHANGED
@@ -9,16 +9,16 @@
9
9
  {
10
10
  "type": "application",
11
11
  "name": "packtory",
12
- "version": "0.0.66"
12
+ "version": "0.0.67"
13
13
  }
14
14
  ]
15
15
  },
16
16
  "component": {
17
17
  "type": "library",
18
18
  "name": "@schema-hub/stryker-zod-mutator",
19
- "version": "0.0.8",
20
- "bom-ref": "pkg:npm/@schema-hub/stryker-zod-mutator@0.0.8",
21
- "purl": "pkg:npm/@schema-hub/stryker-zod-mutator@0.0.8"
19
+ "version": "0.0.9",
20
+ "bom-ref": "pkg:npm/@schema-hub/stryker-zod-mutator@0.0.9",
21
+ "purl": "pkg:npm/@schema-hub/stryker-zod-mutator@0.0.9"
22
22
  }
23
23
  },
24
24
  "components": [
@@ -96,7 +96,7 @@
96
96
  "ref": "pkg:npm/@babel/types@8.0.4"
97
97
  },
98
98
  {
99
- "ref": "pkg:npm/@schema-hub/stryker-zod-mutator@0.0.8",
99
+ "ref": "pkg:npm/@schema-hub/stryker-zod-mutator@0.0.9",
100
100
  "dependsOn": [
101
101
  "pkg:npm/@babel/parser@8.0.4",
102
102
  "pkg:npm/@babel/types@8.0.4",
package/stryker-zod-mutator/masked-schema-references.js CHANGED
@@ -68,6 +68,9 @@ function isPropertyOrMemberName(use) {
68
68
  }
69
69
  return babel.isMemberExpression(parent) && parent.property === node && !parent.computed;
70
70
  }
71
+ function isTypeOnlyReference(use) {
72
+ return babel.isTSTypeQuery(use.parent);
73
+ }
71
74
  function isReference(use) {
72
75
  return babel.isReferenced(use.node, use.parent, use.grandparent);
73
76
  }
@@ -105,7 +108,9 @@ export function presenceWrapperMaskedByEveryUse(path, bindings, wrapperName) {
105
108
  if (maskingWrappers === undefined || program === null || constId === null) {
106
109
  return false;
107
110
  }
108
- const uses = collectIdentifierUses(program, constId.name, []);
111
+ const uses = collectIdentifierUses(program, constId.name, []).filter(function (use) {
112
+ return !isTypeOnlyReference(use);
113
+ });
109
114
  const references = uses.filter(isReference);
110
115
  const hasForeignBinding = uses.some(function (use) {
111
116
  return isForeignBinding(use, constId);
package/stryker-zod-mutator/masked-schema-references.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"masked-schema-references.js","sourceRoot":"","sources":["../../../../source/stryker-zod-mutator/masked-schema-references.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAqB,MAAM,UAAU,CAAC;AAC3F,OAAO,EAAE,cAAc,EAAoB,MAAM,mBAAmB,CAAC;AAErE,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAE,OAAO,EAAE,oBAAoB,CAAE,CAAC,CAAC;AAErE,MAAM,6BAA6B,GAAG,IAAI,GAAG,CAA8B;IACvE,CAAE,UAAU,EAAE,IAAI,GAAG,CAAC,CAAE,UAAU,EAAE,SAAS,CAAE,CAAC,CAAE;IAClD,CAAE,UAAU,EAAE,IAAI,GAAG,CAAC,CAAE,UAAU,EAAE,SAAS,CAAE,CAAC,CAAE;CACrD,CAAC,CAAC;AAEH,SAAS,wBAAwB,CAAC,eAAoC;IAClE,MAAM,WAAW,GAAG,eAAe,EAAE,IAAI,CAAC;IAC1C,MAAM,SAAS,GAAG,eAAe,EAAE,UAAU,EAAE,IAAI,CAAC;IAEpD,OAAO,KAAK,CAAC,qBAAqB,CAAC,WAAW,CAAC;QAC3C,WAAW,CAAC,IAAI,KAAK,OAAO;QAC5B,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,gBAAgB,CAAC,cAAmC,EAAE,IAAe;IAC1E,IAAI,cAAc,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9E,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC;IAEzC,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACzF,CAAC;AAED,SAAS,cAAc,CAAC,IAAkB;IACtC,MAAM,cAAc,GAAG,IAAI,CAAC,UAAU,CAAC;IACvC,MAAM,EAAE,GAAG,gBAAgB,CAAC,cAAc,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAEvD,OAAO,EAAE,KAAK,IAAI,IAAI,wBAAwB,CAAC,cAAc,EAAE,UAAU,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACnG,CAAC;AAED,SAAS,WAAW,CAAC,aAA2B,EAAE,QAAqB;IACnE,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC;IAErC,OAAO,KAAK,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;AACjH,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAkB,EAAE,QAAqB;IACpE,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC;IAEpC,IAAI,WAAW,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,MAAM,aAAa,GAAG,WAAW,CAAC,UAAU,CAAC;IAE7C,IAAI,aAAa,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,QAAQ,CAAC,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,OAAO,cAAc,CAAC,aAAa,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAkB,EAAE,QAAqB;IAClE,OAAO,cAAc,CAAC,IAAI,CAAC,IAAI,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,UAAU,CAAC,IAAe;IAC/B,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,KAAK;QAC9C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACtC,CAAC;QAED,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAE,KAAK,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAChD,CAAC,CAAC,CAAC;AACP,CAAC;AAQD,SAAS,qBAAqB,CAC1B,IAAe,EACf,IAAY,EACZ,SAA+B;IAE/B,MAAM,CAAE,MAAM,EAAE,WAAW,CAAE,GAAG,SAAS,CAAC;IAC1C,MAAM,IAAI,GAA6B,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS;QACzG,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,CAAE;QACnC,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,MAAM,GAAG,CAAE,IAAI,EAAE,GAAG,SAAS,CAAE,CAAC;IAEtC,OAAO,IAAI,CAAC,MAAM,CACd,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,KAAK;QACpC,OAAO,qBAAqB,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACtD,CAAC,CAAC,CACL,CAAC;AACN,CAAC;AAED,SAAS,sBAAsB,CAAC,GAAkB;IAC9C,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;IAE7B,IAAI,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QACjE,OAAO,MAAM,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;IACnD,CAAC;IAED,OAAO,KAAK,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;AAC5F,CAAC;AAED,SAAS,WAAW,CAAC,GAAkB;IACnC,OAAO,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAkB,EAAE,WAAsB;IAChE,OAAO,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,uBAAuB,CAC5B,GAAkB,EAClB,eAAoC,EACpC,QAAqB;IAErB,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;IAE7B,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,MAAM,aAAa,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAE1C,IAAI,CAAC,gBAAgB,CAAC,aAAa,CAAC,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;QAC7D,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,OAAO,eAAe,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,uBAAuB,CAAC,GAAkB,EAAE,eAAoC;IACrF,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,GAAG,CAAC;IAE1C,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QAC9D,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACxE,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,OAAO,eAAe,CAAC,GAAG,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAkB,EAAE,eAAoC,EAAE,QAAqB;IACtG,OAAO,uBAAuB,CAAC,GAAG,EAAE,eAAe,EAAE,QAAQ,CAAC,IAAI,uBAAuB,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;AACpH,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC3C,IAAkB,EAClB,QAAqB,EACrB,WAAmB;IAEnB,MAAM,eAAe,GAAG,6BAA6B,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAEpD,IAAI,eAAe,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACxE,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC5C,MAAM,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,GAAG;QAC7C,OAAO,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,UAAU,GAAG;QAC5C,OAAO,iBAAiB,CAAC,GAAG,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,OAAO,CAAC,iBAAiB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC;AACpE,CAAC"}
1
+ {"version":3,"file":"masked-schema-references.js","sourceRoot":"","sources":["../../../../source/stryker-zod-mutator/masked-schema-references.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAqB,MAAM,UAAU,CAAC;AAC3F,OAAO,EAAE,cAAc,EAAoB,MAAM,mBAAmB,CAAC;AAErE,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAE,OAAO,EAAE,oBAAoB,CAAE,CAAC,CAAC;AAErE,MAAM,6BAA6B,GAAG,IAAI,GAAG,CAA8B;IACvE,CAAE,UAAU,EAAE,IAAI,GAAG,CAAC,CAAE,UAAU,EAAE,SAAS,CAAE,CAAC,CAAE;IAClD,CAAE,UAAU,EAAE,IAAI,GAAG,CAAC,CAAE,UAAU,EAAE,SAAS,CAAE,CAAC,CAAE;CACrD,CAAC,CAAC;AAEH,SAAS,wBAAwB,CAAC,eAAoC;IAClE,MAAM,WAAW,GAAG,eAAe,EAAE,IAAI,CAAC;IAC1C,MAAM,SAAS,GAAG,eAAe,EAAE,UAAU,EAAE,IAAI,CAAC;IAEpD,OAAO,KAAK,CAAC,qBAAqB,CAAC,WAAW,CAAC;QAC3C,WAAW,CAAC,IAAI,KAAK,OAAO;QAC5B,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,gBAAgB,CAAC,cAAmC,EAAE,IAAe;IAC1E,IAAI,cAAc,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9E,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC;IAEzC,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACzF,CAAC;AAED,SAAS,cAAc,CAAC,IAAkB;IACtC,MAAM,cAAc,GAAG,IAAI,CAAC,UAAU,CAAC;IACvC,MAAM,EAAE,GAAG,gBAAgB,CAAC,cAAc,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAEvD,OAAO,EAAE,KAAK,IAAI,IAAI,wBAAwB,CAAC,cAAc,EAAE,UAAU,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACnG,CAAC;AAED,SAAS,WAAW,CAAC,aAA2B,EAAE,QAAqB;IACnE,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC;IAErC,OAAO,KAAK,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;AACjH,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAkB,EAAE,QAAqB;IACpE,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC;IAEpC,IAAI,WAAW,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,MAAM,aAAa,GAAG,WAAW,CAAC,UAAU,CAAC;IAE7C,IAAI,aAAa,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,QAAQ,CAAC,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,OAAO,cAAc,CAAC,aAAa,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAkB,EAAE,QAAqB;IAClE,OAAO,cAAc,CAAC,IAAI,CAAC,IAAI,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,UAAU,CAAC,IAAe;IAC/B,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,KAAK;QAC9C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACtC,CAAC;QAED,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAE,KAAK,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAChD,CAAC,CAAC,CAAC;AACP,CAAC;AAQD,SAAS,qBAAqB,CAC1B,IAAe,EACf,IAAY,EACZ,SAA+B;IAE/B,MAAM,CAAE,MAAM,EAAE,WAAW,CAAE,GAAG,SAAS,CAAC;IAC1C,MAAM,IAAI,GAA6B,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS;QACzG,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,CAAE;QACnC,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,MAAM,GAAG,CAAE,IAAI,EAAE,GAAG,SAAS,CAAE,CAAC;IAEtC,OAAO,IAAI,CAAC,MAAM,CACd,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,KAAK;QACpC,OAAO,qBAAqB,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACtD,CAAC,CAAC,CACL,CAAC;AACN,CAAC;AAED,SAAS,sBAAsB,CAAC,GAAkB;IAC9C,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;IAE7B,IAAI,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QACjE,OAAO,MAAM,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;IACnD,CAAC;IAED,OAAO,KAAK,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;AAC5F,CAAC;AAED,SAAS,mBAAmB,CAAC,GAAkB;IAC3C,OAAO,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,WAAW,CAAC,GAAkB;IACnC,OAAO,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAkB,EAAE,WAAsB;IAChE,OAAO,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,uBAAuB,CAC5B,GAAkB,EAClB,eAAoC,EACpC,QAAqB;IAErB,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;IAE7B,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,MAAM,aAAa,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAE1C,IAAI,CAAC,gBAAgB,CAAC,aAAa,CAAC,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;QAC7D,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,OAAO,eAAe,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,uBAAuB,CAAC,GAAkB,EAAE,eAAoC;IACrF,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,GAAG,CAAC;IAE1C,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QAC9D,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACxE,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,OAAO,eAAe,CAAC,GAAG,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAkB,EAAE,eAAoC,EAAE,QAAqB;IACtG,OAAO,uBAAuB,CAAC,GAAG,EAAE,eAAe,EAAE,QAAQ,CAAC,IAAI,uBAAuB,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;AACpH,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC3C,IAAkB,EAClB,QAAqB,EACrB,WAAmB;IAEnB,MAAM,eAAe,GAAG,6BAA6B,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAEpD,IAAI,eAAe,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACxE,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,GAAG;QAC9E,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC5C,MAAM,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,GAAG;QAC7C,OAAO,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,UAAU,GAAG;QAC5C,OAAO,iBAAiB,CAAC,GAAG,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,OAAO,CAAC,iBAAiB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC;AACpE,CAAC"}
package/stryker-zod-mutator/presence-mutations.js CHANGED
@@ -1,7 +1,8 @@
1
+ import * as babel from '@babel/types';
1
2
  import { addWrapperOrMethod, removeMethodOrWrapper, replaceNullish } from "./schema-call-mutations.js";
2
- import { isExpressionNode } from "./ast.js";
3
+ import { getMemberName, isExpressionNode } from "./ast.js";
3
4
  import { createDefinition } from "./mutation-definition.js";
4
- import { isSchemaValueChainRoot } from "./zod-bindings.js";
5
+ import { getZodCallName, isSchemaValueChainRoot } from "./zod-bindings.js";
5
6
  import { addingWrapperHasNoEffect, chainAppliesReadonly, producesFreezableValue } from "./binding-resolution.js";
6
7
  function addReadonlyToFreezableSchema(path, bindings) {
7
8
  if (!isExpressionNode(path.node) || !isSchemaValueChainRoot(path, bindings)) {
@@ -17,7 +18,37 @@ function removeRedundantPresenceWrapper(path, bindings, wrapperName) {
17
18
  return !(isExpressionNode(inner) && addingWrapperHasNoEffect(bindings, inner, wrapperName));
18
19
  });
19
20
  }
21
+ function lastArgument(call) {
22
+ return call.arguments.at(-1) ?? null;
23
+ }
24
+ function enclosingOutputRelation(child, parent, bindings) {
25
+ if (!babel.isCallExpression(parent) || lastArgument(parent) !== child) {
26
+ return 'none';
27
+ }
28
+ const name = getZodCallName(bindings, parent) ?? getMemberName(parent.callee);
29
+ if (name === 'readonly') {
30
+ return 'readonly';
31
+ }
32
+ return name === 'pipe' ? 'pipe' : 'none';
33
+ }
34
+ function refrozenByEnclosingReadonly(path, bindings) {
35
+ let current = path;
36
+ for (;;) {
37
+ const parent = current.parentPath;
38
+ if (parent === null) {
39
+ return false;
40
+ }
41
+ const relation = enclosingOutputRelation(current.node, parent.node, bindings);
42
+ if (relation !== 'pipe') {
43
+ return relation === 'readonly';
44
+ }
45
+ current = parent;
46
+ }
47
+ }
20
48
  function removeObservableReadonly(path, bindings) {
49
+ if (refrozenByEnclosingReadonly(path, bindings)) {
50
+ return [];
51
+ }
21
52
  return removeMethodOrWrapper(path, bindings, new Set(['readonly'])).filter(function (inner) {
22
53
  return isExpressionNode(inner) && producesFreezableValue(bindings, inner);
23
54
  });
package/stryker-zod-mutator/presence-mutations.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"presence-mutations.js","sourceRoot":"","sources":["../../../../source/stryker-zod-mutator/presence-mutations.ts"],"names":[],"mappings":"AACA,OAAO,EACH,kBAAkB,EAClB,qBAAqB,EACrB,cAAc,EACjB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,gBAAgB,EAAqB,MAAM,UAAU,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAA2B,MAAM,0BAA0B,CAAC;AACrF,OAAO,EAAE,sBAAsB,EAAoB,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACH,wBAAwB,EACxB,oBAAoB,EACpB,sBAAsB,EACzB,MAAM,yBAAyB,CAAC;AAEjC,SAAS,4BAA4B,CAAC,IAAkB,EAAE,QAAqB;IAC3E,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC1E,OAAO,EAAE,CAAC;IACd,CAAC;IAED,IAAI,CAAC,sBAAsB,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5F,OAAO,EAAE,CAAC;IACd,CAAC;IAED,OAAO,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,8BAA8B,CACnC,IAAkB,EAClB,QAAqB,EACrB,WAAmB;IAEnB,OAAO,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAE,WAAW,CAAE,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,KAAK;QACzF,OAAO,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,wBAAwB,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAkB,EAAE,QAAqB;IACvE,OAAO,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAE,UAAU,CAAE,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,KAAK;QACxF,OAAO,gBAAgB,CAAC,KAAK,CAAC,IAAI,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACP,CAAC;AAED,MAAM,CAAC,MAAM,2BAA2B,GAAkC;IACtE,gBAAgB,CAAC,gBAAgB,EAAE,UAAU,IAAI,EAAE,QAAQ;QACvD,OAAO,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC1D,CAAC,CAAC;IACF,gBAAgB,CAAC,mBAAmB,EAAE,UAAU,IAAI,EAAE,QAAQ;QAC1D,OAAO,8BAA8B,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtE,CAAC,CAAC;IACF,gBAAgB,CAAC,gBAAgB,EAAE,UAAU,IAAI,EAAE,QAAQ;QACvD,OAAO,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC1D,CAAC,CAAC;IACF,gBAAgB,CAAC,mBAAmB,EAAE,UAAU,IAAI,EAAE,QAAQ;QAC1D,OAAO,8BAA8B,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtE,CAAC,CAAC;IACF,gBAAgB,CAAC,kBAAkB,EAAE,UAAU,IAAI,EAAE,QAAQ;QACzD,OAAO,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAE,SAAS,CAAE,CAAC,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,gBAAgB,CAAC,sBAAsB,EAAE,UAAU,IAAI,EAAE,QAAQ;QAC7D,OAAO,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtD,CAAC,CAAC;IACF,gBAAgB,CAAC,sBAAsB,EAAE,UAAU,IAAI,EAAE,QAAQ;QAC7D,OAAO,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtD,CAAC,CAAC;IACF,gBAAgB,CAAC,sBAAsB,EAAE,UAAU,IAAI,EAAE,QAAQ;QAC7D,OAAO,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAE,aAAa,CAAE,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC;IACF,gBAAgB,CAAC,gBAAgB,EAAE,4BAA4B,CAAC;IAChE,gBAAgB,CAAC,mBAAmB,EAAE,wBAAwB,CAAC;CAClE,CAAC"}
1
+ {"version":3,"file":"presence-mutations.js","sourceRoot":"","sources":["../../../../source/stryker-zod-mutator/presence-mutations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,EACH,kBAAkB,EAClB,qBAAqB,EACrB,cAAc,EACjB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAA0C,MAAM,UAAU,CAAC;AACnG,OAAO,EAAE,gBAAgB,EAA2B,MAAM,0BAA0B,CAAC;AACrF,OAAO,EAAE,cAAc,EAAE,sBAAsB,EAAoB,MAAM,mBAAmB,CAAC;AAC7F,OAAO,EACH,wBAAwB,EACxB,oBAAoB,EACpB,sBAAsB,EACzB,MAAM,yBAAyB,CAAC;AAEjC,SAAS,4BAA4B,CAAC,IAAkB,EAAE,QAAqB;IAC3E,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC1E,OAAO,EAAE,CAAC;IACd,CAAC;IAED,IAAI,CAAC,sBAAsB,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5F,OAAO,EAAE,CAAC;IACd,CAAC;IAED,OAAO,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,8BAA8B,CACnC,IAAkB,EAClB,QAAqB,EACrB,WAAmB;IAEnB,OAAO,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAE,WAAW,CAAE,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,KAAK;QACzF,OAAO,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,wBAAwB,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;AACP,CAAC;AAID,SAAS,YAAY,CAAC,IAAoB;IACtC,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AACzC,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAgB,EAAE,MAAiB,EAAE,QAAqB;IACvF,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;QACpE,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,MAAM,IAAI,GAAG,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAE9E,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACtB,OAAO,UAAU,CAAC;IACtB,CAAC;IAED,OAAO,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;AAC7C,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAkB,EAAE,QAAqB;IAC1E,IAAI,OAAO,GAAG,IAAI,CAAC;IAEnB,SAAS,CAAC;QACN,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC;QAElC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YAClB,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,MAAM,QAAQ,GAAG,uBAAuB,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAE9E,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;YACtB,OAAO,QAAQ,KAAK,UAAU,CAAC;QACnC,CAAC;QAED,OAAO,GAAG,MAAM,CAAC;IACrB,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAkB,EAAE,QAAqB;IACvE,IAAI,2BAA2B,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC9C,OAAO,EAAE,CAAC;IACd,CAAC;IAED,OAAO,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAE,UAAU,CAAE,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,KAAK;QACxF,OAAO,gBAAgB,CAAC,KAAK,CAAC,IAAI,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACP,CAAC;AAED,MAAM,CAAC,MAAM,2BAA2B,GAAkC;IACtE,gBAAgB,CAAC,gBAAgB,EAAE,UAAU,IAAI,EAAE,QAAQ;QACvD,OAAO,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC1D,CAAC,CAAC;IACF,gBAAgB,CAAC,mBAAmB,EAAE,UAAU,IAAI,EAAE,QAAQ;QAC1D,OAAO,8BAA8B,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtE,CAAC,CAAC;IACF,gBAAgB,CAAC,gBAAgB,EAAE,UAAU,IAAI,EAAE,QAAQ;QACvD,OAAO,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC1D,CAAC,CAAC;IACF,gBAAgB,CAAC,mBAAmB,EAAE,UAAU,IAAI,EAAE,QAAQ;QAC1D,OAAO,8BAA8B,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtE,CAAC,CAAC;IACF,gBAAgB,CAAC,kBAAkB,EAAE,UAAU,IAAI,EAAE,QAAQ;QACzD,OAAO,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAE,SAAS,CAAE,CAAC,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,gBAAgB,CAAC,sBAAsB,EAAE,UAAU,IAAI,EAAE,QAAQ;QAC7D,OAAO,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtD,CAAC,CAAC;IACF,gBAAgB,CAAC,sBAAsB,EAAE,UAAU,IAAI,EAAE,QAAQ;QAC7D,OAAO,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtD,CAAC,CAAC;IACF,gBAAgB,CAAC,sBAAsB,EAAE,UAAU,IAAI,EAAE,QAAQ;QAC7D,OAAO,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAE,aAAa,CAAE,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC;IACF,gBAAgB,CAAC,gBAAgB,EAAE,4BAA4B,CAAC;IAChE,gBAAgB,CAAC,mBAAmB,EAAE,wBAAwB,CAAC;CAClE,CAAC"}