@typespec/html-program-viewer 0.79.0-dev.2 → 0.79.0-dev.3

package/dist/{manifest-DKDRH_XL.js → manifest-BweYd_vW.js}

@@ -1,6 +1,6 @@
 const manifest = {
   "version": "1.8.0",
-  "commit": "9cb16e496b895a42af3bd26d98cb082410ed57af"
+  "commit": "f8fb3c36c3ec78d91c81f068fe23b7cf6a34a49d"
 };
 
 export { manifest as default };

package/dist/react/index.js

@@ -51102,6 +51102,106 @@ var Related;
 })(Related || (Related = {}));
 // #endregion
 
+var CheckFlags;
+(function (CheckFlags) {
+    /** No flags set. */
+    CheckFlags[CheckFlags["None"] = 0] = "None";
+    /** Currently checking within an uninstantiated template declaration. */
+    CheckFlags[CheckFlags["InTemplateDeclaration"] = 1] = "InTemplateDeclaration";
+})(CheckFlags || (CheckFlags = {}));
+class CheckContext {
+    /** The type mapper associated with this context, if any. */
+    mapper;
+    /** The flags enabled in this context. */
+    flags;
+    #templateParametersObserved;
+    static from(contextOrMapper) {
+        if (contextOrMapper instanceof CheckContext) {
+            return contextOrMapper;
+        }
+        return new CheckContext(contextOrMapper, CheckFlags.None);
+    }
+    /**
+     * The default CheckContext to use at API entrypoints.
+     */
+    static DEFAULT = new CheckContext(undefined, CheckFlags.None);
+    constructor(mapper, flags, templateParametersObserved) {
+        this.mapper = mapper;
+        this.flags = flags;
+        this.#templateParametersObserved = templateParametersObserved;
+        Object.freeze(this);
+    }
+    /**
+     * Returns a new context with the given flags _added_ to the existing flags.
+     *
+     * @param flags - the flags to enable
+     * @returns a new CheckContext with the given flags enabled.
+     */
+    withFlags(flags) {
+        return new CheckContext(this.mapper, this.flags | flags, this.#templateParametersObserved);
+    }
+    /**
+     * Returns a new context with the given flags disabled.
+     *
+     * @param flags - the flags to disable
+     * @returns a new CheckContext with the given flags disabled.
+     */
+    maskFlags(flags) {
+        return new CheckContext(this.mapper, this.flags & ~flags, this.#templateParametersObserved);
+    }
+    /**
+     * Returns true if ALL of the given flags are enabled in this context.
+     */
+    hasFlags(flags) {
+        return (this.flags & flags) === flags;
+    }
+    /**
+     * Returns a new context with the given mapper.
+     *
+     * @param mapper - the new type mapper, or undefined to clear the mapper
+     * @returns a new CheckContext with the given mapper.
+     */
+    withMapper(mapper) {
+        return new CheckContext(mapper, this.flags, this.#templateParametersObserved);
+    }
+    /**
+     * Observes a template parameter within the current observation scope, if any.
+     *
+     * @param param - the TemplateParameter type instance to observe
+     */
+    observeTemplateParameter(param) {
+        this.#templateParametersObserved?.add(param);
+    }
+    /**
+     * Returns a new CheckContext with a new (empty) template parameter observation scope.
+     *
+     * Call this when you need to observe template parameters used within a specific context.
+     *
+     * @returns a new CheckContext with an empty template parameter observation scope.
+     */
+    enterTemplateObserverScope() {
+        return new CheckContext(this.mapper, this.flags, new Set());
+    }
+    /**
+     * Creates a new CheckContext with no template parameter observation enabled.
+     *
+     * Call this when the checker is moving from one declaration to another, where usage of template parameters
+     * from the next scope should not impact the usage from the previous scope.
+     *
+     * @returns a new CheckContext with no template parameter observation.
+     */
+    exitTemplateObserverScope() {
+        return new CheckContext(this.mapper, this.flags, undefined);
+    }
+    /**
+     * @returns true if the observer scope in this context has seen any template parameter usage.
+     */
+    hasObservedTemplateParameters() {
+        return this.#templateParametersObserved !== undefined
+            ? this.#templateParametersObserved.size > 0
+            : false;
+    }
+}
 /**
  * Find all named models that could have been the source of the given
  * property. This includes the named parents of all property sources in a
@@ -51340,7 +51440,7 @@ let manifest;
 try {
     // eslint-disable-next-line @typescript-eslint/ban-ts-comment
     // @ts-ignore
-    manifest = (await import('../manifest-DKDRH_XL.js')).default;
+    manifest = (await import('../manifest-BweYd_vW.js')).default;
 }
 catch {
     const name = "../dist/manifest.js";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@typespec/html-program-viewer",
-  "version": "0.79.0-dev.2",
+  "version": "0.79.0-dev.3",
   "author": "Microsoft Corporation",
   "description": "TypeSpec library for emitting an html view of the program.",
   "homepage": "https://typespec.io",