arkanalyzer 1.0.93 → 2.0.0-beta1

package/lib/core/common/SignatureCanonicalizer.js

@@ -0,0 +1,116 @@
+"use strict";
+/*
+ * Copyright (c) 2026 Huawei Device Co., Ltd.
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SignatureCanonicalizer = exports.signatureEquals = void 0;
+const Canonicalizer_1 = require("../../utils/Canonicalizer");
+/**
+ * Value-semantic identity comparison between two signatures:
+ * cached-hash fast reject + `equals()` final verdict.
+ *
+ * Execution rules: the hash comparison short-circuits only comparisons whose
+ * result is "unequal"; comparisons whose result is "equal" necessarily run
+ * `equals()` (the Canonicalizable contract "equals ⇒ same hash" guarantees the
+ * hashes match), where canonical instances short-circuit on the first line
+ * (`this === other`). This is the same hash-then-equals protocol the
+ * canonicalizer probe uses internally — running it once directly between the
+ * two objects, instead of twice (once per probe) plus an ID comparison, and
+ * without depending on registration state.
+ *
+ * Why not compare canonicalizer IDs ("same ID ⇒ equal")? IDs are a function
+ * of value × registration history, not of value alone: two unregistered
+ * signatures (e.g. temp stubs) both yield getExistingId() === -1 and would be
+ * wrongly judged equal; one registered + one unregistered would be wrongly
+ * judged unequal; and the getId() variant would blind-write unregistered
+ * values into the formal space (permanent holes, see the temp-space design).
+ *
+ * No string building, no string hashing.
+ */
+function signatureEquals(a, b) {
+    return a.getHashCode() === b.getHashCode() && a.equals(b);
+}
+exports.signatureEquals = signatureEquals;
+/**
+ * A canonicalizer that deduplicates signatures by value semantics using hash + equals.
+ *
+ * Uses a three-layer hash-collision-handling architecture:
+ *
+ * 1. `sig.getHashCode()` returns a cached 32-bit hash (computed once at construction)
+ * 2. `Canonicalizer<S>` with `numberWithEquality` strategy uses TypedArray hash tables
+ *    with open addressing + chaining for collision handling
+ * 3. `sig.equals()` does per-field comparison when hash collisions occur
+ *
+ * This eliminates the `list: string[]` storage of `toMapKey()` strings (~500 KB-1 MB
+ * for 10k-level signatures) and avoids repeated string concatenation in `toMapKey()`.
+ *
+ * IDs are dense integers starting from 0.
+ *
+ * @template S - The signature type, must implement {@link Canonicalizable}
+ */
+class SignatureCanonicalizer {
+    constructor() {
+        this.canonicalizer = new Canonicalizer_1.Canonicalizer((s) => s.getHashCode(), (a, b) => a.equals(b));
+    }
+    /**
+     * Get the unique integer ID for a signature.
+     * If a signature with the same hash and `equals()` result has been seen before, returns the existing ID.
+     * Otherwise, assigns a new ID and records the signature as the canonical instance.
+     *
+     * @param sig - The signature to canonicalize
+     * @returns The integer ID (>= 0)
+     */
+    getOrCreateId(sig) {
+        return this.canonicalizer.getId(sig);
+    }
+    /**
+     * Get the integer ID of a signature if it already exists.
+     * Returns -1 if the signature has not been canonicalized.
+     * Does not create a new ID or modify internal state.
+     *
+     * @param sig - The signature to query
+     * @returns The integer ID (>= 0) if found, -1 otherwise
+     */
+    getExistingId(sig) {
+        return this.canonicalizer.getExistingId(sig);
+    }
+    /**
+     * Get the canonical signature instance associated with an integer ID.
+     *
+     * @param id - The integer ID
+     * @returns The canonical signature instance, or `undefined` if the ID is out of bounds
+     */
+    get(id) {
+        return this.canonicalizer.get(id);
+    }
+    /**
+     * Get the total number of unique signatures registered so far.
+     */
+    size() {
+        return this.canonicalizer.size();
+    }
+    /**
+     * Get hash table statistics (for debugging/profiling).
+     */
+    getStats() {
+        return this.canonicalizer.getStats();
+    }
+    /**
+     * Clear all registered signatures and reset the canonicalizer.
+     */
+    clear() {
+        this.canonicalizer.clear();
+    }
+}
+exports.SignatureCanonicalizer = SignatureCanonicalizer;

package/lib/core/common/SignatureCanonicalizerRegistry.d.ts

