CodeSampleX

Sample

typescript 7.0.2: isMethodDeclaration

Verified sample for npm typescript 7.0.2: isMethodDeclaration. The contract ran on node 22 · linux alpine/x64 · docker and passed.

sha256:e1cd880e493983ec3976f44af6e7ffb9c302730902c0ba1303c37a98599972c3

This network offers one thing: a sample that builds. It ran the sample in a sandbox and kept the signed receipt. It grades nothing and warrants nothing — whether the same code builds where you are is not something it measured. How many distinct signing keys filed a passing contract receipt. One is the author alone; more than one means somebody else built it too. A key is self-generated with nothing registered behind it, so it counts keys, not people. MIT-0

Execution evidence

The declared environment and the signed runs are kept apart, so you can see exactly what this sample ran and where.

Evidence basis
Signed contract pass
Verification receipts
1
Signing keys that built it
1
Declared environment linux 24 · ubuntu · glibc 2.39 x64 npm

Verification-run environments

Environment Contract Stages Run
node 22 · linux alpine/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · node-typescript@1node:22-alpine@sha256:c610fcdfb1d5…		 2026-08-28

Case

HOW
Goal
verify typescript.isMethodDeclaration in pkg:npm/typescript@7.0.2
Packages
Symbols
  • typescript.isMethodDeclaration
Created
2026-08-28T07:59:17Z

Contract

  1. isMethodDeclaration returns true for MethodDeclaration AST nodes created with factory.createMethodDeclaration
  2. isMethodDeclaration returns false for other AST nodes such as Identifier, Block, ParameterDeclaration, and PropertyDeclaration
  3. isMethodDeclaration returns false for plain objects with different kind values
  4. findMethodDeclarations extracts and filters only method declarations from class declaration members
  5. getMethodInfo retrieves name, parameter count, and body presence from validated MethodDeclaration nodes and throws TypeError for non-method nodes

Files

  • PROMPT.md
  • csx.json
  • package-lock.json
  • package.json
  • spec.json
  • src/index.mjs
  • test/contract.mjs

Download the source artifact (tar.gz)

Source

PROMPT.md
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.isMethodDeclaration 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.isMethodDeclaration

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.
csx.json
{"case":{"caseId":"case:sha256:f96f82119b0a446346c811e47382386356949a031c698b65a177e4a5fbb1028c","contract":["isMethodDeclaration returns true for MethodDeclaration AST nodes created with factory.createMethodDeclaration","isMethodDeclaration returns false for other AST nodes such as Identifier, Block, ParameterDeclaration, and PropertyDeclaration","isMethodDeclaration returns false for plain objects with different kind values","findMethodDeclarations extracts and filters only method declarations from class declaration members","getMethodInfo retrieves name, parameter count, and body presence from validated MethodDeclaration nodes and throws TypeError for non-method nodes"],"goal":"verify typescript.isMethodDeclaration in pkg:npm/typescript@7.0.2","kind":"HOW","packages":["pkg:npm/typescript@7.0.2"],"schemaVersion":1,"symbols":["typescript.isMethodDeclaration"]},"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.isMethodDeclaration"],"verifierAdapter":"node-typescript@1"}
package-lock.json
{
  "name": "sample-68682851",
  "version": "1.0.0",
  "lockfileVersion": 3,
  "requires": true,
  "packages": {
    "": {
      "name": "sample-68682851",
      "version": "1.0.0",
      "license": "ISC",
      "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"
      }
    }
  }
}
package.json
{
  "name": "sample-typescript-is-method-declaration",
  "version": "1.0.0",
  "description": "Construct and validate TypeScript method declarations using isMethodDeclaration",
  "type": "module",
  "main": "src/index.mjs",
  "scripts": {
    "test": "node test/contract.mjs"
  },
  "dependencies": {
    "typescript": "7.0.2"
  },
  "license": "MIT-0"
}
spec.json
{
  "schemaVersion": 1,
  "goal": "verify typescript.isMethodDeclaration in pkg:npm/typescript@7.0.2",
  "kind": "HOW",
  "packages": [
    "pkg:npm/typescript@7.0.2"
  ],
  "symbols": [
    "typescript.isMethodDeclaration"
  ]
}
src/index.mjs
import {
  createMethodDeclaration,
  createIdentifier,
  createBlock,
  createParameterDeclaration,
  createPropertyDeclaration,
  createClassDeclaration,
  createKeywordTypeNode
} from 'typescript/unstable/ast/factory';

import {
  isMethodDeclaration,
  SyntaxKind
} from 'typescript/unstable/ast';

/**
 * Creates a simple MethodDeclaration AST node with the given name, parameter names, and optional statements.
 *
 * @param {string} name - Method name identifier.
 * @param {string[]} [paramNames=[]] - Parameter names.
 * @param {object[]} [statements=[]] - Statements for the method body block.
 * @returns {object} MethodDeclaration AST node.
 */
export function createSimpleMethod(name, paramNames = [], statements = []) {
  const methodName = createIdentifier(name);
  const parameters = paramNames.map(paramName =>
    createParameterDeclaration(
      undefined,
      undefined,
      createIdentifier(paramName),
      undefined,
      undefined,
      undefined
    )
  );
  const body = createBlock(statements, true);
  return createMethodDeclaration(
    undefined,
    undefined,
    methodName,
    undefined,
    undefined,
    parameters,
    undefined,
    body
  );
}

/**
 * Extracts and filters all valid MethodDeclaration nodes from a class declaration.
 *
 * @param {object} classNode - AST node (e.g. ClassDeclaration).
 * @returns {object[]} Array of validated MethodDeclaration AST nodes.
 */
