CodeSampleX

Exemple

@typescript-eslint/scope-manager 8.69.0: TSEnumNameDefinition

Échantillon vérifié pour npm @typescript-eslint/scope-manager 8.69.0: TSEnumNameDefinition. Le contrat s'est exécuté sur node 22 · linux debian/x64 · docker…

sha256:8669e7e83f03e0c2f6d901284013966a526d822a577e0de106062e5581697f66

Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré. Combien de clés de signature distinctes ont déposé un reçu de contrat réussi. Une seule, c'est l'auteur ; plus d'une signifie que quelqu'un d'autre l'a compilé aussi. Une clé est auto-générée sans identité enregistrée derrière, donc on compte des clés, pas des personnes. MIT-0

Preuves d'exécution

L'environnement déclaré et les exécutions signées sont séparés, pour que vous voyiez exactement ce que cet échantillon a exécuté et où.

Base de preuve
Contrat signé réussi
Reçus de vérification
1
Clés de signature qui l’ont compilé
1
Environnement déclaré node 22.23 linux 24 · ubuntu · glibc 2.39 x64 node 22.23 javascript npm 10

Environnements des exécutions de vérification

Environnement Contrat Étapes Exécution
node 22 · linux debian/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · node-typescript@1node:22@sha256:8a34c4ab3ea2…
2026-10-12

Cas

HOW
Objectif
verify @typescript-eslint/scope-manager.TSEnumNameDefinition in pkg:npm/%40typescript-eslint/scope-manager@8.69.0
Paquets
Symboles
  • @typescript-eslint/scope-manager.TSEnumNameDefinition
Environnement
node 22.23.2
Créé
2026-10-12T04:32:33Z

Contrat

  1. TSEnumNameDefinition can be directly instantiated with name identifier and enum declaration AST nodes
  2. TSEnumNameDefinition marks definition as both type definition and variable definition
  3. analyze creates TSEnumNameDefinition for enum declarations in scope
  4. analyze creates multiple TSEnumNameDefinition entries for merged enum declarations
  5. TSEnumNameDefinition assigns a unique numeric $id to each instance

Fichiers

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

Télécharger l’artefact source (tar.gz)