@@ -0,0 +1,176 @@
+import { FileSignature, ClassSignature, MethodSignature, NamespaceSignature, FieldSignature } from '../model/ArkSignature';
+import { ArkFile } from '../model/ArkFile';
+import { ArkClass } from '../model/ArkClass';
+import { ArkMethod } from '../model/ArkMethod';
+import { ArkNamespace } from '../model/ArkNamespace';
+import { ArkField } from '../model/ArkField';
+import { ArkExport } from '../model/ArkExport';
+import { SignatureModelCanonicalizer } from './SignatureModelCanonicalizer';
+import { TempSignatureCanonicalizer } from './TempSignatureCanonicalizer';
+/**
+ * Global singleton registry that centralizes all signature canonicalizers and model storage.
+ *
+ * Any code can access canonicalizers via `SignatureCanonicalizerRegistry.getInstance()`
+ * or static shortcut methods, without needing a Scene reference.
+ *
+ * **Design constraint**: Assumes a single Scene instance at runtime.
+ * For multi-Scene support, change to per-Scene instances — a small modification.
+ *
+ * **Lifecycle**: `Scene.dispose()` / `Scene.clear()` should call `dispose()`.
+ * After dispose, `getInstance()` auto-rebuilds and re-initializes DEFAULT signatures.
+ */
+/** 单个 temp 索引表空间的统计快照（字段语义见 TempSignatureCanonicalizer.getStats）。 */
+export interface TempSpaceStats {
+    /** 未迁移（非空 slot）的签名数——含 Builtin stub 池等常驻基线与推导中间垃圾。 */
+    liveCount: number;
+    /** 累计注册总量（= nextId，永不复用）。 */
+    totalRegistered: number;
+    /** 已迁移（retire 置空）总量。三数自洽：totalRegistered = liveCount + retiredCount。 */
+    retiredCount: number;
+    /** 有 formal 归宿记录的迁移数（≤ retiredCount）。 */
+    replacedCount: number;
+}
+export declare class SignatureCanonicalizerRegistry {
+    readonly fileSigCanonicalizer: SignatureModelCanonicalizer<FileSignature, ArkFile>;
+    readonly classSigCanonicalizer: SignatureModelCanonicalizer<ClassSignature, ArkClass>;
+    readonly namespaceSigCanonicalizer: SignatureModelCanonicalizer<NamespaceSignature, ArkNamespace>;
+    readonly fieldSigCanonicalizer: SignatureModelCanonicalizer<FieldSignature, ArkField>;
+    readonly methodSigCanonicalizer: SignatureModelCanonicalizer<MethodSignature, ArkMethod>;
+    readonly tempClassSigCanonicalizer: TempSignatureCanonicalizer<ClassSignature>;
+    readonly tempMethodSigCanonicalizer: TempSignatureCanonicalizer<MethodSignature>;
+    readonly tempFieldSigCanonicalizer: TempSignatureCanonicalizer<FieldSignature>;
+    /** Custom @Component name → ClassSignature (survives module unload for ViewTree stubs). */
+    customComponentMap: Map<string, ClassSignature>;
+    /**
+     * SDK 全局符号多值表（名字 → 实体列表，按登记序；列表 [0] 即单值视图首实体，
+     * 即旧单值 Map 的 first-win 语义）。实体种类：顶层 interface/class（ArkClass，
+     * 同名跨文件多实体）、全局函数（ArkMethod）、类型别名（AliasType）、namespace
+     *（ArkNamespace）、declare var 的 Local（var 侧探测锚点）。存对象引用不存 ID
+     *（Local 无 SigID；class/ns 双 ID 空间冲突；对象本就在各 canonicalizer models
+     * 中存活，此处仅名字索引）。写入方 SdkUtils.loadAPI 族；读取方 Scene
+     * getSdkGlobal 族（委托）。随 dispose() 清理；disposeModule 不清（模块卸载
+     * 后全局符号仍可解析，与旧 Scene 字段语义一致）。
+     */
+    sdkGlobalMap: Map<string, ArkExport[]>;
+    /**
+     * fileSigCanonicalizer 的 ID 边界：[1, firstProjectFileSigID) 为 SDK 文件，
+     * [firstProjectFileSigID, size) 为 project 文件。ID 0 = DEFAULT，两侧均不属于。
+     * -1 = 边界未设置（尚未完成 SDK 构建阶段）。
+     *
+     * 语义前提：构建时序上全部 SDK（含 oh_modules 依赖包）先于 project 文件注册
+     * （见 ModuleBuilder.prepareSdks → buildBasicInfo → genArkFiles），因此边界单调。
+     */
+    private firstProjectFileSigID;
+    /**
+     * 标记 project/SDK ID 边界。取当前 fileSigCanonicalizer.size()：dense array 语义下，
+     * 下一个 intern 的 ID 恰为 size，即首个 project 文件将获得的 ID。重复调用以首次为准
+     * （幂等守卫，防止误调用覆盖已成立的边界）。
+     */
+    markProjectFileBoundary(): void;
+    /** 获取 project/SDK ID 边界。-1 = 未设置。 */
+    getFirstProjectFileSigID(): number;
+    /** 仅凭 FileSigID 快速判断是否为 project 文件。边界未设置时恒返回 false。 */
+    isProjectFileID(id: number): boolean;
+    /**
+     * 仅凭 FileSigID 快速判断是否为 SDK 文件。ID 0（DEFAULT）与边界未设置时恒返回 false。
+     */
+    isSdkFileID(id: number): boolean;
+    private static instance;
+    private constructor();
+    /**
+     * Get the singleton instance. Auto-creates and initializes DEFAULT signatures on first call
+     * (or after `dispose()` was called).
+     */
+    static getInstance(): SignatureCanonicalizerRegistry;
+    /**
+     * Dispose the singleton: clear all canonicalizers, models, and maps.
+     * Next `getInstance()` call will auto-rebuild.
+     */
+    static dispose(): void;
+    /** 单个 temp 索引表空间的统计快照（字段语义见 TempSignatureCanonicalizer.getStats）。 */
+    getTempSpacesStats(): {
+        class: TempSpaceStats;
+        method: TempSpaceStats;
+        field: TempSpaceStats;
+    };
+    settleTempSpaces(): Promise<{
+        class: TempSpaceStats;
+        method: TempSpaceStats;
+        field: TempSpaceStats;
+    }>;
+    /** @internal Get the formal FileSigID for a FileSignature. */
+    getFileId(sig: FileSignature): number;
+    /** @internal Get the formal ClassSigID for a ClassSignature. */
+    getClassId(sig: ClassSignature): number;
+    /** @internal Get the formal MethodSigID for a MethodSignature. */
+    getMethodId(sig: MethodSignature): number;
+    /** @internal Get the formal NamespaceSigID for a NamespaceSignature. */
+    getNamespaceId(sig: NamespaceSignature): number;
+    /** @internal Get the formal FieldSigID for a FieldSignature. */
+    getFieldId(sig: FieldSignature): number;
+    /** @internal Get an ArkFile by its formal FileSigID. */
+    getFileById(id: number): ArkFile | undefined;
+    /** @internal Get an ArkFile by its formal FileSigID. Read-only: never interns the signature. */
+    getFileBySig(fileSig: FileSignature): ArkFile | undefined;
+    /** @internal Get an ArkClass by its formal ClassSigID. */
+    getClassById(id: number): ArkClass | undefined;
+    /** @internal Get an ArkClass by its formal ClassSigID. Read-only: never interns the signature. */
+    getClassBySig(classSig: ClassSignature): ArkClass | undefined;
+    /** @internal Get an ArkMethod by its formal MethodSigID. */
+    getMethodById(id: number): ArkMethod | undefined;
+    /** @internal Get an ArkMethod by its formal MethodSigID. Read-only: never interns the signature. */
+    getMethodBySig(methodSig: MethodSignature): ArkMethod | undefined;
+    /** @internal Get an ArkNamespace by its formal NamespaceSigID. */
+    getNamespaceById(id: number): ArkNamespace | undefined;
+    /** @internal Get an ArkNamespace by its formal NamespaceSigID. Read-only: never interns the signature. */
+    getNamespaceBySig(nsSig: NamespaceSignature): ArkNamespace | undefined;
+    /** @internal Get an ArkField by its formal FieldSigID. */
+    getFieldById(id: number): ArkField | undefined;
+    /** @internal Get an ArkField by its formal FieldSigID. Read-only: never interns the signature. */
+    getFieldBySig(fieldSig: FieldSignature): ArkField | undefined;
+    /** @internal Register an ArkFile into the file canonicalizer. Skips if fileSigID is 0 (DEFAULT). */
+    registerFile(file: ArkFile): void;
+    /** @internal Register an ArkClass into the class canonicalizer. Skips if classSigID is not positive (unset / DEFAULT). */
+    registerClass(cls: ArkClass): void;
+    /** @internal Register an ArkField into the field canonicalizer. Skips if fieldSigID is 0 (DEFAULT) or -1 (not set). */
+    registerField(field: ArkField): void;
+    /** @internal Register an ArkMethod into the method canonicalizer. Skips if methodSigID is undefined (declare-only) or not positive. */
+    registerMethod(method: ArkMethod): void;
+    /** @internal Register an ArkNamespace into the namespace canonicalizer. Skips if namespaceSigID is 0 (DEFAULT). */
+    registerNamespace(ns: ArkNamespace): void;
+    /**
+     * @internal Register a custom @Component into customComponentMap.
+     * Entries intentionally survive module unload so ViewTree can still resolve signatures.
+     */
+    registerCustomComponent(cls: ArkClass): void;
+    /**
+     * @internal Remove a custom component entry from customComponentMap.
+     * Not called on module unload — the map must outlive IR.
+     */
+    unregisterCustomComponent(cls: ArkClass): void;
+    /** @internal Remove an ArkFile from the file canonicalizer. Returns true if it existed. */
+    removeFile(file: ArkFile): boolean;
+    /** @internal Remove an ArkClass from the class canonicalizer and customComponentMap. Returns true if it existed. */
+    removeClass(arkClass: ArkClass): boolean;
+    /**
+     * @internal Remove an ArkClass from the class canonicalizer without touching customComponentMap.
+     * Used by disposeModule where customComponentMap entries must survive module unload.
+     */
+    removeClassModel(arkClass: ArkClass): boolean;
+    /** @internal Remove an ArkMethod from the method canonicalizer (impl + declare slots). Returns true if any existed. */
+    removeMethod(method: ArkMethod): boolean;
+    /** @internal Remove an ArkNamespace from the namespace canonicalizer. Returns true if it existed. */
+    removeNamespace(namespace: ArkNamespace): boolean;
+    /** @internal Remove an ArkField from the field canonicalizer. Returns true if it existed. */
+    removeField(field: ArkField): boolean;
+    /**
+     * Intern the 5 DEFAULT signatures to formal canonicalizers, each obtaining fixed ID 0.
+     * ID 0 does not correspond to any model (models[0] remains undefined).
+     *
+     * All value-object overloads resolve through `getInstance()`, but `instance` is assigned
+     * only after this constructor returns — hence every DEFAULT here is built via a
+     * SigID constructor overload with the already-interned file DEFAULT (ID 0).
+     */
+    private internDefaults;
+}
+//# sourceMappingURL=SignatureCanonicalizerRegistry.d.ts.map

