typescript 7.0.2: isConstructorDeclaration

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 typescript.isConstructorDeclaration in pkg:npm/typescript@7.0.2
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:npm/typescript@7.0.2
Demonstrate these symbols/APIs:
  - typescript.isConstructorDeclaration

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:4d9cf7d8c1827b33b1d9776bc159ee5b603b157596600c75d094e02dceea7c8e","contract":["isConstructorDeclaration returns true for AST ConstructorDeclaration nodes created by createConstructorDeclaration","isConstructorDeclaration returns false for other AST nodes including MethodDeclaration, PropertyDeclaration, FunctionDeclaration, and ParameterDeclaration","isConstructorDeclaration identifies constructor declarations with parameters, modifiers, and body blocks","buildConstructorDeclaration constructs valid AST constructor nodes that satisfy isConstructorDeclaration","filterConstructors selects constructor declarations from class members and classifyClassMember categorizes AST members"],"goal":"verify typescript.isConstructorDeclaration in pkg:npm/typescript@7.0.2","kind":"HOW","packages":["pkg:npm/typescript@7.0.2"],"schemaVersion":1,"symbols":["typescript.isConstructorDeclaration"]},"contractCommand":["node","test/contract.mjs"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"npm","libc":"glibc","libcVersion":"2.39","os":"linux","osVersionBucket":"24","packageManager":"npm","schemaVersion":1},"license":"MIT-0","packages":["pkg:npm/typescript@7.0.2"],"schemaVersion":1,"subject":"pkg:npm/typescript@7.0.2","symbols":["typescript.isConstructorDeclaration"],"verifierAdapter":"node-typescript@1"}

