@babel/types 7.29.8: ifStatement

Clean-room public code sample — generation instructions

Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.

A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.

Goal: verify @babel/types.ifStatement in pkg:npm/%40babel/types@7.29.8
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:npm/%40babel/types@7.29.8
Demonstrate these symbols/APIs:
  - @babel/types.ifStatement
Constraints:
  - executionContext: node
Required runtime conditions:
  - ecosystem: npm
  - language: javascript
  - moduleSystem: cjs
  - packageManager: npm@10.9.8
  - runtime: node@22.23.2

Rules:
  - One focused purpose; the smallest project that proves the goal.
  - Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
  - Pin every dependency with a lockfile so resolution is reproducible.
  - No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
  - No personal names, emails, company names, or project identifiers of any kind.
  - No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
  - Keep it under 200 files and 256KB packed.

{"case":{"caseId":"case:sha256:b9f7c08d74e4b6c7ab68309e6fea690f5694dcdc6364c0fe2d6144fa1fb1ec92","constraints":{"executionContext":"node"},"contract":["ifStatement constructs an AST node with the specified test expression and consequent statement","ifStatement supports an optional alternate statement for else branching","ifStatement supports nested if statements for else-if constructs","isIfStatement correctly validates if statement nodes against other AST node types","assertIfStatement asserts that an AST node is an if statement and throws on mismatch"],"goal":"verify @babel/types.ifStatement in pkg:npm/%40babel/types@7.29.8","kind":"HOW","packages":["pkg:npm/%40babel/types@7.29.8"],"schemaVersion":1,"symbols":["@babel/types.ifStatement"]},"contractCommand":["node","test/contract.mjs"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"npm","executionContext":"node","language":"javascript","libc":"glibc","libcVersion":"2.39","moduleSystem":"cjs","os":"linux","osVersionBucket":"24","packageManager":"npm","packageManagerVersion":"10.9.8","runtime":"node","runtimeVersion":"22.23.2","schemaVersion":1},"license":"MIT-0","packages":["pkg:npm/%40babel/types@7.29.8"],"schemaVersion":1,"subject":"pkg:npm/%40babel/types@7.29.8","symbols":["@babel/types.ifStatement"],"verifierAdapter":"node-typescript@1"}

{
  "name": "sample-babel-types-if-statement",
  "version": "1.0.0",
  "lockfileVersion": 3,
  "requires": true,
  "packages": {
    "": {
      "name": "sample-babel-types-if-statement",
      "version": "1.0.0",
      "license": "MIT-0",
      "dependencies": {
        "@babel/types": "7.29.8"
      }
    },
    "node_modules/@babel/helper-string-parser": {
      "version": "7.29.7",
      "resolved": "https://registry.npmjs.org/@babel/helper-string-parser/-/helper-string-parser-7.29.7.tgz",
      "integrity": "sha512-Pb5ijPrZ89GDH8223L4UP8i6QApWxs04RbPQJTeWDV0/keR2E36MeKnyr6LYmUUvqRRI+Iv87SuF1W6ErINzYw==",
      "license": "MIT",
      "engines": {
        "node": ">=6.9.0"
      }
    },
    "node_modules/@babel/helper-validator-identifier": {
      "version": "7.29.7",
      "resolved": "https://registry.npmjs.org/@babel/helper-validator-identifier/-/helper-validator-identifier-7.29.7.tgz",
      "integrity": "sha512-qehxGkRj55h/ff8EMaJ+cYhyaKlHIxqYDn682wQD7RNp9UujOQsHog2uS0r2vzr4pW+sXf90NeeayjcNaX3fFg==",
      "license": "MIT",
      "engines": {
        "node": ">=6.9.0"
      }
    },
    "node_modules/@babel/types": {
      "version": "7.29.8",
      "resolved": "https://registry.npmjs.org/@babel/types/-/types-7.29.8.tgz",
      "integrity": "sha512-Vj1jF3cPfxg7OAfoI7QnVKLoILlm2JF9pnVHrX8qx7AHMiYWT+NDAA7jChlNgRS4WTLc/fD1lXLmPixluj+3Gg==",
      "license": "MIT",
      "dependencies": {
        "@babel/helper-string-parser": "^7.29.7",
        "@babel/helper-validator-identifier": "^7.29.7"
      },
      "engines": {
        "node": ">=6.9.0"
      }
    }
  }
}

{
  "name": "sample-babel-types-if-statement",
  "version": "1.0.0",
  "private": true,
  "type": "module",
  "license": "MIT-0",
  "dependencies": {
    "@babel/types": "7.29.8"
  }
}

{
  "schemaVersion": 1,
  "goal": "verify @babel/types.ifStatement in pkg:npm/%40babel/types@7.29.8",
  "kind": "HOW",
  "packages": [
    "pkg:npm/%40babel/types@7.29.8"
  ],
  "symbols": [
    "@babel/types.ifStatement"
  ],
  "constraints": {
    "executionContext": "node"
  },
  "runtimeConditions": {
    "ecosystem": "npm",
    "language": "javascript",
    "moduleSystem": "cjs",
    "packageManager": "npm@10.9.8",
    "runtime": "node@22.23.2"
  }
}