package/lib/core/common/SignatureCanonicalizerRegistry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SignatureCanonicalizerRegistry.d.ts","sourceRoot":"","sources":["../../../src/core/common/SignatureCanonicalizerRegistry.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,eAAe,EAAE,kBAAkB,EAAE,cAAc,EAAsB,MAAM,uBAAuB,CAAC;AAG/I,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAC5E,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAE1E;;;;;;;;;;;GAWG;AAEH,qEAAqE;AACrE,MAAM,WAAW,cAAc;IAC3B,sDAAsD;IACtD,SAAS,EAAE,MAAM,CAAC;IAClB,6BAA6B;IAC7B,eAAe,EAAE,MAAM,CAAC;IACxB,wEAAwE;IACxE,YAAY,EAAE,MAAM,CAAC;IACrB,yCAAyC;IACzC,aAAa,EAAE,MAAM,CAAC;CACzB;AAED,qBAAa,8BAA8B;IAGvC,SAAgB,oBAAoB,EAAE,2BAA2B,CAAC,aAAa,EAAE,OAAO,CAAC,CAA6D;IACtJ,SAAgB,qBAAqB,EAAE,2BAA2B,CAAC,cAAc,EAAE,QAAQ,CAAC,CAA+D;IAC3J,SAAgB,yBAAyB,EAAE,2BAA2B,CAAC,kBAAkB,EAAE,YAAY,CAAC,CAGpG;IACJ,SAAgB,qBAAqB,EAAE,2BAA2B,CAAC,cAAc,EAAE,QAAQ,CAAC,CAA+D;IAC3J,SAAgB,sBAAsB,EAAE,2BAA2B,CAAC,eAAe,EAAE,SAAS,CAAC,CAG3F;IAQJ,SAAgB,yBAAyB,EAAE,0BAA0B,CAAC,cAAc,CAAC,CAAoD;IACzI,SAAgB,0BAA0B,EAAE,0BAA0B,CAAC,eAAe,CAAC,CAAqD;IAC5I,SAAgB,yBAAyB,EAAE,0BAA0B,CAAC,cAAc,CAAC,CAAoD;IAIzI,2FAA2F;IACpF,kBAAkB,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAa;IAEnE;;;;;;;;;OASG;IACI,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAa;IAI1D;;;;;;;OAOG;IACH,OAAO,CAAC,qBAAqB,CAAc;IAE3C;;;;OAIG;IACI,uBAAuB,IAAI,IAAI;IAOtC,qCAAqC;IAC9B,wBAAwB,IAAI,MAAM;IAIzC,uDAAuD;IAChD,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAI3C;;OAEG;IACI,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAIvC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAA6C;IAEpE,OAAO;IAIP;;;OAGG;WACW,WAAW,IAAI,8BAA8B;IAO3D;;;OAGG;WACW,OAAO,IAAI,IAAI;IAiB7B,qEAAqE;IAC9D,kBAAkB,IAAI;QACzB,KAAK,EAAE,cAAc,CAAC;QACtB,MAAM,EAAE,cAAc,CAAC;QACvB,KAAK,EAAE,cAAc,CAAC;KACzB;IAQY,gBAAgB,IAAI,OAAO,CAAC;QACrC,KAAK,EAAE,cAAc,CAAC;QACtB,MAAM,EAAE,cAAc,CAAC;QACvB,KAAK,EAAE,cAAc,CAAC;KACzB,CAAC;IAMF,8DAA8D;IACvD,SAAS,CAAC,GAAG,EAAE,aAAa,GAAG,MAAM;IAI5C,gEAAgE;IACzD,UAAU,CAAC,GAAG,EAAE,cAAc,GAAG,MAAM;IAI9C,kEAAkE;IAC3D,WAAW,CAAC,GAAG,EAAE,eAAe,GAAG,MAAM;IAIhD,wEAAwE;IACjE,cAAc,CAAC,GAAG,EAAE,kBAAkB,GAAG,MAAM;IAItD,gEAAgE;IACzD,UAAU,CAAC,GAAG,EAAE,cAAc,GAAG,MAAM;IAI9C,wDAAwD;IACjD,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS;IAInD,gGAAgG;IACzF,YAAY,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,GAAG,SAAS;IAKhE,0DAA0D;IACnD,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS;IAIrD,kGAAkG;IAC3F,aAAa,CAAC,QAAQ,EAAE,cAAc,GAAG,QAAQ,GAAG,SAAS;IAKpE,4DAA4D;IACrD,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS;IAIvD,oGAAoG;IAC7F,cAAc,CAAC,SAAS,EAAE,eAAe,GAAG,SAAS,GAAG,SAAS;IAKxE,kEAAkE;IAC3D,gBAAgB,CAAC,EAAE,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS;IAI7D,0GAA0G;IACnG,iBAAiB,CAAC,KAAK,EAAE,kBAAkB,GAAG,YAAY,GAAG,SAAS;IAK7E,0DAA0D;IACnD,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS;IAIrD,kGAAkG;IAC3F,aAAa,CAAC,QAAQ,EAAE,cAAc,GAAG,QAAQ,GAAG,SAAS;IAKpE,oGAAoG;IAC7F,YAAY,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI;IAOxC,0HAA0H;IACnH,aAAa,CAAC,GAAG,EAAE,QAAQ,GAAG,IAAI;IAMzC,uHAAuH;IAChH,aAAa,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI;IAO3C,uIAAuI;IAChI,cAAc,CAAC,MAAM,EAAE,SAAS,GAAG,IAAI;IAO9C,mHAAmH;IAC5G,iBAAiB,CAAC,EAAE,EAAE,YAAY,GAAG,IAAI;IAOhD;;;OAGG;IACI,uBAAuB,CAAC,GAAG,EAAE,QAAQ,GAAG,IAAI;IAWnD;;;OAGG;IACI,yBAAyB,CAAC,GAAG,EAAE,QAAQ,GAAG,IAAI;IAWrD,2FAA2F;IACpF,UAAU,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO;IAOzC,oHAAoH;IAC7G,WAAW,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO;IAQ/C;;;OAGG;IACI,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO;IAOpD,uHAAuH;IAChH,YAAY,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO;IAgB/C,qGAAqG;IAC9F,eAAe,CAAC,SAAS,EAAE,YAAY,GAAG,OAAO;IAOxD,6FAA6F;IACtF,WAAW,CAAC,KAAK,EAAE,QAAQ,GAAG,OAAO;IAO5C;;;;;;;OAOG;IACH,OAAO,CAAC,cAAc;CAQzB"}