{
  "name": "sample-typescript-is-constructor-declaration",
  "version": "1.0.0",
  "lockfileVersion": 3,
  "requires": true,
  "packages": {
    "": {
      "name": "sample-typescript-is-constructor-declaration",
      "version": "1.0.0",
      "dependencies": {
        "typescript": "7.0.2"
      }
    },
    "node_modules/@typescript/typescript-aix-ppc64": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-aix-ppc64/-/typescript-aix-ppc64-7.0.2.tgz",
      "integrity": "sha512-MTKKkWB7p/0E9xi1d1tHtZ5PiLkGEMIq88pK2CubZjOsLtYTLqhgIgi6zepFa+9GHZ6h05NMCkQxGKiPXMxXtQ==",
      "cpu": [
        "ppc64"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "aix"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-darwin-arm64": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-darwin-arm64/-/typescript-darwin-arm64-7.0.2.tgz",
      "integrity": "sha512-gowzar9MwS/aRWp6f3a4KUqzRjAZjOsmGNCM6LcTgXum+dBfgsBVMN+AgvOCCbguXyick6LJhpBszxMebJ8syA==",
      "cpu": [
        "arm64"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "darwin"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-darwin-x64": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-darwin-x64/-/typescript-darwin-x64-7.0.2.tgz",
      "integrity": "sha512-SZ9xZInqApNlNGc9s0W1VSsktYSOe9cFqNOIqmN1Gs8SmkjKZYFt017G4VwPxASInODuAdbTW7sXiFUf893RgA==",
      "cpu": [
        "x64"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "darwin"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-freebsd-arm64": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-freebsd-arm64/-/typescript-freebsd-arm64-7.0.2.tgz",
      "integrity": "sha512-W5NH4y/J0plIIS5b2xvTEkU7JFxyqdMAOgf+Ilhl0vHQXKO5dZoxd+C/jEtq56c4F3wk71RB4BMRQ2XdI+bwYQ==",
      "cpu": [
        "arm64"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "freebsd"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-freebsd-x64": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-freebsd-x64/-/typescript-freebsd-x64-7.0.2.tgz",
      "integrity": "sha512-UMGDx5sTpzNw3WiPebH7l90IWfJggEd+egHt/q6p7/Cm3zqoV7VxkGXt+3DxPIw8CcmvAB0j3sVVfbhX+M4Tpw==",
      "cpu": [
        "x64"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "freebsd"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-linux-arm": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-linux-arm/-/typescript-linux-arm-7.0.2.tgz",
      "integrity": "sha512-gffT3xPz9sR7j/YJExkyPntrI0P2EP9XbOyWzth2/Gs0RstK+90RBcO0ncXoXy/beYll1SXw846Nf2zdnEz0QQ==",
      "cpu": [
        "arm"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "linux"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-linux-arm64": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-linux-arm64/-/typescript-linux-arm64-7.0.2.tgz",
      "integrity": "sha512-Qh4eU4/y3yDjnfjjyPYihMj5/ODIlmt+Bzu17OI+fiSRDW57QmU5SiN63exPRNJPKUzcc1INa1NXdrJ+MqHjUQ==",
      "cpu": [
        "arm64"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "linux"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-linux-loong64": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-linux-loong64/-/typescript-linux-loong64-7.0.2.tgz",
      "integrity": "sha512-uEHck9i8hoAzXPiYRib1O7miOnz23SxIeVl6F4LXox+qov1K35jHcEW6VHKvZI+pyvl7fZEP4MCU5LYvIq1GuQ==",
      "cpu": [
        "loong64"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "linux"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-linux-mips64el": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-linux-mips64el/-/typescript-linux-mips64el-7.0.2.tgz",
      "integrity": "sha512-R4KvAMnE43W5Qeqb0Ly56O3mWMWIAgsMyz36DCaycd5nbg/9kzm0liw3JocfRqyJY0KPmzFjbswozXyW0DnIYA==",
      "cpu": [
        "mips64el"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "linux"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-linux-ppc64": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-linux-ppc64/-/typescript-linux-ppc64-7.0.2.tgz",
      "integrity": "sha512-DORx5b3sd/4S7eayxm4FQv+A7CrkUIGRaHiwI8oiHTAI1fAPWhF4J0vAlkC8biAlHSVVwxMQ3tjZ2/DVbnQiiA==",
      "cpu": [
        "ppc64"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "linux"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-linux-riscv64": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-linux-riscv64/-/typescript-linux-riscv64-7.0.2.tgz",
      "integrity": "sha512-wf0jqEDOjrPRnKwYRyyJDRo11KMbvMFrU+q4zqKyChODBzvlkbhNQfKvLxQCcwTpdDaXSHZTVuh0JoCrKCUMHQ==",
      "cpu": [
        "riscv64"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "linux"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-linux-s390x": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-linux-s390x/-/typescript-linux-s390x-7.0.2.tgz",
      "integrity": "sha512-IkwJc3L7yhytWd/ewjyxNDfOmswCm9GWMJT/ue/dU4aZNbwZeYAetq42VyLmsmSjvoX7z74X6ZaYCtzAr0EuGw==",
      "cpu": [
        "s390x"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "linux"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-linux-x64": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-linux-x64/-/typescript-linux-x64-7.0.2.tgz",
      "integrity": "sha512-EYdf2cNg7rgCWJnxCdJ+F3V39O8ihb37eHAu1LK8oAFizgTQbPOK7zHHXbPt8rX24COqODXeI3sIf0fCXG7H/A==",
      "cpu": [
        "x64"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "linux"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-netbsd-arm64": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-netbsd-arm64/-/typescript-netbsd-arm64-7.0.2.tgz",
      "integrity": "sha512-+polYF4MF04aPpO5FTkHran9yUQDSXqy5GiSDKpsll5jy3l3+g9QLhpf39T+ePtefhXLOGrLl0QIjkQP6VnelA==",
      "cpu": [
        "arm64"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "netbsd"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-netbsd-x64": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-netbsd-x64/-/typescript-netbsd-x64-7.0.2.tgz",
      "integrity": "sha512-8YIT0EHM/3dq10ZOVF/A7pc/YSMtbcecct4rWtexrnSCHOPcpC2KTLXfTCR6vDpnSiY12heNb1GiN/wu+T/FyA==",
      "cpu": [
        "x64"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "netbsd"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-openbsd-arm64": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-openbsd-arm64/-/typescript-openbsd-arm64-7.0.2.tgz",
      "integrity": "sha512-APT8+ClYnuYm1u9+kgGXoMj2VzWzcymwh2gNSQVySHfkRDGOTVkoWLjCmOQSaO+PoqQ57B0flRp9SA+7GnnkzQ==",
      "cpu": [
        "arm64"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "openbsd"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-openbsd-x64": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-openbsd-x64/-/typescript-openbsd-x64-7.0.2.tgz",
      "integrity": "sha512-yX7s+Q0Dln0Dt9tEzZsAjXXR/+ytBM7AlglaqyeMPxQszJ1JhlJdZ6jLA+IzldHtflX81em7lDao1xXu+aRRkg==",
      "cpu": [
        "x64"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "openbsd"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-sunos-x64": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-sunos-x64/-/typescript-sunos-x64-7.0.2.tgz",
      "integrity": "sha512-dLJDGaLZ1D4HPQn62u1n8mBDkJREwMsAkCdkwd4Ieqw+x3TUyTsqY0YiBCtE6H6OzzgGk3iuZ3vFWRS+E8/d1g==",
      "cpu": [
        "x64"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "sunos"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-win32-arm64": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-win32-arm64/-/typescript-win32-arm64-7.0.2.tgz",
      "integrity": "sha512-Gyl1Vy6OsWesLzmq+EP0Fb7b4Nid5232AvcA2SFcdYreldpNtYFFofPjnt62y9hQy7VTaZp65ICJjuAQRaVcIQ==",
      "cpu": [
        "arm64"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "win32"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/@typescript/typescript-win32-x64": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/@typescript/typescript-win32-x64/-/typescript-win32-x64-7.0.2.tgz",
      "integrity": "sha512-0BQ3HkAHHlKLSp1qRvf3SUhGpGsDuhB/jgFw75guyqbxJqEaS0Cw/VFO8i2nHglJUzQCRtMMR/IBAKE3ETMC4g==",
      "cpu": [
        "x64"
      ],
      "license": "Apache-2.0",
      "optional": true,
      "os": [
        "win32"
      ],
      "engines": {
        "node": ">=16.20.0"
      }
    },
    "node_modules/typescript": {
      "version": "7.0.2",
      "resolved": "https://registry.npmjs.org/typescript/-/typescript-7.0.2.tgz",
      "integrity": "sha512-8FYau96o3NKOhbjKi/qNvG/W5jhzxkbdm5sj9AbZ/5T5sWqn3hJgLfGx27sRKZWTvyzCP8dLRBTf5tBTSRVUNA==",
      "license": "Apache-2.0",
      "bin": {
        "tsc": "bin/tsc"
      },
      "engines": {
        "node": ">=16.20.0"
      },
      "optionalDependencies": {
        "@typescript/typescript-aix-ppc64": "7.0.2",
        "@typescript/typescript-darwin-arm64": "7.0.2",
        "@typescript/typescript-darwin-x64": "7.0.2",
        "@typescript/typescript-freebsd-arm64": "7.0.2",
        "@typescript/typescript-freebsd-x64": "7.0.2",
        "@typescript/typescript-linux-arm": "7.0.2",
        "@typescript/typescript-linux-arm64": "7.0.2",
        "@typescript/typescript-linux-loong64": "7.0.2",
        "@typescript/typescript-linux-mips64el": "7.0.2",
        "@typescript/typescript-linux-ppc64": "7.0.2",
        "@typescript/typescript-linux-riscv64": "7.0.2",
        "@typescript/typescript-linux-s390x": "7.0.2",
        "@typescript/typescript-linux-x64": "7.0.2",
        "@typescript/typescript-netbsd-arm64": "7.0.2",
        "@typescript/typescript-netbsd-x64": "7.0.2",
        "@typescript/typescript-openbsd-arm64": "7.0.2",
        "@typescript/typescript-openbsd-x64": "7.0.2",
        "@typescript/typescript-sunos-x64": "7.0.2",
        "@typescript/typescript-win32-arm64": "7.0.2",
        "@typescript/typescript-win32-x64": "7.0.2"
      }
    }
  }
}

{
  "name": "sample-typescript-is-constructor-declaration",
  "version": "1.0.0",
  "private": true,
  "description": "verify typescript.isConstructorDeclaration in pkg:npm/typescript@7.0.2",
  "main": "src/index.mjs",
  "type": "module",
  "scripts": {
    "test": "node test/contract.mjs"
  },
  "dependencies": {
    "typescript": "7.0.2"
  }
}

{
  "schemaVersion": 1,
  "goal": "verify typescript.isConstructorDeclaration in pkg:npm/typescript@7.0.2",
  "kind": "HOW",
  "packages": [
    "pkg:npm/typescript@7.0.2"
  ],
  "symbols": [
    "typescript.isConstructorDeclaration"
  ]
}

import { isConstructorDeclaration, SyntaxKind } from 'typescript/unstable/ast';
import {
  createConstructorDeclaration,
  createBlock,
  createParameterDeclaration,
  createIdentifier,
  createToken,
  createClassDeclaration,
  createMethodDeclaration,
  createPropertyDeclaration
} from 'typescript/unstable/ast/factory';

/**
 * Creates a TypeScript AST ConstructorDeclaration node.
 *
 * @param {Array<object>} [parameters=[]] - AST parameter declarations.
 * @param {object} [body] - AST Block node for constructor body.
 * @param {Array<object>} [modifiers] - AST modifier tokens (e.g., public, private, protected).
 * @returns {object} AST ConstructorDeclaration node.
 */
export function buildConstructorDeclaration(parameters = [], body = undefined, modifiers = undefined) {
  const block = body ?? createBlock([], false);
  return createConstructorDeclaration(modifiers, undefined, parameters, undefined, block);
}

/**
 * Validates if the given AST node is a ConstructorDeclaration.
 *
 * @param {unknown} node - AST node candidate.
 * @returns {boolean} True if the node is a ConstructorDeclaration AST node.
 */
export function isConstructor(node) {
  if (!node || typeof node !== 'object' || typeof node.kind !== 'number') {
    return false;
  }
  return isConstructorDeclaration(node);
}

/**
 * Filters a list of AST class members and returns only ConstructorDeclaration nodes.
 *
 * @param {Array<object>} members - List of AST class members.
 * @returns {Array<object>} Array of ConstructorDeclaration nodes.
 */
export function filterConstructors(members) {
  if (!Array.isArray(members)) {
    throw new TypeError('Expected an array of class members');
  }
  return members.filter((m) => isConstructor(m));
}

/**
 * Distinguishes whether an AST node is a constructor, method, or other member.
 *
 * @param {object} node - AST node to inspect.
 * @returns {string} The member classification type ('constructor', 'method', 'property', or 'other').
 */
export function classifyClassMember(node) {
  if (isConstructor(node)) {
    return 'constructor';
  }
  if (node && typeof node === 'object') {
    if (node.kind === SyntaxKind.MethodDeclaration) {
      return 'method';
    }
    if (node.kind === SyntaxKind.PropertyDeclaration) {
      return 'property';
    }
  }
  return 'other';
}

export {
  isConstructorDeclaration,
  SyntaxKind,
  createConstructorDeclaration,
  createBlock,
  createParameterDeclaration,
  createIdentifier,
  createToken,
  createClassDeclaration,
  createMethodDeclaration,
  createPropertyDeclaration
};

import assert from 'node:assert/strict';
import {
  isConstructorDeclaration,
  SyntaxKind,
  createConstructorDeclaration,
  createBlock,
  createParameterDeclaration,
  createIdentifier,
  createToken,
  createMethodDeclaration,
  createPropertyDeclaration,
  buildConstructorDeclaration,
  isConstructor,
  filterConstructors,
  classifyClassMember
} from '../src/index.mjs';

// Contract 1: isConstructorDeclaration returns true for AST ConstructorDeclaration nodes created by createConstructorDeclaration
{
  const emptyCtor = createConstructorDeclaration(undefined, undefined, [], undefined, createBlock([], false));
  assert.ok(emptyCtor, 'emptyCtor should be defined');
  assert.strictEqual(emptyCtor.kind, SyntaxKind.Constructor, 'emptyCtor.kind should match SyntaxKind.Constructor');
  assert.strictEqual(isConstructorDeclaration(emptyCtor), true, 'isConstructorDeclaration should return true for empty constructor');
  assert.strictEqual(isConstructor(emptyCtor), true, 'isConstructor wrapper should return true');
}

// Contract 2: isConstructorDeclaration returns false for other AST nodes including MethodDeclaration, PropertyDeclaration, FunctionDeclaration, and ParameterDeclaration
{
  const method = createMethodDeclaration(
    undefined,
    undefined,
    'compute',
    undefined,
    undefined,
    [],
    undefined,
    createBlock([], false)
  );
  assert.strictEqual(method.kind, SyntaxKind.MethodDeclaration, 'method.kind should be MethodDeclaration');
  assert.strictEqual(isConstructorDeclaration(method), false, 'isConstructorDeclaration should return false for method');

  const property = createPropertyDeclaration(
    undefined,
    'value',
    undefined,
    undefined,
    undefined
  );
  assert.strictEqual(property.kind, SyntaxKind.PropertyDeclaration, 'property.kind should be PropertyDeclaration');
  assert.strictEqual(isConstructorDeclaration(property), false, 'isConstructorDeclaration should return false for property');

  const param = createParameterDeclaration(
    undefined,
    undefined,
    'param1',
    undefined,
    undefined,
    undefined
  );
  assert.strictEqual(param.kind, SyntaxKind.Parameter, 'param.kind should be Parameter');
  assert.strictEqual(isConstructorDeclaration(param), false, 'isConstructorDeclaration should return false for parameter');

  const id = createIdentifier('myIdentifier');
  assert.strictEqual(id.kind, SyntaxKind.Identifier, 'id.kind should be Identifier');
  assert.strictEqual(isConstructorDeclaration(id), false, 'isConstructorDeclaration should return false for identifier');

  // Test non-node inputs with safe wrapper
  assert.strictEqual(isConstructor(null), false, 'isConstructor should return false for null');
  assert.strictEqual(isConstructor(undefined), false, 'isConstructor should return false for undefined');
  assert.strictEqual(isConstructor({}), false, 'isConstructor should return false for empty object');
  assert.strictEqual(isConstructor({ kind: 'invalid' }), false, 'isConstructor should return false for non-numeric kind');
}

// Contract 3: isConstructorDeclaration identifies constructor declarations with parameters, modifiers, and body blocks
{
  const pubModifier = createToken(SyntaxKind.PublicKeyword);
  const paramA = createParameterDeclaration(undefined, undefined, 'argA', undefined, undefined, undefined);
  const paramB = createParameterDeclaration(undefined, undefined, 'argB', undefined, undefined, undefined);
  const bodyBlock = createBlock([], false);

  const ctorWithDetails = createConstructorDeclaration(
    [pubModifier],
    undefined,
    [paramA, paramB],
    undefined,
    bodyBlock
  );

  assert.strictEqual(isConstructorDeclaration(ctorWithDetails), true, 'Constructor with modifiers and parameters should be valid');
  assert.strictEqual(ctorWithDetails.kind, SyntaxKind.Constructor, 'Kind must be Constructor');
}

// Contract 4: buildConstructorDeclaration constructs valid AST constructor nodes that satisfy isConstructorDeclaration
{
  const customParam = createParameterDeclaration(undefined, undefined, 'data', undefined, undefined, undefined);
  const customCtor = buildConstructorDeclaration([customParam]);
  assert.ok(customCtor, 'customCtor should be created');
  assert.strictEqual(isConstructorDeclaration(customCtor), true, 'buildConstructorDeclaration result should satisfy isConstructorDeclaration');
  assert.strictEqual(isConstructor(customCtor), true, 'buildConstructorDeclaration result should satisfy isConstructor');
}

// Contract 5: filterConstructors selects constructor declarations from class members and classifyClassMember categorizes AST members
{
  const ctor1 = buildConstructorDeclaration([]);
  const method1 = createMethodDeclaration(
    undefined,
    undefined,
    'doSomething',
    undefined,
    undefined,
    [],
    undefined,
    createBlock([], false)
  );
  const prop1 = createPropertyDeclaration(
    undefined,
    'title',
    undefined,
    undefined,
    undefined
  );

  const members = [ctor1, method1, prop1];
  const filtered = filterConstructors(members);
  assert.strictEqual(filtered.length, 1, 'Only 1 constructor should be filtered');
  assert.strictEqual(filtered[0], ctor1, 'Filtered member should be ctor1');

  assert.strictEqual(classifyClassMember(ctor1), 'constructor', 'ctor1 should be classified as constructor');
  assert.strictEqual(classifyClassMember(method1), 'method', 'method1 should be classified as method');
  assert.strictEqual(classifyClassMember(prop1), 'property', 'prop1 should be classified as property');
  assert.strictEqual(classifyClassMember(null), 'other', 'null should be classified as other');
  assert.strictEqual(classifyClassMember({}), 'other', 'empty object should be classified as other');

  assert.throws(() => filterConstructors(null), { name: 'TypeError' }, 'filterConstructors should throw on non-array');
}

console.log('Contract test passed successfully.');