@shapeshift-labs/frontier-lang-parser 0.3.52 → 0.3.53

package/dist/action-body.js

@@ -1,6 +1,7 @@
 import { readFrontierNestedBlocks } from './source-syntax-report.js';
 import { readActionValue } from './action-expression.js';
 import { readElseHeaderBlock } from './action-else-block.js';
+import { readActionForInHeader, readForInHeaderBlock, validateActionForInHeader } from './action-for-in-block.js';
 import { findActionMatchingBrace, skipActionWhitespaceAndComments } from './action-source-blocks.js';
 import {
   readActionMatchCaseHeader,
@@ -33,6 +34,13 @@ function parseActionBodyRecords(source, state) {
   while (offset < source.length) {
     offset = skipActionWhitespaceAndComments(source, offset);
     if (offset >= source.length) break;
+    const forBlock = readForInHeaderBlock(source, offset, source.length);
+    if (forBlock) {
+      const record = parseActionForInBlock(forBlock.header, forBlock.body, state.index++, state);
+      if (record) records.push(record);
+      offset = forBlock.end;
+      continue;
+    }
     const matchBlock = readMatchHeaderBlock(source, offset, source.length);
     if (matchBlock) {
       const record = parseActionMatchBlock(matchBlock.header, matchBlock.body, state.index++, state);
@@ -70,6 +78,20 @@ function parseActionBodyRecords(source, state) {
   return records;
 }
 
+function parseActionForInBlock(header, body, index, state) {
+  const validation = validateActionForInHeader(header);
+  if (!validation.ok) return undefined;
+  const details = readActionForInHeader(header, index);
+  return compactRecord({
+    kind: 'forIn',
+    id: details.id,
+    name: details.name,
+    itemName: details.itemName,
+    collection: details.collection,
+    body: parseActionBodyRecords(body, state)
+  });
+}
+
 function parseActionMatchBlock(header, body, index, state) {
   const details = readActionMatchHeader(header, index);
   if (!details.value) return undefined;

package/dist/action-for-in-block.js

@@ -0,0 +1,77 @@
+import { parseActionValue, readActionValue } from './action-expression.js';
+import { findActionMatchingBrace } from './action-source-blocks.js';
+
+export function readForInHeaderBlock(source, offset, endOffset, helpers = {}) {
+  const match = /^for\b([^{\n]*)\{/.exec(source.slice(offset, endOffset));
+  if (!match) return undefined;
+  const open = offset + match[0].length - 1;
+  const findBrace = helpers.findMatchingBrace ?? findActionMatchingBrace;
+  const close = findBrace(source, open);
+  if (close < 0 || close > endOffset) return undefined;
+  return {
+    start: offset,
+    header: match[1].trim(),
+    open,
+    close,
+    body: source.slice(open + 1, close),
+    end: close + 1
+  };
+}
+
+export function readActionForInHeader(header, index) {
+  const rawText = rawHeader(header, 'for');
+  const hasExplicitId = hasId(rawText);
+  const text = stripIds(rawText);
+  const shape = /^([A-Za-z_$][\w$-]*)\s+in\s+(.+)$/.exec(text);
+  const itemName = shape?.[1];
+  const collectionText = shape?.[2]?.trim();
+  const collection = collectionText ? readActionValue(collectionText) : undefined;
+  return cleanRecord({
+    id: idFrom(header, `action_body_for_${itemName ?? index}`),
+    name: itemName ?? `for_${index}`,
+    itemName,
+    collection,
+    collectionText,
+    hasExplicitId,
+    malformed: !shape
+  });
+}
+
+export function validateActionForInHeader(header) {
+  const details = readActionForInHeader(header, 0);
+  const stripped = stripIds(rawHeader(header, 'for'));
+  if (details.malformed && /^in\b/.test(stripped)) return { ok: false, reason: 'missing-action-for-item' };
+  if (details.malformed && !/\bin\b/.test(stripped)) return { ok: false, reason: 'missing-action-for-collection' };
+  if (details.malformed) return { ok: false, reason: 'malformed-action-for-header' };
+  if (!details.itemName) return { ok: false, reason: 'missing-action-for-item' };
+  if (!isActionBindingName(details.itemName) || details.itemName === 'in') return { ok: false, reason: 'unsupported-action-for-item' };
+  if (!details.hasExplicitId) return { ok: false, reason: 'missing-action-for-id' };
+  if (!details.collectionText) return { ok: false, reason: 'missing-action-for-collection' };
+  const parsed = parseActionValue(details.collectionText);
+  if (!parsed.ok) return { ok: false, reason: 'unsupported-action-for-collection' };
+  if (!details.collection) return { ok: false, reason: 'unsupported-action-for-collection' };
+  if (!isSupportedCollectionExpression(details.collection)) {
+    return { ok: false, reason: 'unsupported-action-for-collection' };
+  }
+  return { ok: true };
+}
+
+function isSupportedCollectionExpression(value) {
+  const ast = value?.expressionAst;
+  return ast?.kind === 'ref'
+    && (ast.scope === 'input' || ast.scope === 'state' || ast.scope === 'local')
+    && Array.isArray(ast.path)
+    && ast.path.length > 0;
+}
+
+function rawHeader(header, keyword) {
+  return String(header ?? '').replace(new RegExp('^' + keyword + '\\b'), '').replace(/\{\s*$/, '').trim();
+}
+
+function idFrom(header, fallback) { return /@id\(\s*["']([^"']+)["']\s*\)/.exec(header)?.[1] ?? fallback; }
+function hasId(header) { return /@id\(\s*["'][^"']+["']\s*\)/.test(header); }
+function stripIds(text) { return String(text ?? '').replace(/@id\(\s*["'][^"']+["']\s*\)/g, '').trim(); }
+function isActionBindingName(value) { return /^[A-Za-z_$][\w$-]*$/.test(String(value ?? '')); }
+function cleanRecord(record) {
+  return Object.fromEntries(Object.entries(record).filter(([, value]) => value !== undefined && (!Array.isArray(value) || value.length > 0)));
+}

package/dist/action-syntax-children.js

@@ -1,9 +1,10 @@
 import { parseActionValue } from './action-expression.js';
 import { readElseHeaderBlock } from './action-else-block.js';
+import { readForInHeaderBlock, validateActionForInHeader } from './action-for-in-block.js';
 import { findActionMatchingBrace, readActionNestedBlocks, skipActionWhitespaceAndComments } from './action-source-blocks.js';
 import { readMatchBranchBlock, readMatchHeaderBlock, validateActionMatchBranchHeader, validateActionMatchHeader } from './action-match-block.js';
 
-const ACTION_BODY_ROWS = new Set(['set', 'insert', 'remove', 'merge', 'callEffect', 'return', 'if', 'let', 'match']);
+const ACTION_BODY_ROWS = new Set(['set', 'insert', 'remove', 'merge', 'callEffect', 'return', 'if', 'let', 'match', 'for']);
 
 export function readActionSyntaxChildren(source, block, options) {
   const body = source.slice(block.bodyStartOffset, block.bodyEndOffset);
@@ -24,6 +25,14 @@ function readActionSyntaxRows(source, block, options, state, startOffset, endOff
   while (offset < endOffset) {
     offset = skipActionWhitespaceAndComments(source, offset, endOffset);
     if (offset >= endOffset) break;
+    const forBlock = readForInHeaderBlock(source, offset, endOffset);
+    if (forBlock) {
+      const child = actionSyntaxChild(source, block, options, { text: source.slice(offset, forBlock.open + 1).trim(), startOffset: offset, endOffset: forBlock.open + 1 }, state, parentActionBodyId);
+      children.push(child);
+      if (child.recognized) children.push(...readActionSyntaxRows(source, block, options, state, forBlock.open + 1, forBlock.close, child.id));
+      offset = forBlock.end;
+      continue;
+    }
     const matchBlock = readMatchHeaderBlock(source, offset, endOffset);
     if (matchBlock) {
       const child = actionSyntaxChild(source, block, options, { text: source.slice(offset, matchBlock.open + 1).trim(), startOffset: offset, endOffset: matchBlock.open + 1 }, state, parentActionBodyId);
@@ -141,6 +150,7 @@ function validateActionRow(rowKind, rawName, rest, header) {
   if (!ACTION_BODY_ROWS.has(rowKind)) return { ok: false, reason: 'unsupported-action-body-row' };
   if (rowKind === 'if') return validateActionExpressionText(readIfCondition(header), { comparisonType: readInlineComparisonType(header), callType: readInlineCallType(header) });
   if (rowKind === 'match') return validateActionMatchHeader(header);
+  if (rowKind === 'for') return validateActionForInHeader(header);
   if (rowKind === 'set' || rowKind === 'insert' || rowKind === 'merge') {
     if (!readInlineWord('path', rest)) return { ok: false, reason: 'missing-action-path' };
     return validateActionExpressionText(readInlineValue('value', rest), { valueType: readInlineType(rest), comparisonType: readInlineComparisonType(rest), callType: readInlineCallType(rest) });

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-parser",
-  "version": "0.3.52",
+  "version": "0.3.53",
   "description": "Parser for the first Frontier Lang .frontier syntax slice.",
   "type": "module",
   "main": "./dist/index.js",
@@ -22,7 +22,7 @@
   ],
   "scripts": {
     "build": "node scripts/build.mjs",
-    "test": "npm run build && node test/smoke.mjs && node test/action-body-smoke.mjs && node test/action-return-smoke.mjs && node test/action-else-smoke.mjs && node test/action-match-smoke.mjs && node test/action-call-smoke.mjs && node test/target-projection-aggregate-smoke.mjs && node test/conversion-constraint-fields-smoke.mjs && node test/conversion-evidence-smoke.mjs && node test/package-canvas-surface-smoke.mjs && node test/view-render-graph-smoke.mjs && node test/resource-graph-smoke.mjs && node test/interlingua-smoke.mjs && node test/dialect-registry-smoke.mjs",
+    "test": "npm run build && node test/smoke.mjs && node test/action-body-smoke.mjs && node test/action-return-smoke.mjs && node test/action-else-smoke.mjs && node test/action-match-smoke.mjs && node test/action-for-in-smoke.mjs && node test/action-call-smoke.mjs && node test/target-projection-aggregate-smoke.mjs && node test/conversion-constraint-fields-smoke.mjs && node test/conversion-evidence-smoke.mjs && node test/package-canvas-surface-smoke.mjs && node test/view-render-graph-smoke.mjs && node test/resource-graph-smoke.mjs && node test/interlingua-smoke.mjs && node test/dialect-registry-smoke.mjs",
     "typecheck": "node ./node_modules/typescript/bin/tsc --noEmit -p test/tsconfig.json",
     "fuzz": "npm run build && node fuzz/smoke.mjs",
     "bench": "npm run build && node bench/smoke.mjs",