package/lib/core/common/SignatureCanonicalizerRegistry.js

@@ -0,0 +1,343 @@
+"use strict";
+/*
+ * Copyright (c) 2026 Huawei Device Co., Ltd.
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
+    function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
+    return new (P || (P = Promise))(function (resolve, reject) {
+        function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
+        function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
+        function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
+        step((generator = generator.apply(thisArg, _arguments || [])).next());
+    });
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SignatureCanonicalizerRegistry = void 0;
+const ArkSignature_1 = require("../model/ArkSignature");
+const Type_1 = require("../base/Type");
+const Const_1 = require("./Const");
+const SignatureModelCanonicalizer_1 = require("./SignatureModelCanonicalizer");
+const TempSignatureCanonicalizer_1 = require("./TempSignatureCanonicalizer");
+class SignatureCanonicalizerRegistry {
+    /**
+     * 标记 project/SDK ID 边界。取当前 fileSigCanonicalizer.size()：dense array 语义下，
+     * 下一个 intern 的 ID 恰为 size，即首个 project 文件将获得的 ID。重复调用以首次为准
+     * （幂等守卫，防止误调用覆盖已成立的边界）。
+     */
+    markProjectFileBoundary() {
+        if (this.firstProjectFileSigID !== -1) {
+            return;
+        }
+        this.firstProjectFileSigID = this.fileSigCanonicalizer.size();
+    }
+    /** 获取 project/SDK ID 边界。-1 = 未设置。 */
+    getFirstProjectFileSigID() {
+        return this.firstProjectFileSigID;
+    }
+    /** 仅凭 FileSigID 快速判断是否为 project 文件。边界未设置时恒返回 false。 */
+    isProjectFileID(id) {
+        return this.firstProjectFileSigID !== -1 && id >= this.firstProjectFileSigID;
+    }
+    /**
+     * 仅凭 FileSigID 快速判断是否为 SDK 文件。ID 0（DEFAULT）与边界未设置时恒返回 false。
+     */
+    isSdkFileID(id) {
+        return this.firstProjectFileSigID !== -1 && id > 0 && id < this.firstProjectFileSigID;
+    }
+    constructor() {
+        // --- Formal canonicalizers (value-semantic dedup + model storage) ---
+        this.fileSigCanonicalizer = new SignatureModelCanonicalizer_1.SignatureModelCanonicalizer();
+        this.classSigCanonicalizer = new SignatureModelCanonicalizer_1.SignatureModelCanonicalizer();
+        this.namespaceSigCanonicalizer = new SignatureModelCanonicalizer_1.SignatureModelCanonicalizer();
+        this.fieldSigCanonicalizer = new SignatureModelCanonicalizer_1.SignatureModelCanonicalizer();
+        this.methodSigCanonicalizer = new SignatureModelCanonicalizer_1.SignatureModelCanonicalizer();
+        // --- Temp canonicalizers (index-table semantics, see TempSignatureCanonicalizer) ---
+        // Note: no tempFile/tempNamespace spaces — both were permanently empty. FileSignature
+        // is the identity root (never temp-held), and no production path ever registered a
+        // namespace into the temp space (namespace-declaring FieldSignatures go through the
+        // SigID overloads; the unclear-ns value-constructor branch only marks SigID = -1).
+        this.tempClassSigCanonicalizer = new TempSignatureCanonicalizer_1.TempSignatureCanonicalizer();
+        this.tempMethodSigCanonicalizer = new TempSignatureCanonicalizer_1.TempSignatureCanonicalizer();
+        this.tempFieldSigCanonicalizer = new TempSignatureCanonicalizer_1.TempSignatureCanonicalizer();
+        // --- Maps that cannot be replaced by canonicalizer ---
+        /** Custom @Component name → ClassSignature (survives module unload for ViewTree stubs). */
+        this.customComponentMap = new Map();
+        /**
+         * SDK 全局符号多值表（名字 → 实体列表，按登记序；列表 [0] 即单值视图首实体，
+         * 即旧单值 Map 的 first-win 语义）。实体种类：顶层 interface/class（ArkClass，
+         * 同名跨文件多实体）、全局函数（ArkMethod）、类型别名（AliasType）、namespace
+         *（ArkNamespace）、declare var 的 Local（var 侧探测锚点）。存对象引用不存 ID
+         *（Local 无 SigID；class/ns 双 ID 空间冲突；对象本就在各 canonicalizer models
+         * 中存活，此处仅名字索引）。写入方 SdkUtils.loadAPI 族；读取方 Scene
+         * getSdkGlobal 族（委托）。随 dispose() 清理；disposeModule 不清（模块卸载
+         * 后全局符号仍可解析，与旧 Scene 字段语义一致）。
+         */
+        this.sdkGlobalMap = new Map();
+        // --- Project/SDK file ID boundary ---
+        /**
+         * fileSigCanonicalizer 的 ID 边界：[1, firstProjectFileSigID) 为 SDK 文件，
+         * [firstProjectFileSigID, size) 为 project 文件。ID 0 = DEFAULT，两侧均不属于。
+         * -1 = 边界未设置（尚未完成 SDK 构建阶段）。
+         *
+         * 语义前提：构建时序上全部 SDK（含 oh_modules 依赖包）先于 project 文件注册
+         * （见 ModuleBuilder.prepareSdks → buildBasicInfo → genArkFiles），因此边界单调。
+         */
+        this.firstProjectFileSigID = -1;
+        this.internDefaults();
+    }
+    /**
+     * Get the singleton instance. Auto-creates and initializes DEFAULT signatures on first call
+     * (or after `dispose()` was called).
+     */
+    static getInstance() {
+        if (!SignatureCanonicalizerRegistry.instance) {
+            SignatureCanonicalizerRegistry.instance = new SignatureCanonicalizerRegistry();
+        }
+        return SignatureCanonicalizerRegistry.instance;
+    }
+    /**
+     * Dispose the singleton: clear all canonicalizers, models, and maps.
+     * Next `getInstance()` call will auto-rebuild.
+     */
+    static dispose() {
+        if (SignatureCanonicalizerRegistry.instance) {
+            const reg = SignatureCanonicalizerRegistry.instance;
+            reg.fileSigCanonicalizer.clear();
+            reg.classSigCanonicalizer.clear();
+            reg.namespaceSigCanonicalizer.clear();
+            reg.fieldSigCanonicalizer.clear();
+            reg.methodSigCanonicalizer.clear();
+            reg.tempClassSigCanonicalizer.clear();
+            reg.tempMethodSigCanonicalizer.clear();
+            reg.tempFieldSigCanonicalizer.clear();
+            reg.customComponentMap.clear();
+            reg.sdkGlobalMap.clear();
+            SignatureCanonicalizerRegistry.instance = undefined;
+        }
+    }
+    /** 单个 temp 索引表空间的统计快照（字段语义见 TempSignatureCanonicalizer.getStats）。 */
+    getTempSpacesStats() {
+        return {
+            class: this.tempClassSigCanonicalizer.getStats(),
+            method: this.tempMethodSigCanonicalizer.getStats(),
+            field: this.tempFieldSigCanonicalizer.getStats(),
+        };
+    }
+    settleTempSpaces() {
+        return __awaiter(this, void 0, void 0, function* () {
+            return this.getTempSpacesStats();
+        });
+    }
+    // --- Static shortcut methods ---
+    /** @internal Get the formal FileSigID for a FileSignature. */
+    getFileId(sig) {
+        return this.fileSigCanonicalizer.getExistingId(sig);
+    }
+    /** @internal Get the formal ClassSigID for a ClassSignature. */
+    getClassId(sig) {
+        return this.classSigCanonicalizer.getExistingId(sig);
+    }
+    /** @internal Get the formal MethodSigID for a MethodSignature. */
+    getMethodId(sig) {
+        return this.methodSigCanonicalizer.getExistingId(sig);
+    }
+    /** @internal Get the formal NamespaceSigID for a NamespaceSignature. */
+    getNamespaceId(sig) {
+        return this.namespaceSigCanonicalizer.getExistingId(sig);
+    }
+    /** @internal Get the formal FieldSigID for a FieldSignature. */
+    getFieldId(sig) {
+        return this.fieldSigCanonicalizer.getExistingId(sig);
+    }
+    /** @internal Get an ArkFile by its formal FileSigID. */
+    getFileById(id) {
+        return this.fileSigCanonicalizer.getModel(id);
+    }
+    /** @internal Get an ArkFile by its formal FileSigID. Read-only: never interns the signature. */
+    getFileBySig(fileSig) {
+        const id = this.fileSigCanonicalizer.getExistingId(fileSig);
+        return id === -1 ? undefined : this.fileSigCanonicalizer.getModel(id);
+    }
+    /** @internal Get an ArkClass by its formal ClassSigID. */
+    getClassById(id) {
+        return this.classSigCanonicalizer.getModel(id);
+    }
+    /** @internal Get an ArkClass by its formal ClassSigID. Read-only: never interns the signature. */
+    getClassBySig(classSig) {
+        const id = this.classSigCanonicalizer.getExistingId(classSig);
+        return id === -1 ? undefined : this.classSigCanonicalizer.getModel(id);
+    }
+    /** @internal Get an ArkMethod by its formal MethodSigID. */
+    getMethodById(id) {
+        return this.methodSigCanonicalizer.getModel(id);
+    }
+    /** @internal Get an ArkMethod by its formal MethodSigID. Read-only: never interns the signature. */
+    getMethodBySig(methodSig) {
+        const id = this.methodSigCanonicalizer.getExistingId(methodSig);
+        return id === -1 ? undefined : this.methodSigCanonicalizer.getModel(id);
+    }
+    /** @internal Get an ArkNamespace by its formal NamespaceSigID. */
+    getNamespaceById(id) {
+        return this.namespaceSigCanonicalizer.getModel(id);
+    }
+    /** @internal Get an ArkNamespace by its formal NamespaceSigID. Read-only: never interns the signature. */
+    getNamespaceBySig(nsSig) {
+        const id = this.namespaceSigCanonicalizer.getExistingId(nsSig);
+        return id === -1 ? undefined : this.namespaceSigCanonicalizer.getModel(id);
+    }
+    /** @internal Get an ArkField by its formal FieldSigID. */
+    getFieldById(id) {
+        return this.fieldSigCanonicalizer.getModel(id);
+    }
+    /** @internal Get an ArkField by its formal FieldSigID. Read-only: never interns the signature. */
+    getFieldBySig(fieldSig) {
+        const id = this.fieldSigCanonicalizer.getExistingId(fieldSig);
+        return id === -1 ? undefined : this.fieldSigCanonicalizer.getModel(id);
+    }
+    /** @internal Register an ArkFile into the file canonicalizer. Skips if fileSigID is 0 (DEFAULT). */
+    registerFile(file) {
+        const id = file.getFileSigID();
+        if (id > 0) {
+            this.fileSigCanonicalizer.setModel(id, file);
+        }
+    }
+    /** @internal Register an ArkClass into the class canonicalizer. Skips if classSigID is not positive (unset / DEFAULT). */
+    registerClass(cls) {
+        if (cls.getClassSigID() > 0) {
+            this.classSigCanonicalizer.setModel(cls.getClassSigID(), cls);
+        }
+    }
+    /** @internal Register an ArkField into the field canonicalizer. Skips if fieldSigID is 0 (DEFAULT) or -1 (not set). */
+    registerField(field) {
+        const id = field.getFieldSigID();
+        if (id > 0) {
+            this.fieldSigCanonicalizer.setModel(id, field);
+        }
+    }
+    /** @internal Register an ArkMethod into the method canonicalizer. Skips if methodSigID is undefined (declare-only) or not positive. */
+    registerMethod(method) {
+        const id = method.getMethodSigID();
+        if (id !== undefined && id > 0) {
+            this.methodSigCanonicalizer.setModel(id, method);
+        }
+    }
+    /** @internal Register an ArkNamespace into the namespace canonicalizer. Skips if namespaceSigID is 0 (DEFAULT). */
+    registerNamespace(ns) {
+        const id = ns.getNamespaceSigID();
+        if (id > 0) {
+            this.namespaceSigCanonicalizer.setModel(id, ns);
+        }
+    }
+    /**
+     * @internal Register a custom @Component into customComponentMap.
+     * Entries intentionally survive module unload so ViewTree can still resolve signatures.
+     */
+    registerCustomComponent(cls) {
+        if (!cls.hasComponentDecorator()) {
+            return;
+        }
+        const name = cls.getName();
+        if (!name || name.startsWith('%')) {
+            return;
+        }
+        this.customComponentMap.set(name, cls.getSignature());
+    }
+    /**
+     * @internal Remove a custom component entry from customComponentMap.
+     * Not called on module unload — the map must outlive IR.
+     */
+    unregisterCustomComponent(cls) {
+        const name = cls.getName();
+        if (!name || !cls.hasComponentDecorator()) {
+            return;
+        }
+        const existing = this.customComponentMap.get(name);
+        if (existing && this.classSigCanonicalizer.getExistingId(existing) === cls.getClassSigID()) {
+            this.customComponentMap.delete(name);
+        }
+    }
+    /** @internal Remove an ArkFile from the file canonicalizer. Returns true if it existed. */
+    removeFile(file) {
+        const id = file.getFileSigID();
+        const existed = this.fileSigCanonicalizer.getModel(id) !== undefined;
+        this.fileSigCanonicalizer.removeModel(id);
+        return existed;
+    }
+    /** @internal Remove an ArkClass from the class canonicalizer and customComponentMap. Returns true if it existed. */
+    removeClass(arkClass) {
+        this.unregisterCustomComponent(arkClass);
+        const id = arkClass.getClassSigID();
+        const existed = this.classSigCanonicalizer.getModel(id) !== undefined;
+        this.classSigCanonicalizer.removeModel(id);
+        return existed;
+    }
+    /**
+     * @internal Remove an ArkClass from the class canonicalizer without touching customComponentMap.
+     * Used by disposeModule where customComponentMap entries must survive module unload.
+     */
+    removeClassModel(arkClass) {
+        const id = arkClass.getClassSigID();
+        const existed = this.classSigCanonicalizer.getModel(id) !== undefined;
+        this.classSigCanonicalizer.removeModel(id);
+        return existed;
+    }
+    /** @internal Remove an ArkMethod from the method canonicalizer (impl + declare slots). Returns true if any existed. */
+    removeMethod(method) {
+        var _a;
+        let existed = false;
+        const implID = method.getMethodSigID();
+        if (implID !== undefined && implID > 0) {
+            existed = this.methodSigCanonicalizer.getModel(implID) !== undefined;
+            this.methodSigCanonicalizer.removeModel(implID);
+        }
+        for (const declareID of (_a = method.getDeclareSigIDs()) !== null && _a !== void 0 ? _a : []) {
+            if (declareID > 0 && this.methodSigCanonicalizer.getModel(declareID) !== undefined) {
+                existed = true;
+                this.methodSigCanonicalizer.removeModel(declareID);
+            }
+        }
+        return existed;
+    }
+    /** @internal Remove an ArkNamespace from the namespace canonicalizer. Returns true if it existed. */
+    removeNamespace(namespace) {
+        const id = namespace.getNamespaceSigID();
+        const existed = this.namespaceSigCanonicalizer.getModel(id) !== undefined;
+        this.namespaceSigCanonicalizer.removeModel(id);
+        return existed;
+    }
+    /** @internal Remove an ArkField from the field canonicalizer. Returns true if it existed. */
+    removeField(field) {
+        const id = field.getFieldSigID();
+        const existed = this.fieldSigCanonicalizer.getModel(id) !== undefined;
+        this.fieldSigCanonicalizer.removeModel(id);
+        return existed;
+    }
+    /**
+     * Intern the 5 DEFAULT signatures to formal canonicalizers, each obtaining fixed ID 0.
+     * ID 0 does not correspond to any model (models[0] remains undefined).
+     *
+     * All value-object overloads resolve through `getInstance()`, but `instance` is assigned
+     * only after this constructor returns — hence every DEFAULT here is built via a
+     * SigID constructor overload with the already-interned file DEFAULT (ID 0).
+     */
+    internDefaults() {
+        const fileDefault = new ArkSignature_1.FileSignature(Const_1.UNKNOWN_PROJECT_NAME, Const_1.UNKNOWN_FILE_NAME);
+        this.fileSigCanonicalizer.getOrCreateId(fileDefault);
+        this.classSigCanonicalizer.getOrCreateId(new ArkSignature_1.ClassSignature(Const_1.UNKNOWN_CLASS_NAME, 0, undefined));
+        this.namespaceSigCanonicalizer.getOrCreateId(new ArkSignature_1.NamespaceSignature(Const_1.UNKNOWN_NAMESPACE_NAME, 0, undefined));
+        this.fieldSigCanonicalizer.getOrCreateId(new ArkSignature_1.FieldSignature(Const_1.UNKNOWN_FIELD_NAME, 0, Type_1.UnknownType.getInstance(), false));
+        this.methodSigCanonicalizer.getOrCreateId(new ArkSignature_1.MethodSignature(0, new ArkSignature_1.MethodSubSignature(Const_1.UNKNOWN_METHOD_NAME, [], Type_1.UnknownType.getInstance(), false)));
+    }
+}
+exports.SignatureCanonicalizerRegistry = SignatureCanonicalizerRegistry;