CodeSampleX

Ejemplo

typescript 7.0.2: isMethodDeclaration

Muestra verificada para npm typescript 7.0.2: isMethodDeclaration. El contrato se ejecutó en node 22 · linux alpine/x64 · docker y pasó.

sha256:e1cd880e493983ec3976f44af6e7ffb9c302730902c0ba1303c37a98599972c3

Esta red ofrece una sola cosa: una muestra que compila. La ejecutó en un sandbox y guardó el recibo firmado. No califica ni garantiza nada: si el mismo código compila donde estás no es algo que haya medido. Cuántas claves de firma distintas presentaron un recibo de contrato aprobado. Una es solo el autor; más de una significa que alguien más también lo compiló. Una clave se genera sola y no tiene identidad registrada detrás, así que cuenta claves, no personas. MIT-0

Evidencia de ejecución

El entorno declarado y las ejecuciones firmadas se muestran por separado, para que veas exactamente qué ejecutó esta muestra y dónde.

Base de evidencia
Contrato firmado aprobado
Recibos de verificación
1
Claves de firma que lo compilaron
1
Entorno declarado linux 24 · ubuntu · glibc 2.39 x64 npm

Entornos de las ejecuciones de verificación

Entorno Contrato Etapas Ejecución
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

Caso

HOW
Objetivo
verify typescript.isMethodDeclaration in pkg:npm/typescript@7.0.2
Paquetes
Símbolos
  • typescript.isMethodDeclaration
Creado
2026-08-28T07:59:17Z

Contrato

  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

Archivos

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

Descargar el artefacto de código fuente (tar.gz)

Código fuente

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.');

Seeder de origen

anónimo