gofront 0.0.9 → 1.0.0

package/src/typechecker/termination.js

@@ -0,0 +1,83 @@
+// Termination analysis — determines whether a statement/block always returns.
+// Installed as a mixin on TypeChecker.prototype.
+
+export const terminationMethods = {
+	_isPanicCall(expr) {
+		return (
+			expr?.kind === "CallExpr" &&
+			expr?.func?.kind === "Ident" &&
+			expr?.func?.name === "panic"
+		);
+	},
+
+	_isTerminating(stmt) {
+		if (!stmt) return false;
+		switch (stmt.kind) {
+			case "ReturnStmt":
+				return true;
+			case "BranchStmt":
+				return false;
+			case "ExprStmt":
+				return this._isPanicCall(stmt.expr);
+			case "LabeledStmt":
+				return this._isTerminating(stmt.body);
+			case "Block":
+				return this._isTerminatingBlock(stmt);
+			case "SwitchStmt":
+				return this._isTerminatingSwitch(stmt);
+			case "TypeSwitchStmt":
+				return this._isTerminatingTypeSwitch(stmt);
+			case "ForStmt":
+				return !stmt.cond && !this._blockHasBreak(stmt.body);
+			case "IfStmt":
+				return this._isTerminatingIfStmt(stmt);
+			default:
+				return false;
+		}
+	},
+
+	_isTerminatingIfStmt(stmt) {
+		if (!stmt.elseBody) return false;
+		return (
+			this._isTerminatingBlock(stmt.body) &&
+			(stmt.elseBody.kind === "Block"
+				? this._isTerminatingBlock(stmt.elseBody)
+				: this._isTerminating(stmt.elseBody))
+		);
+	},
+
+	_isTerminatingBlock(block) {
+		if (!block?.stmts?.length) return false;
+		return this._isTerminating(block.stmts[block.stmts.length - 1]);
+	},
+
+	_blockHasBreak(block) {
+		if (!block?.stmts) return false;
+		for (const s of block.stmts) {
+			if (s.kind === "BranchStmt" && s.keyword === "break") return true;
+		}
+		return false;
+	},
+
+	_isTerminatingSwitch(stmt) {
+		let hasDefault = false;
+		for (const c of stmt.cases ?? []) {
+			if (!c.list) hasDefault = true;
+			if (!c.stmts?.length) return false;
+			const last = c.stmts[c.stmts.length - 1];
+			if (!this._isTerminating(last)) return false;
+		}
+		return hasDefault;
+	},
+
+	_isTerminatingTypeSwitch(stmt) {
+		let hasDefault = false;
+		for (const c of stmt.cases ?? []) {
+			if (!c.types) hasDefault = true;
+			if (!c.stmts?.length) return false;
+			const last = c.stmts[c.stmts.length - 1];
+			if (!this._isTerminating(last)) return false;
+		}
+		return hasDefault;
+	},
+};