jz 0.5.1 → 0.7.0

package/src/op-policy.js

@@ -0,0 +1,57 @@
+/**
+ * Shared op policy for jzify (transform) and prepare (reject).
+ *
+ * `.jz` source bypasses jzify, so prepare must enforce reject rules for both paths.
+ * jzify lowers `var`/`function`/`class`/`arguments` before prepare; prepare rejects
+ * survivors. Identifiers (`this`, `eval`, …) have no safe lowering in either pass.
+ *
+ * @module op-policy
+ */
+
+/** Ops prepare rejects when they appear in the AST (handler or identifier). */
+export const REJECT_OPS = {
+  async: 'async/await not supported: WASM is synchronous',
+  await: 'async/await not supported: WASM is synchronous',
+  class: 'class not supported: use object literals',
+  yield: 'generators not supported: use loops',
+  instanceof: 'instanceof not supported: use typeof',
+  with: '`with` not supported: deprecated',
+  ':': 'labeled statements not supported',
+  var: '`var` not supported: use let/const',
+  function: '`function` not supported: use arrow functions',
+}
+
+/** Bare identifiers prepare rejects (no jzify lowering). */
+export const REJECT_IDENTS = {
+  with: '`with` not supported',
+  class: '`class` not supported',
+  yield: '`yield` not supported',
+  this: '`this` not supported: use explicit parameter',
+  super: '`super` not supported: no class inheritance',
+  arguments: '`arguments` not supported: use rest params',
+  eval: '`eval` not supported',
+  // `const` is an always-reserved word (like `class`/`with` above) — never a valid
+  // binding/identifier name in any mode; subscript parses it as a plain identifier,
+  // so reject it. NOT `let`: `let` is only *strict-mode* reserved and is a legal
+  // identifier in sloppy JS (`var let = 5`), so rejecting it would refuse valid JS
+  // (test262 language/expressions/object/let-non-strict-*).
+  const: '`const` is a reserved word, not a valid name',
+}
+
+/** jzify-only errors for class lowering (no prepare counterpart). */
+export const JZIFY_CLASS_ERRORS = {
+  computedMember: 'non-constant computed class member names are not supported',
+  computedStaticField: 'non-constant computed static class fields are not supported',
+  computedField: 'non-constant computed/destructured class fields are not supported',
+  computedStaticMember: 'non-constant computed static class member names are not supported',
+  accessor: 'class getters/setters are not supported — jz objects have no accessors',
+  staticMember: '`static` class members are not supported yet',
+  superProp: '`super` property access is not supported yet',
+}
+
+/** Build prepare handler map from shared reject messages. */
+export function rejectHandlers(errFn) {
+  const out = {}
+  for (const [op, msg] of Object.entries(REJECT_OPS)) out[op] = () => errFn(msg)
+  return out
+}