サンプル
typescript 7.0.2: isIdentifier
検証済みサンプル — npm typescript 7.0.2: isIdentifier. node 22 · linux alpine/x64 · docker で contract を実行し、成功しました: isIdentifier returns true for AST Identifier nodes…
sha256:00a992eff91ec0a4d4eb1064d9679bce019f40e9c3be928f1127459e65a36fb4
このネットワークが提供するのは一つだけです。ビルドされるサンプル。サンドボックスで実行し、署名済みの受領証を保管します。等級はつけず、何も保証しません — 同じコードがあなたの環境でビルドされるかは測定していません。
合格した契約受領証を提出した異なる署名鍵の数です。1 なら作者だけ、2 以上なら他の誰かもビルドしています。鍵は自己生成で背後に登録された身元がないため、数えているのは人ではなく鍵です。
MIT-0
実行証拠
宣言された環境と署名済みの実行を分けてあります。このサンプルが何をどこで実行したかをそのまま確認できます。
- 証拠の基準
- 署名済みコントラクト合格
- 検証レシート
- 1
- ビルドした署名鍵
- 1
宣言された環境
linux 24 · ubuntu · glibc 2.39 x64 npm
検証実行環境
| 環境 | コントラクト | ステージ | 実行日 |
|---|---|---|---|
| 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 |
ケース
HOW- ゴール
- verify typescript.isIdentifier in pkg:npm/typescript@7.0.2
- パッケージ
- シンボル
-
- typescript.isIdentifier
- 作成日
- 2026-08-28T07:57:19Z
コントラクト
- isIdentifier returns true for AST Identifier nodes constructed with createIdentifier
- isIdentifier returns false for other AST node types such as string and numeric literals
- isIdentifier throws TypeError when evaluated on null or undefined
- filterIdentifiers filters mixed AST node collections to only valid Identifier nodes
- validateIdentifier returns identifier text for valid identifiers and throws TypeError for invalid nodes
ファイル
- PROMPT.md
- csx.json
- package-lock.json
- package.json
- spec.json
- src/index.mjs
- test/contract.mjs
ソース
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.isIdentifier 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.isIdentifier
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:f8c378ba51a45933dec38541887bf4f5830c189849b487777e707553902f2e0a","contract":["isIdentifier returns true for AST Identifier nodes constructed with createIdentifier","isIdentifier returns false for other AST node types such as string and numeric literals","isIdentifier throws TypeError when evaluated on null or undefined","filterIdentifiers filters mixed AST node collections to only valid Identifier nodes","validateIdentifier returns identifier text for valid identifiers and throws TypeError for invalid nodes"],"goal":"verify typescript.isIdentifier in pkg:npm/typescript@7.0.2","kind":"HOW","packages":["pkg:npm/typescript@7.0.2"],"schemaVersion":1,"symbols":["typescript.isIdentifier"]},"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.isIdentifier"],"verifierAdapter":"node-typescript@1"}
{
"name": "sample-typescript-is-identifier",
"version": "1.0.0",
"lockfileVersion": 3,
"requires": true,
"packages": {
"": {
"name": "sample-typescript-is-identifier",
"version": "1.0.0",
"license": "MIT-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-identifier",
"version": "1.0.0",
"description": "Construct and validate TypeScript AST identifier nodes using isIdentifier",
"type": "module",
"main": "src/index.mjs",
"scripts": {
"test": "node test/contract.mjs"
},
"dependencies": {
"typescript": "7.0.2"
},
"license": "MIT-0"
}
{
"schemaVersion": 1,
"goal": "verify typescript.isIdentifier in pkg:npm/typescript@7.0.2",
"kind": "HOW",
"packages": [
"pkg:npm/typescript@7.0.2"
],
"symbols": [
"typescript.isIdentifier"
]
}
import {
createIdentifier,
createStringLiteral,
createNumericLiteral
} from 'typescript/unstable/ast/factory';
import {
isIdentifier,
SyntaxKind
} from 'typescript/unstable/ast';
/**
* Validates that an AST node is a TypeScript Identifier node and returns its text.
*
* @param {object} node - AST node to check.
* @returns {string} The text content of the identifier.
* @throws {TypeError} If node is missing or not an Identifier AST node.
*/
export function validateIdentifier(node) {
if (!node || typeof node !== 'object') {
throw new TypeError('Expected an AST node object');
}
if (!isIdentifier(node)) {
throw new TypeError('Expected a TypeScript Identifier AST node');
}
return node.text;
}
/**
* Creates a validated TypeScript Identifier AST node with the given name.
*
* @param {string} name - Identifier name.
* @returns {object} The created Identifier AST node.
* @throws {TypeError} If name is not a non-empty string.
*/
export function createSafeIdentifier(name) {
if (typeof name !== 'string' || name.trim().length === 0) {
throw new TypeError('Identifier name must be a non-empty string');
}
const idNode = createIdentifier(name);
if (!isIdentifier(idNode)) {
throw new Error('Failed to construct a valid Identifier AST node');
}
return idNode;
}
/**
* Filters an array of AST nodes and returns only those that are valid Identifier nodes.
*
* @param {object[]} nodes - Array of candidate AST nodes.
* @returns {object[]} Array of validated Identifier AST nodes.
*/
export function filterIdentifiers(nodes) {
if (!Array.isArray(nodes)) {
return [];
}
return nodes.filter(node => node && typeof node === 'object' && isIdentifier(node));
}
/**
* Checks whether a value is a valid TypeScript AST Identifier node without throwing.
*
* @param {unknown} node - Candidate value to test.
* @returns {boolean} True if value is an Identifier AST node, false otherwise.
*/
export function isIdentifierNode(node) {
if (!node || typeof node !== 'object') {
return false;
}
return isIdentifier(node);
}
export {
isIdentifier,
createIdentifier,
createStringLiteral,
createNumericLiteral,
SyntaxKind
};
import assert from 'node:assert/strict';
import {
createIdentifier,
createStringLiteral,
createNumericLiteral,
createExpressionWithTypeArguments
} from 'typescript/unstable/ast/factory';
import {
isIdentifier,
validateIdentifier,
createSafeIdentifier,
filterIdentifiers,
isIdentifierNode,
SyntaxKind
} from '../src/index.mjs';
// Contract 1: isIdentifier returns true for AST Identifier nodes constructed with createIdentifier
{
const idNode = createIdentifier('userName');
assert.strictEqual(isIdentifier(idNode), true, 'createIdentifier output must satisfy isIdentifier');
assert.strictEqual(idNode.kind, SyntaxKind.Identifier, 'kind must match SyntaxKind.Identifier');
assert.strictEqual(idNode.text, 'userName', 'text property should match identifier name');
assert.strictEqual(isIdentifierNode(idNode), true, 'isIdentifierNode helper should return true');
}
// Contract 2: isIdentifier returns false for other AST node types such as string and numeric literals
{
const strLiteral = createStringLiteral('userName');
assert.strictEqual(isIdentifier(strLiteral), false, 'StringLiteral must not satisfy isIdentifier');
assert.notStrictEqual(strLiteral.kind, SyntaxKind.Identifier, 'StringLiteral kind must not be SyntaxKind.Identifier');
const numLiteral = createNumericLiteral('123');
assert.strictEqual(isIdentifier(numLiteral), false, 'NumericLiteral must not satisfy isIdentifier');
const typeExpr = createExpressionWithTypeArguments(createIdentifier('MyType'), []);
assert.strictEqual(isIdentifier(typeExpr), false, 'ExpressionWithTypeArguments must not satisfy isIdentifier');
}
// Contract 3: isIdentifier throws TypeError when evaluated on null or undefined
{
assert.throws(
() => isIdentifier(null),
{
name: 'TypeError'
},
'isIdentifier on null should throw TypeError'
);
assert.throws(
() => isIdentifier(undefined),
{
name: 'TypeError'
},
'isIdentifier on undefined should throw TypeError'
);
assert.strictEqual(isIdentifierNode(null), false, 'Safe wrapper isIdentifierNode should return false for null');
assert.strictEqual(isIdentifierNode(undefined), false, 'Safe wrapper isIdentifierNode should return false for undefined');
assert.strictEqual(isIdentifierNode({}), false, 'Safe wrapper isIdentifierNode should return false for empty object');
}
// Contract 4: filterIdentifiers filters mixed AST node collections to only valid Identifier nodes
{
const id1 = createIdentifier('alpha');
const id2 = createIdentifier('beta');
const str = createStringLiteral('gamma');
const num = createNumericLiteral('42');
const nonNode = { type: 'custom' };
const mixedList = [id1, str, null, id2, num, undefined, nonNode];
const filtered = filterIdentifiers(mixedList);
assert.strictEqual(filtered.length, 2, 'Filtered array should contain exactly 2 identifiers');
assert.strictEqual(filtered[0], id1, 'First filtered item should be id1');
assert.strictEqual(filtered[1], id2, 'Second filtered item should be id2');
assert.deepStrictEqual(filterIdentifiers(null), [], 'Null input should return empty array');
assert.deepStrictEqual(filterIdentifiers(undefined), [], 'Undefined input should return empty array');
}
// Contract 5: validateIdentifier returns identifier text for valid identifiers and throws TypeError for invalid nodes
{
const id = createSafeIdentifier('validVarName');
assert.strictEqual(isIdentifier(id), true, 'createSafeIdentifier result must satisfy isIdentifier');
assert.strictEqual(validateIdentifier(id), 'validVarName', 'validateIdentifier should return identifier text');
const str = createStringLiteral('notAnId');
assert.throws(
() => validateIdentifier(str),
{
name: 'TypeError',
message: 'Expected a TypeScript Identifier AST node'
}
);
assert.throws(
() => validateIdentifier(null),
{
name: 'TypeError',
message: 'Expected an AST node object'
}
);
assert.throws(
() => createSafeIdentifier(''),
{
name: 'TypeError',
message: 'Identifier name must be a non-empty string'
}
);
}
console.log('Contract test passed successfully.');
オリジンシーダー
匿名