@flighthq/tool-compiler 0.5.1-edge.1687.b63c819

package/dist/packages/compiler-lowering/src/compilerSwitchClauseCompletion.js

@@ -0,0 +1,71 @@
+export function getIrSwitchCaseCompletion(switchCase, switchLabel) {
+    const last = switchCase.statements.at(-1);
+    const preceding = last ? switchCase.statements.slice(0, -1) : switchCase.statements;
+    const terminalBreak = last ? getIrStatementTerminalSwitchBreak(last, switchLabel) : undefined;
+    if (terminalBreak)
+        return { kind: terminalBreak };
+    if (preceding.some((statement) => hasIrStatementSwitchTargetBreak(statement, switchLabel))) {
+        return {
+            kind: 'unsupported',
+            reason: 'switch-local break must be the final direct statement of its clause',
+        };
+    }
+    if (last && hasIrStatementAbruptCompletion(last))
+        return { kind: 'abrupt' };
+    if (last && hasIrStatementSwitchTargetBreak(last, switchLabel)) {
+        return {
+            kind: 'unsupported',
+            reason: 'switch-local break must be the final direct statement of its clause',
+        };
+    }
+    return { kind: 'fallthrough' };
+}
+function getIrStatementTerminalSwitchBreak(statement, switchLabel) {
+    if (statement.kind === 'break') {
+        return !statement.target || statement.target.id === switchLabel ? 'localBreak' : 'abrupt';
+    }
+    if (statement.kind !== 'block')
+        return undefined;
+    const last = statement.statements.at(-1);
+    return last ? getIrStatementTerminalSwitchBreak(last, switchLabel) : undefined;
+}
+function hasIrStatementAbruptCompletion(statement) {
+    if (statement.kind === 'continue' || statement.kind === 'return' || statement.kind === 'throw')
+        return true;
+    if (statement.kind !== 'block')
+        return false;
+    const last = statement.statements.at(-1);
+    return last ? hasIrStatementAbruptCompletion(last) : false;
+}
+function hasIrStatementSwitchTargetBreak(statement, switchLabel) {
+    switch (statement.kind) {
+        case 'block':
+            return statement.statements.some((child) => hasIrStatementSwitchTargetBreak(child, switchLabel));
+        case 'if':
+            return (hasIrStatementSwitchTargetBreak(statement.consequent, switchLabel) ||
+                (statement.otherwise ? hasIrStatementSwitchTargetBreak(statement.otherwise, switchLabel) : false));
+        case 'try':
+            return (hasIrStatementSwitchTargetBreak(statement.tryBody, switchLabel) ||
+                (statement.catchClause ? hasIrStatementSwitchTargetBreak(statement.catchClause.body, switchLabel) : false) ||
+                (statement.finallyBody ? hasIrStatementSwitchTargetBreak(statement.finallyBody, switchLabel) : false));
+        case 'break':
+            return statement.target ? statement.target.id === switchLabel : true;
+        case 'do':
+        case 'for':
+        case 'forIn':
+        case 'forOf':
+        case 'while':
+            return switchLabel ? hasIrStatementSwitchTargetBreak(statement.body, switchLabel) : false;
+        case 'switch':
+            return switchLabel
+                ? statement.cases.some((switchCase) => switchCase.statements.some((child) => hasIrStatementSwitchTargetBreak(child, switchLabel)))
+                : false;
+        case 'continue':
+        case 'expression':
+        case 'return':
+        case 'throw':
+        case 'variable':
+            return false;
+    }
+}
+//# sourceMappingURL=compilerSwitchClauseCompletion.js.map

package/dist/packages/compiler-lowering/src/compilerSwitchClauseCompletion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerSwitchClauseCompletion.js","sourceRoot":"","sources":["../../../../../compiler-lowering/src/compilerSwitchClauseCompletion.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,yBAAyB,CACvC,UAAkC,EAClC,WAAoB;IAEpB,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;IACpF,MAAM,aAAa,GAAG,IAAI,CAAC,CAAC,CAAC,iCAAiC,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9F,IAAI,aAAa;QAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IAClD,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,+BAA+B,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC;QAC3F,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE,qEAAqE;SAC9E,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,IAAI,8BAA8B,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC5E,IAAI,IAAI,IAAI,+BAA+B,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;QAC/D,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE,qEAAqE;SAC9E,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,iCAAiC,CACxC,SAAgC,EAChC,WAAoB;IAEpB,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/B,OAAO,CAAC,SAAS,CAAC,MAAM,IAAI,SAAS,CAAC,MAAM,CAAC,EAAE,KAAK,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC5F,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,SAAS,CAAC;IACjD,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC,CAAC,CAAC,iCAAiC,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACjF,CAAC;AAED,SAAS,8BAA8B,CAAC,SAAgC;IACtE,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC5G,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC,CAAC,CAAC,8BAA8B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC7D,CAAC;AAED,SAAS,+BAA+B,CAAC,SAAgC,EAAE,WAAoB;IAC7F,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,+BAA+B,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;QACnG,KAAK,IAAI;YACP,OAAO,CACL,+BAA+B,CAAC,SAAS,CAAC,UAAU,EAAE,WAAW,CAAC;gBAClE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,+BAA+B,CAAC,SAAS,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAClG,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,CACL,+BAA+B,CAAC,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC;gBAC/D,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,+BAA+B,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;gBAC1G,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,+BAA+B,CAAC,SAAS,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CACtG,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;QACvE,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,OAAO,CAAC;QACb,KAAK,OAAO,CAAC;QACb,KAAK,OAAO;YACV,OAAO,WAAW,CAAC,CAAC,CAAC,+BAA+B,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC5F,KAAK,QAAQ;YACX,OAAO,WAAW;gBAChB,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAClC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,+BAA+B,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAC3F;gBACH,CAAC,CAAC,KAAK,CAAC;QACZ,KAAK,UAAU,CAAC;QAChB,KAAK,YAAY,CAAC;QAClB,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,UAAU;YACb,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC"}

package/dist/packages/compiler-lowering/src/compilerSwitchFallthroughLowering.d.ts

@@ -0,0 +1,3 @@
+import type { CompilerLoweringPass } from '../../compiler-types/src/index.js';
+export declare function createCompilerLoweringPassSwitchFallthrough(): CompilerLoweringPass;
+//# sourceMappingURL=compilerSwitchFallthroughLowering.d.ts.map

package/dist/packages/compiler-lowering/src/compilerSwitchFallthroughLowering.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerSwitchFallthroughLowering.d.ts","sourceRoot":"","sources":["../../../../../compiler-lowering/src/compilerSwitchFallthroughLowering.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,oBAAoB,EAWrB,MAAM,mCAAmC,CAAC;AAI3C,wBAAgB,2CAA2C,IAAI,oBAAoB,CAclF"}