Code 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-eslint/scope-manager.TSEnumNameDefinition in pkg:npm/%40typescript-eslint/scope-manager@8.69.0
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:npm/%40typescript-eslint/scope-manager@8.69.0
Demonstrate these symbols/APIs:
  - @typescript-eslint/scope-manager.TSEnumNameDefinition

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:03a8dbdb1a291f49a80b0c5a5e10f7490d58afa4f1b96f732dedd2ea75919f24","contract":["TSEnumNameDefinition can be directly instantiated with name identifier and enum declaration AST nodes","TSEnumNameDefinition marks definition as both type definition and variable definition","analyze creates TSEnumNameDefinition for enum declarations in scope","analyze creates multiple TSEnumNameDefinition entries for merged enum declarations","TSEnumNameDefinition assigns a unique numeric $id to each instance"],"goal":"verify @typescript-eslint/scope-manager.TSEnumNameDefinition in pkg:npm/%40typescript-eslint/scope-manager@8.69.0","kind":"HOW","packages":["pkg:npm/%40typescript-eslint/scope-manager@8.69.0"],"schemaVersion":1,"symbols":["@typescript-eslint/scope-manager.TSEnumNameDefinition"]},"contractCommand":["node","test/contract.cjs"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"npm","executionContext":"node","language":"javascript","libc":"glibc","libcVersion":"2.39","moduleSystem":"cjs","os":"linux","osVersionBucket":"24","packageManager":"npm","packageManagerVersion":"10.9.8","runtime":"node","runtimeVersion":"22.23.2","schemaVersion":1},"license":"MIT-0","packages":["pkg:npm/%40typescript-eslint/scope-manager@8.69.0"],"schemaVersion":1,"subject":"pkg:npm/%40typescript-eslint/scope-manager@8.69.0","symbols":["@typescript-eslint/scope-manager.TSEnumNameDefinition"],"verifierAdapter":"node-typescript@1"}
package-lock.json
{
  "name": "verify-scope-manager-tsenumnamedefinition",
  "version": "1.0.0",
  "lockfileVersion": 3,
  "requires": true,
  "packages": {
    "": {
      "name": "verify-scope-manager-tsenumnamedefinition",
      "version": "1.0.0",
      "dependencies": {
        "@typescript-eslint/scope-manager": "8.69.0"
      }
    },
    "node_modules/@typescript-eslint/scope-manager": {
      "version": "8.69.0",
      "resolved": "https://registry.npmjs.org/@typescript-eslint/scope-manager/-/scope-manager-8.69.0.tgz",
      "integrity": "sha512-ewfspqWvSxKSOaplqAUNbaSFO0eB6w1EtQ+esfYFRm3614Ty4uNtExkcbgd6nWsXphbqKyf9ZYdbZdv2xEoWEQ==",
      "license": "MIT",
      "dependencies": {
        "@typescript-eslint/types": "8.69.0",
        "@typescript-eslint/visitor-keys": "8.69.0"
      },
      "engines": {
        "node": "^18.18.0 || ^20.9.0 || >=21.1.0"
      },
      "funding": {
        "type": "opencollective",
        "url": "https://opencollective.com/typescript-eslint"
      }
    },
    "node_modules/@typescript-eslint/types": {
      "version": "8.69.0",
      "resolved": "https://registry.npmjs.org/@typescript-eslint/types/-/types-8.69.0.tgz",
      "integrity": "sha512-K3VrubUPhlo9VDBS6QdI8YB5j7ClpqLRdefcz6PFrhnwicehBweqQ9Evhl4l+FYz0HdDmMqIiSX0aldGRYtDCA==",
      "license": "MIT",
      "engines": {
        "node": "^18.18.0 || ^20.9.0 || >=21.1.0"
      },
      "funding": {
        "type": "opencollective",
        "url": "https://opencollective.com/typescript-eslint"
      }
    },
    "node_modules/@typescript-eslint/visitor-keys": {
      "version": "8.69.0",
      "resolved": "https://registry.npmjs.org/@typescript-eslint/visitor-keys/-/visitor-keys-8.69.0.tgz",
      "integrity": "sha512-+rmdgPA+EXkNgKYvHvFfhrs35utXbwaC5PGpDquSXcoXQDKUA5UjV0LmTucG/4JXkM31BTu4TilHtrN8IVBe8w==",
      "license": "MIT",
      "dependencies": {
        "@typescript-eslint/types": "8.69.0",
        "eslint-visitor-keys": "^5.0.0"
      },
      "engines": {
        "node": "^18.18.0 || ^20.9.0 || >=21.1.0"
      },
      "funding": {
        "type": "opencollective",
        "url": "https://opencollective.com/typescript-eslint"
      }
    },
    "node_modules/eslint-visitor-keys": {
      "version": "5.0.1",
      "resolved": "https://registry.npmjs.org/eslint-visitor-keys/-/eslint-visitor-keys-5.0.1.tgz",
      "integrity": "sha512-tD40eHxA35h0PEIZNeIjkHoDR4YjjJp34biM0mDvplBe//mB+IHCqHDGV7pxF+7MklTvighcCPPZC7ynWyjdTA==",
      "license": "Apache-2.0",
      "engines": {
        "node": "^20.19.0 || ^22.13.0 || >=24"
      },
      "funding": {
        "url": "https://opencollective.com/eslint"
      }
    }
  }
}
package.json
{
  "name": "verify-scope-manager-tsenumnamedefinition",
  "version": "1.0.0",
  "private": true,
  "description": "verify @typescript-eslint/scope-manager.TSEnumNameDefinition in pkg:npm/@typescript-eslint/scope-manager@8.69.0",
  "main": "src/index.js",
  "scripts": {
    "test": "node test/contract.cjs"
  },
  "dependencies": {
    "@typescript-eslint/scope-manager": "8.69.0"
  }
}
spec.json
{
  "schemaVersion": 1,
  "goal": "verify @typescript-eslint/scope-manager.TSEnumNameDefinition in pkg:npm/%40typescript-eslint/scope-manager@8.69.0",
  "kind": "HOW",
  "packages": [
    "pkg:npm/%40typescript-eslint/scope-manager@8.69.0"
  ],
  "symbols": [
    "@typescript-eslint/scope-manager.TSEnumNameDefinition"
  ]
}
src/index.js
const {
  analyze,
  TSEnumNameDefinition,
  ScopeType,
  DefinitionType,
} = require('@typescript-eslint/scope-manager');

