@shapeshift-labs/frontier-lang-parser 0.3.49 → 0.3.50

package/dist/action-body.js

@@ -1,5 +1,6 @@
 import { readFrontierNestedBlocks } from './source-syntax-report.js';
 import { readActionValue } from './action-expression.js';
+import { readElseHeaderBlock } from './action-else-block.js';
 
 export function readActionBodyRecords(body) {
   const records = [];
@@ -27,10 +28,18 @@ function parseActionBodyRecords(source, state) {
       const open = offset + ifHeader[0].length - 1;
       const close = findMatchingBrace(source, open);
       if (close < 0) break;
+      const elseBlock = readElseHeaderBlock(source, close + 1, source.length, { skipWhitespace: skipWhitespaceAndComments, findMatchingBrace });
       const index = state.index++;
-      const record = parseActionIfBlock(ifHeader[1].trim(), source.slice(open + 1, close), index, state);
+      const record = parseActionIfBlock(ifHeader[1].trim(), source.slice(open + 1, close), index, state, elseBlock);
       if (record) records.push(record);
-      offset = close + 1;
+      offset = elseBlock ? elseBlock.close + 1 : close + 1;
+      continue;
+    }
+    const elseHeader = /^else\b([^{\n]*)\{/.exec(source.slice(offset));
+    if (elseHeader) {
+      const open = offset + elseHeader[0].length - 1;
+      const close = findMatchingBrace(source, open);
+      offset = close < 0 ? source.length : close + 1;
       continue;
     }
     const lineEnd = source.indexOf('\n', offset);
@@ -45,9 +54,10 @@ function parseActionBodyRecords(source, state) {
   return records;
 }
 
-function parseActionIfBlock(header, body, index, state) {
+function parseActionIfBlock(header, body, index, state, elseBlock) {
   const details = parseActionIfHeader(header, index);
   if (!details.condition) return undefined;
+  const elseDetails = elseBlock ? parseActionElseHeader(elseBlock.header, index) : undefined;
   return compactRecord({
     kind: 'if',
     id: details.id,
@@ -55,7 +65,10 @@ function parseActionIfBlock(header, body, index, state) {
     comparisonType: details.comparisonType,
     callType: details.callType,
     condition: details.condition,
-    body: parseActionBodyRecords(body, state)
+    body: parseActionBodyRecords(body, state),
+    elseId: elseDetails?.id,
+    elseName: elseDetails?.name,
+    elseBody: elseBlock ? parseActionBodyRecords(elseBlock.body, state) : undefined
   });
 }
 
@@ -76,6 +89,15 @@ function parseActionIfHeader(header, index) {
   };
 }
 
+function parseActionElseHeader(header, index) {
+  const withoutId = header.replace(/@id\(\s*["'][^"']+["']\s*\)/g, '').trim();
+  const name = firstIdentifier(withoutId) ?? `else_${index}`;
+  return {
+    id: idFrom(header, `action_body_else_${name}`),
+    name
+  };
+}
+
 function parseActionBodyLine(line, index) {
   const statement = /^([A-Za-z_$][\w$-]*)(?:\s+([A-Za-z_$@./:*+-][\w$./@:*+-]*))?(.*)$/.exec(line);
   if (!statement) return undefined;

package/dist/action-else-block.js

@@ -0,0 +1,18 @@
+export function readElseHeaderBlock(source, offset, endOffset = source.length, helpers = {}) {
+  const skipWhitespace = helpers.skipWhitespace;
+  const findMatchingBrace = helpers.findMatchingBrace;
+  if (typeof skipWhitespace !== 'function' || typeof findMatchingBrace !== 'function') return undefined;
+  const elseOffset = skipWhitespace(source, offset, endOffset);
+  const elseHeader = /^else\b([^{\n]*)\{/.exec(source.slice(elseOffset, endOffset));
+  if (!elseHeader) return undefined;
+  const header = elseHeader[1].trim();
+  const open = elseOffset + elseHeader[0].length - 1;
+  const close = findMatchingBrace(source, open);
+  if (close < 0 || close > endOffset) return undefined;
+  return { header, start: elseOffset, open, close, body: source.slice(open + 1, close), supported: isSupportedElseHeader(header) };
+}
+
+export function isSupportedElseHeader(header) {
+  const withoutId = String(header ?? '').replace(/@id\(\s*["'][^"']+["']\s*\)/g, '').trim();
+  return !withoutId || /^[A-Za-z_$][\w$-]*$/.test(withoutId);
+}

package/dist/action-syntax-children.js

@@ -1,4 +1,5 @@
 import { parseActionValue } from './action-expression.js';
+import { readElseHeaderBlock } from './action-else-block.js';
 
 const ACTION_BODY_ROWS = new Set(['set', 'insert', 'remove', 'merge', 'callEffect', 'return', 'if', 'let']);
 
@@ -33,9 +34,31 @@ function readActionSyntaxRows(source, block, options, state, startOffset, endOff
       }, state, parentActionBodyId);
       children.push(child);
       children.push(...readActionSyntaxRows(source, block, options, state, open + 1, close, child.id));
+      const elseBlock = readElseHeaderBlock(source, close + 1, endOffset, { skipWhitespace: skipWhitespaceAndLineComments, findMatchingBrace });
+      if (elseBlock) {
+        const elseChild = actionSyntaxChild(source, block, options, {
+          text: source.slice(elseBlock.start, elseBlock.open + 1).trim(),
+          startOffset: elseBlock.start,
+          endOffset: elseBlock.open + 1
+        }, state, child.id, { recognized: elseBlock.supported });
+        children.push(elseChild);
+        if (elseBlock.supported) children.push(...readActionSyntaxRows(source, block, options, state, elseBlock.open + 1, elseBlock.close, elseChild.id));
+        offset = elseBlock.close + 1;
+        continue;
+      }
       offset = close + 1;
       continue;
     }
+    const elseBlock = readElseHeaderBlock(source, offset, endOffset, { skipWhitespace: skipWhitespaceAndLineComments, findMatchingBrace });
+    if (elseBlock) {
+      children.push(actionSyntaxChild(source, block, options, {
+        text: source.slice(elseBlock.start, elseBlock.open + 1).trim(),
+        startOffset: elseBlock.start,
+        endOffset: elseBlock.open + 1
+      }, state, parentActionBodyId));
+      offset = elseBlock.close + 1;
+      continue;
+    }
     const lineEnd = source.indexOf('\n', offset);
     const rawEnd = lineEnd < 0 || lineEnd > endOffset ? endOffset : lineEnd;
     const rawLine = source.slice(offset, rawEnd);
@@ -52,14 +75,14 @@ function readActionSyntaxRows(source, block, options, state, startOffset, endOff
   return children;
 }
 
-function actionSyntaxChild(source, block, options, line, state, parentActionBodyId) {
+function actionSyntaxChild(source, block, options, line, state, parentActionBodyId, overrides = {}) {
   const rowIndex = state.rowIndex++;
   const row = /^([A-Za-z_$][\w$-]*)(?:\s+([A-Za-z_$@./:*+-][\w$./@:*+-]*))?(.*)$/.exec(line.text);
   const rowKind = row?.[1] ?? 'unknown';
   const name = actionRowName(rowKind, row?.[2], rowIndex);
   const rest = row?.[2]?.startsWith('@') ? ` ${row[2]}${row[3] ?? ''}` : (row?.[3] ?? '');
   const validation = validateActionRow(rowKind, row?.[2], rest, line.text);
-  const recognized = ACTION_BODY_ROWS.has(rowKind) && validation.ok;
+  const recognized = overrides.recognized ?? (ACTION_BODY_ROWS.has(rowKind) && validation.ok);
   return cleanRecord({
     kind: recognized ? 'actionBodyRow' : 'actionUnknownRow',
     rowKind,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-parser",
-  "version": "0.3.49",
+  "version": "0.3.50",
   "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-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-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",