export function findMethodDeclarations(classNode) {
  if (!classNode || !Array.isArray(classNode.members)) {
    return [];
  }
  return classNode.members.filter(node => node && isMethodDeclaration(node));
}

/**
 * Retrieves summary information from a validated MethodDeclaration AST node.
 *
 * @param {object} node - MethodDeclaration AST node.
 * @returns {{ name: string, parameterCount: number, hasBody: boolean }} Method summary info.
 */
export function getMethodInfo(node) {
  if (!node || !isMethodDeclaration(node)) {
    throw new TypeError('Expected an AST MethodDeclaration node');
  }
  return {
    name: node.name && node.name.text ? node.name.text : '',
    parameterCount: Array.isArray(node.parameters) ? node.parameters.length : 0,
    hasBody: Boolean(node.body)
  };
}

export {
  isMethodDeclaration,
  createMethodDeclaration,
  createIdentifier,
  createBlock,
  createParameterDeclaration,
  createPropertyDeclaration,
  createClassDeclaration,
  createKeywordTypeNode,
  SyntaxKind
};
test/contract.mjs
import assert from 'node:assert/strict';
import {
  createIdentifier,
  createBlock,
  createParameterDeclaration,
  createPropertyDeclaration,
  createClassDeclaration,
  createKeywordTypeNode
} from 'typescript/unstable/ast/factory';

import {
  isMethodDeclaration,
  createSimpleMethod,
  findMethodDeclarations,
  getMethodInfo,
  SyntaxKind
} from '../src/index.mjs';

// Contract 1: isMethodDeclaration returns true for MethodDeclaration AST nodes created with factory.createMethodDeclaration
{
  const method = createSimpleMethod('calculateTotal', ['price', 'tax']);
  assert.strictEqual(isMethodDeclaration(method), true, 'Method declaration should satisfy isMethodDeclaration');
  assert.strictEqual(method.kind, SyntaxKind.MethodDeclaration, 'Kind should be SyntaxKind.MethodDeclaration');
  assert.strictEqual(method.name.text, 'calculateTotal', 'Method name should match');
  assert.strictEqual(method.parameters.length, 2, 'Should have 2 parameters');
  assert.ok(method.body, 'Method should have a body block');
}

// Contract 2: isMethodDeclaration returns false for other AST nodes such as Identifier, Block, ParameterDeclaration, and PropertyDeclaration
{
  const idNode = createIdentifier('calculateTotal');
  assert.strictEqual(isMethodDeclaration(idNode), false, 'Identifier should not be a MethodDeclaration');

  const blockNode = createBlock([], true);
  assert.strictEqual(isMethodDeclaration(blockNode), false, 'Block should not be a MethodDeclaration');

  const paramNode = createParameterDeclaration(undefined, undefined, createIdentifier('x'), undefined, undefined, undefined);
  assert.strictEqual(isMethodDeclaration(paramNode), false, 'ParameterDeclaration should not be a MethodDeclaration');

  const propNode = createPropertyDeclaration(undefined, createIdentifier('count'), undefined, undefined, undefined);
  assert.strictEqual(isMethodDeclaration(propNode), false, 'PropertyDeclaration should not be a MethodDeclaration');
}

// Contract 3: isMethodDeclaration returns false for plain objects with different kind values
{
  const fakeIdentifier = { kind: SyntaxKind.Identifier, text: 'test' };
  assert.strictEqual(isMethodDeclaration(fakeIdentifier), false, 'Object with Identifier kind should return false');

  const fakeBlock = { kind: SyntaxKind.Block };
  assert.strictEqual(isMethodDeclaration(fakeBlock), false, 'Object with Block kind should return false');
}

// Contract 4: findMethodDeclarations extracts and filters only method declarations from class declaration members
{
  const method1 = createSimpleMethod('start');
  const method2 = createSimpleMethod('stop');
  const prop = createPropertyDeclaration(undefined, createIdentifier('status'), undefined, undefined, undefined);

  const classDecl = createClassDeclaration(
    undefined,
    createIdentifier('Service'),
    undefined,
    undefined,
    [method1, prop, method2]
  );

  const methods = findMethodDeclarations(classDecl);
  assert.strictEqual(methods.length, 2, 'Should extract exactly 2 methods');
  assert.strictEqual(methods[0], method1, 'First method should match method1');
  assert.strictEqual(methods[1], method2, 'Second method should match method2');

  assert.deepStrictEqual(findMethodDeclarations(null), [], 'Null input should return empty array');
  assert.deepStrictEqual(findMethodDeclarations({}), [], 'Empty object should return empty array');
}

// Contract 5: getMethodInfo retrieves name, parameter count, and body presence from validated MethodDeclaration nodes and throws TypeError for non-method nodes
{
  const method = createSimpleMethod('execute', ['input', 'options']);
  const info = getMethodInfo(method);
  assert.deepStrictEqual(info, {
    name: 'execute',
    parameterCount: 2,
    hasBody: true
  }, 'Method info should match expected structure');

  const idNode = createIdentifier('invalid');
  assert.throws(
    () => getMethodInfo(idNode),
    {
      name: 'TypeError',
      message: 'Expected an AST MethodDeclaration node'
    },
    'Should throw TypeError when passed non-method AST node'
  );

  assert.throws(
    () => getMethodInfo(null),
    {
      name: 'TypeError',
      message: 'Expected an AST MethodDeclaration node'
    },
    'Should throw TypeError when passed null'
  );
}

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

Origin Seeder

anonymous