/**
 * Creates a new TSEnumNameDefinition instance directly.
 *
 * @param {object} name - The Identifier node representing the enum name.
 * @param {object} node - The TSEnumDeclaration AST node.
 * @returns {TSEnumNameDefinition} The created TSEnumNameDefinition instance.
 */
function createEnumNameDefinition(name, node) {
  return new TSEnumNameDefinition(name, node);
}

/**
 * Analyzes an AST and returns all TSEnumNameDefinition instances found across scopes.
 *
 * @param {object} ast - ESTree / TSESTree program AST.
 * @param {object} [options] - Optional scope analyzer options.
 * @returns {TSEnumNameDefinition[]} Array of TSEnumNameDefinition instances.
 */
function extractEnumNameDefinitions(ast, options) {
  const scopeManager = analyze(ast, options);
  const definitions = [];

  for (const scope of scopeManager.scopes) {
    for (const variable of scope.variables) {
      for (const def of variable.defs) {
        if (def instanceof TSEnumNameDefinition) {
          definitions.push(def);
        }
      }
    }
  }

  return definitions;
}

/**
 * Checks whether an object is an instance of TSEnumNameDefinition.
 *
 * @param {unknown} def - Value to check.
 * @returns {boolean} True if the value is a TSEnumNameDefinition.
 */
function isEnumNameDefinition(def) {
  return def instanceof TSEnumNameDefinition;
}

module.exports = {
  createEnumNameDefinition,
  extractEnumNameDefinitions,
  isEnumNameDefinition,
  TSEnumNameDefinition,
  DefinitionType,
  ScopeType,
  analyze,
};
test/contract.cjs
const assert = require('node:assert/strict');
const {
  createEnumNameDefinition,
  extractEnumNameDefinitions,
  isEnumNameDefinition,
  TSEnumNameDefinition,
  DefinitionType,
  ScopeType,
  analyze,
} = require('../src/index.js');

// 1. TSEnumNameDefinition can be directly instantiated with name identifier and enum declaration AST nodes
const identifierNameNode = {
  type: 'Identifier',
  name: 'Direction',
  range: [5, 14],
};
const enumDeclarationNode = {
  type: 'TSEnumDeclaration',
  id: identifierNameNode,
  body: {
    type: 'TSEnumBody',
    members: [],
    range: [15, 17],
  },
  range: [0, 17],
};

const directDefinition = createEnumNameDefinition(identifierNameNode, enumDeclarationNode);

assert.ok(directDefinition, 'Direct definition instance should be created');
assert.ok(isEnumNameDefinition(directDefinition), 'Instance should be recognized as TSEnumNameDefinition');
assert.strictEqual(
  directDefinition.type,
  DefinitionType.TSEnumName,
  'Definition type should match DefinitionType.TSEnumName'
);
assert.strictEqual(directDefinition.name, identifierNameNode, 'Definition name should refer to the name identifier node');
assert.strictEqual(directDefinition.node, enumDeclarationNode, 'Definition node should refer to the TSEnumDeclaration node');
assert.strictEqual(directDefinition.parent, null, 'Definition parent should be null');

// 2. TSEnumNameDefinition marks definition as both type definition and variable definition
assert.strictEqual(
  directDefinition.isTypeDefinition,
  true,
  'TSEnumNameDefinition should have isTypeDefinition set to true'
);
assert.strictEqual(
  directDefinition.isVariableDefinition,
  true,
  'TSEnumNameDefinition should have isVariableDefinition set to true'
);