import * as t from "@babel/types";

/**
 * Creates an IfStatement AST node with a test expression and consequent statement.
 * Optionally includes an alternate statement (for else branch).
 */
export function createIfStatement(test, consequent, alternate = null) {
  return t.ifStatement(test, consequent, alternate);
}

/**
 * Creates an IfStatement AST node with both consequent and alternate branches.
 */
export function createIfElseStatement(test, consequent, alternate) {
  return t.ifStatement(test, consequent, alternate);
}

/**
 * Creates an IfStatement AST node with a condition that returns a value if truthy.
 */
export function createSimpleIf(conditionName, returnValue) {
  const test = t.identifier(conditionName);
  const consequent = t.blockStatement([
    t.returnStatement(t.numericLiteral(returnValue))
  ]);
  return t.ifStatement(test, consequent);
}

/**
 * Validates if the given node is an IfStatement.
 */
export function checkIsIfStatement(node) {
  return t.isIfStatement(node);
}

/**
 * Asserts that the given node is an IfStatement, throwing if not.
 */
export function assertIsIfStatement(node) {
  t.assertIfStatement(node);
}

import assert from "node:assert/strict";
import * as t from "@babel/types";
import {
  createIfStatement,
  createIfElseStatement,
  createSimpleIf,
  checkIsIfStatement,
  assertIsIfStatement
} from "../src/index.mjs";

// Test 1: ifStatement constructs an AST node with specified test expression and consequent statement
{
  const testExpr = t.binaryExpression(">", t.identifier("x"), t.numericLiteral(0));
  const consequentStmt = t.blockStatement([
    t.returnStatement(t.stringLiteral("positive"))
  ]);

  const ifNode = createIfStatement(testExpr, consequentStmt);

  assert.equal(ifNode.type, "IfStatement");
  assert.equal(ifNode.test.type, "BinaryExpression");
  assert.equal(ifNode.test.operator, ">");
  assert.equal(ifNode.consequent.type, "BlockStatement");
  assert.equal(ifNode.alternate, null);
}

// Test 2: ifStatement supports an optional alternate statement for else branching
{
  const testExpr = t.identifier("isValid");
  const consequentStmt = t.blockStatement([
    t.expressionStatement(t.callExpression(t.identifier("doSuccess"), []))
  ]);
  const alternateStmt = t.blockStatement([
    t.expressionStatement(t.callExpression(t.identifier("doFailure"), []))
  ]);

  const ifElseNode = createIfElseStatement(testExpr, consequentStmt, alternateStmt);

  assert.equal(ifElseNode.type, "IfStatement");
  assert.equal(ifElseNode.test.type, "Identifier");
  assert.equal(ifElseNode.test.name, "isValid");
  assert.equal(ifElseNode.consequent.type, "BlockStatement");
  assert.notEqual(ifElseNode.alternate, null);
  assert.equal(ifElseNode.alternate.type, "BlockStatement");
}

// Test 3: ifStatement supports nested if statements for else-if constructs
{
  const cond1 = t.binaryExpression("===", t.identifier("x"), t.numericLiteral(1));
  const body1 = t.blockStatement([t.returnStatement(t.stringLiteral("one"))]);

  const cond2 = t.binaryExpression("===", t.identifier("x"), t.numericLiteral(2));
  const body2 = t.blockStatement([t.returnStatement(t.stringLiteral("two"))]);

  const elseBody = t.blockStatement([t.returnStatement(t.stringLiteral("other"))]);

  const elseIfNode = t.ifStatement(cond2, body2, elseBody);
  const rootIfNode = createIfStatement(cond1, body1, elseIfNode);

  assert.equal(rootIfNode.type, "IfStatement");
  assert.equal(rootIfNode.alternate.type, "IfStatement");
  assert.equal(rootIfNode.alternate.test.type, "BinaryExpression");
  assert.equal(rootIfNode.alternate.alternate.type, "BlockStatement");
}

// Test 4: isIfStatement correctly validates if statement nodes against other AST node types
{
  const simpleIf = createSimpleIf("flag", 42);
  const blockNode = t.blockStatement([]);
  const returnNode = t.returnStatement(t.numericLiteral(0));

  assert.equal(checkIsIfStatement(simpleIf), true);
  assert.equal(checkIsIfStatement(blockNode), false);
  assert.equal(checkIsIfStatement(returnNode), false);
  assert.equal(checkIsIfStatement(null), false);
  assert.equal(checkIsIfStatement(undefined), false);
}

// Test 5: assertIfStatement asserts that an AST node is an if statement and throws on mismatch
{
  const simpleIf = createSimpleIf("flag", 100);
  const exprNode = t.identifier("foo");

  assert.doesNotThrow(() => {
    assertIsIfStatement(simpleIf);
  });

  assert.doesNotThrow(() => {
    t.assertIfStatement(simpleIf);
  });

  assert.throws(() => {
    assertIsIfStatement(exprNode);
  });

  assert.throws(() => {
    t.assertIfStatement(null);
  });
}

console.log("All @babel/types.ifStatement contract tests passed successfully.");