Merge pull request #1692 from AxiomCodeAI/loop/ty-is1626

typescript: a published module's classes, method-reference consts, namespaces, object literals and default arrows are entry points

Author: swapnilpaliwal-sd

graph/test/typescript/cases/77-package-published-entries/src/plugins/deep/tracer.ts

@@ -1,5 +1,5 @@
 // CONTROL: two segments below plugins/, which the one-segment `*` does not match, and
-// imported (not called) by logger.ts, so it is not an unimported module either.
+// imported (neither called nor published) by logger.ts, so it is not an unimported module either.
 // tracer must stay unreachable.
 export function tracer() {
   return 'trace';

graph/test/typescript/cases/77-package-published-entries/src/plugins/logger.ts

@@ -1,7 +1,9 @@
 // Published by the "./plugins/*" subpath pattern: `*` = logger.
 import { tracer } from './deep/tracer';
 
-export const traced = tracer;
+// Reads tracer without publishing it: a published const bound to `tracer` itself would
+// hand the function to a consumer, which is a root (79-package-published-members).
+export const tracerName = tracer.name;
 
 export function logger(message: string) {
   return format(message);

graph/test/typescript/cases/79-package-published-members/src/package.json

@@ -0,0 +1,11 @@
+{
+  "name": "published-members",
+  "private": false,
+  "exports": {
+    "./cls": "./dist/cls.js",
+    "./anon": "./dist/anon.js",
+    "./bound": "./dist/bound.js",
+    "./ns": "./dist/ns.js",
+    "./api": "./dist/api.js"
+  }
+}

graph/test/typescript/cases/79-package-published-members/src/src/anon.ts

@@ -0,0 +1,2 @@
+// An anonymous default arrow of a published module.
+export default (x: number) => x;

graph/test/typescript/cases/79-package-published-members/src/src/api.ts

@@ -0,0 +1,5 @@
+// A published object literal of callables.
+export const api = {
+  method() { return 1; },
+  arrow: () => 2,
+};

graph/test/typescript/cases/79-package-published-members/src/src/bound.ts

@@ -0,0 +1,14 @@
+// A published const bound to a method reference: the headline API of many libraries.
+class Engine {
+  produce(x: number) { return x + 1; }
+  finish(x: number) { return x - 1; }
+  static make() { return new Engine(); }
+  // CONTROL: a method no published const names stays unrooted.
+  unused() { return 0; }
+}
+const engine = new Engine();
+export const produce = engine.produce;
+export const finish = engine.finish.bind(engine);
+export const make = Engine.make;
+// CONTROL: a published const holding a plain value roots nothing.
+export const version = 1;

graph/test/typescript/cases/79-package-published-members/src/src/cls.ts

@@ -0,0 +1,14 @@
+// An exported class of a published module: its public members are the API.
+export class Store {
+  get() { return 1; }
+  static create() { return new Store(); }
+  // CONTROL: private and #private members are not reachable from a consumer.
+  private secret() { return 2; }
+  #hidden() { return 3; }
+}
+
+// CONTROL: a class that is declared but not exported publishes nothing.
+class Internal {
+  run() { return 4; }
+}
+export const internalCount = 1;

graph/test/typescript/cases/79-package-published-members/src/src/index.test.ts

@@ -0,0 +1,8 @@
+// The project's own test imports each published module, so none is an unimported module.
+import { Store } from './cls';
+import anon from './anon';
+import { produce } from './bound';
+import { Result } from './ns';
+import { api } from './api';
+
+export const all = [Store, anon, produce, Result, api];

graph/test/typescript/cases/79-package-published-members/src/src/ns.ts

@@ -0,0 +1,6 @@
+// The exported functions of an exported namespace.
+export namespace Result {
+  export function ok(x: number) { return { ok: true, x }; }
+  // CONTROL: a namespace function that is not exported is not published.
+  function hidden() { return 0; }
+}

graph/test/typescript/cases/79-package-published-members/src/tsconfig.json

@@ -0,0 +1,4 @@
+{
+  "compilerOptions": { "strict": true, "target": "es2020", "module": "esnext", "outDir": "dist" },
+  "include": ["src"]
+}