// 3. analyze creates TSEnumNameDefinition for enum declarations in scope
const enumAst = {
  type: 'Program',
  body: [
    {
      type: 'TSEnumDeclaration',
      id: { type: 'Identifier', name: 'Status', range: [5, 11] },
      body: {
        type: 'TSEnumBody',
        members: [
          {
            type: 'TSEnumMember',
            id: { type: 'Identifier', name: 'Active', range: [14, 20] },
            initializer: { type: 'Literal', value: 1, raw: '1', range: [23, 24] },
            range: [14, 24],
          },
        ],
        range: [12, 26],
      },
      range: [0, 26],
    },
  ],
  sourceType: 'module',
  range: [0, 26],
};

const scopeManager = analyze(enumAst, { sourceType: 'module' });
const moduleScope = scopeManager.scopes.find((s) => s.type === ScopeType.module);
assert.ok(moduleScope, 'Module scope should exist');

const statusVar = moduleScope.variables.find((v) => v.name === 'Status');
assert.ok(statusVar, 'Status variable should exist in module scope');
assert.strictEqual(statusVar.defs.length, 1, 'Status variable should have exactly one definition');

const statusDef = statusVar.defs[0];
assert.ok(statusDef instanceof TSEnumNameDefinition, 'Status definition should be instance of TSEnumNameDefinition');
assert.strictEqual(statusDef.type, DefinitionType.TSEnumName, 'Status definition type should be TSEnumName');
assert.strictEqual(statusDef.name.name, 'Status', 'Status definition name should be Status');
assert.strictEqual(statusDef.isTypeDefinition, true, 'Status definition should be a type definition');
assert.strictEqual(statusDef.isVariableDefinition, true, 'Status definition should be a variable definition');

const extractedDefinitions = extractEnumNameDefinitions(enumAst, { sourceType: 'module' });
assert.strictEqual(extractedDefinitions.length, 1, 'Should extract 1 enum name definition');
assert.ok(extractedDefinitions.every(isEnumNameDefinition), 'Extracted definition should be TSEnumNameDefinition');

// 4. analyze creates multiple TSEnumNameDefinition entries for merged enum declarations
const mergedEnumAst = {
  type: 'Program',
  body: [
    {
      type: 'TSEnumDeclaration',
      id: { type: 'Identifier', name: 'Color', range: [0, 10] },
      body: { type: 'TSEnumBody', members: [], range: [11, 15] },
      range: [0, 15],
    },
    {
      type: 'TSEnumDeclaration',
      id: { type: 'Identifier', name: 'Color', range: [16, 26] },
      body: { type: 'TSEnumBody', members: [], range: [27, 31] },
      range: [16, 31],
    },
  ],
  range: [0, 31],
};

const mergedScopeManager = analyze(mergedEnumAst);
const globalScope = mergedScopeManager.scopes[0];
const colorVariable = globalScope.variables.find((v) => v.name === 'Color');
assert.ok(colorVariable, 'Color variable should exist in scope');
assert.strictEqual(colorVariable.defs.length, 2, 'Color should have two definitions from enum merging');
assert.ok(
  colorVariable.defs.every((d) => d instanceof TSEnumNameDefinition),
  'Both merged definitions should be TSEnumNameDefinition instances'
);
assert.strictEqual(colorVariable.defs[0].type, DefinitionType.TSEnumName);
assert.strictEqual(colorVariable.defs[1].type, DefinitionType.TSEnumName);

// 5. TSEnumNameDefinition assigns a unique numeric $id to each instance
const secondDefinition = createEnumNameDefinition(identifierNameNode, enumDeclarationNode);
assert.strictEqual(typeof directDefinition.$id, 'number', '$id should be a number');
assert.strictEqual(typeof secondDefinition.$id, 'number', '$id should be a number');
assert.notStrictEqual(
  directDefinition.$id,
  secondDefinition.$id,
  'Each TSEnumNameDefinition instance should have a unique $id'
);

console.log('All contract assertions passed successfully.');

Seeder d'origine

anonyme