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

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

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

package/dist/react/index.js

@@ -47779,17 +47779,12 @@ function isType(entity) {
 function isValue(entity) {
     return entity.entityKind === "Value";
 }
-/**
- * @param type Model type
- */
-function isArrayModelType(program, type) {
+function isArrayModelType(programOrType, maybeType) {
+    const type = programOrType;
     return Boolean(type.indexer && type.indexer.key.name === "integer");
 }
-/**
- * Check if a model is an array type.
- * @param type Model type
- */
-function isRecordModelType(program, type) {
+function isRecordModelType(programOrType, maybeType) {
+    const type = programOrType;
     return Boolean(type.indexer && type.indexer.key.name === "string");
 }
 /**
@@ -47817,7 +47812,7 @@ defineKit({
         is(type) {
             return (type.entityKind === "Type" &&
                 type.kind === "Model" &&
-                isArrayModelType(this.program, type) &&
+                isArrayModelType(type) &&
                 type.properties.size === 0);
         },
         getElementType(type) {
@@ -49749,7 +49744,7 @@ const [
 isPageItemsProperty, markPageItemsProperty, 
 /** {@inheritdoc PageItemsDecorator} */
 pageItemsDecorator,] = createMarkerDecorator("pageItems", (context, target) => {
-    if (target.type.kind !== "Model" || !isArrayModelType(context.program, target.type)) {
+    if (target.type.kind !== "Model" || !isArrayModelType(target.type)) {
         reportDiagnostic(context.program, {
             code: "decorator-wrong-target",
             messageId: "withExpected",
@@ -49768,18 +49763,7 @@ const [
  */
 isContinuationTokenProperty, markContinuationTokenProperty, 
 /** {@inheritdoc ContinuationTokenDecorator} */
-continuationTokenDecorator,] = createMarkerDecorator("continuationToken", (context, target) => {
-    if (!isStringType(context.program, target.type)) {
-        reportDiagnostic(context.program, {
-            code: "decorator-wrong-target",
-            messageId: "withExpected",
-            format: { decorator: "continuationToken", expected: "string", to: getTypeName(target.type) },
-            target: context.decoratorTarget,
-        });
-        return false;
-    }
-    return true;
-});
+continuationTokenDecorator,] = createMarkerDecorator("continuationToken");
 const [
 /**
  * Check if the given property is the `@nextLink` property for a paging operation.
@@ -50076,10 +50060,6 @@ const $doc = (context, target, text, sourceObject) => {
 function getDoc(program, target) {
     return getDocDataInternal(program, target, "self")?.value;
 }
-function isStringType(program, target) {
-    const stringType = program.checker.getStdType("string");
-    return (target.kind === "Scalar" && program.checker.isTypeAssignableTo(target, stringType, target)[0]);
-}
 function isNumericType(program, target) {
     const numericType = program.checker.getStdType("numeric");
     return (target.kind === "Scalar" && program.checker.isTypeAssignableTo(target, numericType, target)[0]);
@@ -50369,7 +50349,7 @@ defineKit({
         is(type) {
             return (type.entityKind === "Type" &&
                 type.kind === "Model" &&
-                isRecordModelType(this.program, type) &&
+                isRecordModelType(type) &&
                 type.properties.size === 0);
         },
         getElementType(type) {
@@ -51122,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
@@ -51316,6 +51396,11 @@ var ResolutionKind;
     ResolutionKind[ResolutionKind["Constraint"] = 3] = "Constraint";
 })(ResolutionKind || (ResolutionKind = {}));
 
+const emittedFilesPerProgramKey = Symbol.for("TYPESPEC_EMITTED_FILES_PATHS");
+if (globalThis[emittedFilesPerProgramKey] === undefined) {
+    globalThis[emittedFilesPerProgramKey] = new WeakMap();
+}
+
 var CommentCheckFlags;
 (function (CommentCheckFlags) {
     /** Check comment is a leading comment */
@@ -51355,7 +51440,7 @@ let manifest;
 try {
     // eslint-disable-next-line @typescript-eslint/ban-ts-comment
     // @ts-ignore
-    manifest = (await import('../manifest-DCSG9W8D.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.1",
+  "version": "0.79.0-dev.3",
   "author": "Microsoft Corporation",
   "description": "TypeSpec library for emitting an html view of the program.",
   "homepage": "https://typespec.io",