@nestia/migrate 14.0.1 → 14.0.3

package/lib/executable/bundle.mjs

@@ -0,0 +1,324 @@
+import { __require } from "../_virtual/_rolldown/runtime.mjs";
+import { run } from "./TemplateBundleCache.mjs";
+import { require_package } from "../package.mjs";
+import fs from "node:fs";
+import cp from "node:child_process";
+//#region src/executable/bundle.ts
+const { version } = require_package();
+const ROOT = `${__dirname}/../..`;
+const ASSETS = `${ROOT}/assets`;
+const CATALOGS = __require("js-yaml").load(fs.readFileSync(`${__dirname}/../../../../pnpm-lock.yaml`, "utf8")).catalogs;
+const TYPIA = CATALOGS.samchon;
+const TYPESCRIPT = CATALOGS.typescript ?? {};
+const update = (content, options = {}) => {
+	const parsed = JSON.parse(content);
+	for (const record of [parsed.dependencies ?? {}, parsed.devDependencies ?? {}]) for (const key of Object.keys(record)) {
+		const current = record[key];
+		if (typeof current === "string" && (current.startsWith("catalog:") || current.startsWith("workspace:"))) continue;
+		if (key.startsWith("@nestia/") || key === "nestia") record[key] = `^${version}`;
+		else {
+			const catalog = TYPIA[key] ?? TYPESCRIPT[key];
+			if (catalog) record[key] = catalog.specifier;
+		}
+	}
+	migratePackageJson(parsed);
+	if (options.sdkAggregate) {
+		parsed.devDependencies ??= {};
+		parsed.devDependencies["@nestia/core"] = `^${version}`;
+	}
+	return JSON.stringify(parsed, null, 2);
+};
+const migratePackageJson = (parsed) => {
+	if (parsed.scripts) {
+		for (const [key, value] of Object.entries(parsed.scripts)) if (typeof value === "string") parsed.scripts[key] = normalizeScript(value);
+	}
+	const devDependencies = parsed.devDependencies;
+	if (devDependencies) {
+		const usesTypeScript = typeof devDependencies.typescript === "string" && devDependencies.typescript.startsWith("catalog:") === false;
+		delete devDependencies["typescript-transform-paths"];
+		if (usesTypeScript && TYPESCRIPT.ttsc) devDependencies.ttsc ??= TYPESCRIPT.ttsc.specifier;
+	}
+};
+const updateWorkspaceCatalog = (content) => {
+	const replace = (line) => {
+		const match = line.match(/^(\s+(?:"([^"]+)"|'([^']+)'|([^:\s]+)): (?:&[A-Za-z0-9_-]+ )?)\S[^\r\n]*(\r?)$/);
+		if (match === null) return line;
+		const name = match[2] ?? match[3] ?? match[4];
+		const specifier = name === "nestia" || name.startsWith("@nestia/") ? `^${version}` : TYPIA[name]?.specifier ?? TYPESCRIPT[name]?.specifier;
+		if (typeof specifier !== "string") return line;
+		return `${match[1]}${specifier}${match[5]}`;
+	};
+	return content.split("\n").map(replace).join("\n");
+};
+const trimTemplateDependencies = (parsed) => {
+	if (parsed.dependencies) {
+		delete parsed.dependencies.commander;
+		delete parsed.dependencies.inquirer;
+	}
+	if (parsed.devDependencies) {
+		delete parsed.devDependencies["@types/inquirer"];
+		delete parsed.devDependencies.commander;
+		delete parsed.devDependencies.inquirer;
+	}
+};
+const normalizeScript = (script) => script.replace(/(^|[^A-Za-z0-9_-])tsc(?=$|[^A-Za-z0-9_-])/g, "$1ttsc");
+const ARGUMENT_PARSER = `import { createInterface } from "node:readline/promises";
+
+export namespace ArgumentParser {
+  export interface Command {
+    option: (flags: string, description?: string) => Command;
+  }
+
+  export interface Prompt {
+    select: (
+      name: string,
+    ) => (
+      message: string,
+    ) => <Choice extends string>(choices: Choice[]) => Promise<Choice>;
+    boolean: (name: string) => (message: string) => Promise<boolean>;
+    number: (name: string) => (message: string) => Promise<number>;
+  }
+
+  export const parse = async <T>(
+    inquiry: (
+      command: Command,
+      prompt: Prompt,
+      action: (closure: (options: Partial<T>) => Promise<T>) => Promise<T>,
+    ) => Promise<T>,
+  ): Promise<T> => {
+    const command: Command = {
+      option: (_flags: string, _description?: string): Command => command,
+    };
+    const action = (closure: (options: Partial<T>) => Promise<T>) =>
+      closure(parseArguments() as Partial<T>);
+    return inquiry(
+      command,
+      { select, boolean, number },
+      action,
+    );
+  };
+
+  const select =
+    (_name: string) =>
+    (message: string) =>
+    async <Choice extends string>(choices: Choice[]): Promise<Choice> => {
+      const answer: string = await ask(\`\${message} (\${choices.join("/")})\`);
+      return (choices.find((choice) => choice === answer) ?? choices[0])!;
+    };
+
+  const boolean = (_name: string) => async (message: string) =>
+    /^(true|t|yes|y|1)$/i.test(await ask(\`\${message} [y/N]\`));
+
+  const number = (_name: string) => async (message: string) =>
+    Number(await ask(message));
+
+  const ask = async (message: string): Promise<string> => {
+    const reader = createInterface({
+      input: process.stdin,
+      output: process.stdout,
+    });
+    try {
+      return (await reader.question(\`\${message}: \`)).trim();
+    } finally {
+      reader.close();
+    }
+  };
+
+  const parseArguments = (): Record<string, string | string[] | boolean> => {
+    const output: Record<string, string | string[] | boolean> = {};
+    const args: string[] = process.argv.slice(2);
+    for (let i = 0; i < args.length; ++i) {
+      const raw: string = args[i]!;
+      if (raw.startsWith("--") === false) continue;
+
+      const equal: number = raw.indexOf("=");
+      const name: string = toCamelCase(
+        raw.slice(2, equal === -1 ? undefined : equal),
+      );
+      if (equal !== -1) {
+        assign(output, name, raw.slice(equal + 1));
+        continue;
+      }
+
+      const values: string[] = [];
+      while (i + 1 < args.length && args[i + 1]!.startsWith("--") === false)
+        values.push(args[++i]!);
+      assign(
+        output,
+        name,
+        values.length === 0 ? true : values.length === 1 ? values[0]! : values,
+      );
+    }
+    return output;
+  };
+
+  const assign = (
+    output: Record<string, string | string[] | boolean>,
+    name: string,
+    value: string | string[] | boolean,
+  ): void => {
+    const current: string | string[] | boolean | undefined = output[name];
+    if (current === undefined) output[name] = value;
+    else
+      output[name] = [
+        ...(Array.isArray(current) ? current : [String(current)]),
+        ...(Array.isArray(value) ? value : [String(value)]),
+      ];
+  };
+
+  const toCamelCase = (str: string): string =>
+    str.replace(/-([a-z])/g, (_matched, letter: string) =>
+      letter.toUpperCase(),
+    );
+}
+`;
+const updateTsConfig = (content) => {
+	content = content.replace(/^\s*\{\s*"transform":\s*"typescript-transform-paths"\s*\},\r?\n/gm, "");
+	content = content.replace(/^\s*\{\s*"transform":\s*"typia\/lib\/transform"(?:,\s*"enabled":\s*false)?\s*\},?\r?\n/gm, "");
+	content = content.replace(/^\s*\{\s*"transform":\s*"@nestia\/core\/lib\/transform"\s*\},?\r?\n/gm, "");
+	content = content.replace(/^\s*\{\s*"transform":\s*"@nestia\/core\/native\/transform\.cjs"\s*\},?\r?\n/gm, "");
+	content = content.replace(/^\s*\{\s*"transform":\s*"@nestia\/sdk\/lib\/transform"\s*\},\r?\n/gm, "");
+	return content;
+};
+const bundle = async ({ mode, repository, revision, exceptions, transform }) => {
+	const template = `${`${`${__dirname}/../..`}/assets`}/${mode}`;
+	const clone = async () => {
+		if (fs.existsSync(template)) await fs.promises.rm(template, { recursive: true });
+		else try {
+			await fs.promises.mkdir(ASSETS);
+		} catch {}
+		await fs.promises.mkdir(template, { recursive: true });
+		cp.execFileSync("git", ["init", "--quiet"], { cwd: template });
+		cp.execFileSync("git", [
+			"fetch",
+			"--quiet",
+			"--depth=1",
+			"--no-auto-maintenance",
+			`https://github.com/samchon/${repository}`,
+			revision
+		], { cwd: template });
+		cp.execFileSync("git", [
+			"-c",
+			"core.autocrlf=false",
+			"checkout",
+			"--quiet",
+			"--detach",
+			revision
+		], {
+			cwd: template,
+			stdio: "pipe"
+		});
+		for (const location of exceptions ?? []) await fs.promises.rm(`${template}/${location}`, { recursive: true });
+	};
+	const iterate = (collection) => async (location) => {
+		const directory = await fs.promises.readdir(location);
+		for (const file of directory) {
+			const absolute = location + "/" + file;
+			if ((await fs.promises.stat(absolute)).isDirectory()) await iterate(collection)(absolute);
+			else {
+				const content = await fs.promises.readFile(absolute, "utf-8");
+				collection[(() => {
+					const str = absolute.replace(template, "");
+					return str[0] === "/" ? str.substring(1) : str;
+				})()] = content;
+			}
+		}
+	};
+	const archive = async (collection) => {
+		const name = `${mode.toUpperCase()}_TEMPLATE`;
+		const content = `export const ${name}: Record<string, string> = ${JSON.stringify(collection, null, 2)}`;
+		try {
+			await fs.promises.mkdir(`${ROOT}/src/bundles`);
+		} catch {}
+		await fs.promises.writeFile(`${ROOT}/src/bundles/${name}.ts`, content, "utf8");
+	};
+	const collection = {};
+	await clone();
+	await iterate(collection)(template);
+	if (transform) for (const [key, value] of Object.entries(collection)) collection[key] = await writeTransformedAsset(template, key, transform(key, value));
+	await archive(collection);
+};
+const writeTransformedAsset = async (template, key, value) => {
+	await fs.promises.writeFile(`${template}/${key}`, value, "utf8");
+	return value;
+};
+/**
+* Generates both pinned templates using the current release and catalog stamps.
+*
+* The complete script is a cache input because it contains the revisions,
+* exclusions and every transformation rule. A hit still verifies output bytes.
+*/
+const generate = async () => {
+	await bundle({
+		mode: "nest",
+		repository: "nestia-start",
+		revision: "8188661cb1c1b0fb30e6184b06422764d64a5f68",
+		exceptions: [
+			".git",
+			".github/dependabot.yml",
+			".github/workflows/dependabot-automerge.yml",
+			"pnpm-lock.yaml",
+			"packages/api/src/functional",
+			"packages/api/src/structures",
+			"packages/backend/src/MyModule.ts",
+			"packages/backend/src/controllers",
+			"packages/backend/src/providers",
+			"packages/backend/test/features"
+		],
+		transform: (key, value) => {
+			if (key.endsWith("package.json")) {
+				const parsed = JSON.parse(update(value));
+				trimTemplateDependencies(parsed);
+				return JSON.stringify(parsed, null, 2);
+			}
+			if (key === "pnpm-workspace.yaml") return updateWorkspaceCatalog(value);
+			if (key === "packages/backend/test/helpers/ArgumentParser.ts") return ARGUMENT_PARSER;
+			if (key.endsWith("tsconfig.json")) return updateTsConfig(value);
+			return value;
+		}
+	});
+	await bundle({
+		mode: "sdk",
+		repository: "nestia-sdk-template",
+		revision: "37a019e2b8dea3d02237137aaec2f242f53dcd2d",
+		exceptions: [
+			".git",
+			".github/dependabot.yml",
+			".github/workflows/build.yml",
+			".github/workflows/dependabot-automerge.yml",
+			"pnpm-lock.yaml",
+			"src/functional",
+			"src/structures",
+			"test/features"
+		],
+		transform: (key, value) => {
+			if (key.endsWith("package.json")) {
+				const parsed = JSON.parse(update(value, { sdkAggregate: key === "package.json" }));
+				trimTemplateDependencies(parsed);
+				return JSON.stringify(parsed, null, 2);
+			}
+			if (key === "test/utils/ArgumentParser.ts") return ARGUMENT_PARSER;
+			if (key.endsWith("tsconfig.json")) return updateTsConfig(value);
+			return value;
+		}
+	});
+};
+const main = async () => {
+	if (await run({
+		inputs: [
+			version,
+			CATALOGS,
+			fs.readFileSync(__filename, "utf8")
+		],
+		outputs: ["NEST_TEMPLATE", "SDK_TEMPLATE"].map((name) => `${ROOT}/src/bundles/${name}.ts`),
+		stampFile: `${ASSETS}/.bundle-cache.json`,
+		generate
+	})) console.log("Reuse verified migration template bundles.");
+};
+main().catch((exp) => {
+	console.error(exp);
+	process.exit(-1);
+});
+//#endregion
+
+//# sourceMappingURL=bundle.mjs.map

package/lib/executable/bundle.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"bundle.mjs","names":[],"sources":[],"mappings":""}

package/lib/factories/ExpressionFactory.d.ts

@@ -3,7 +3,21 @@ import { type NumericLiteral, type PrefixUnaryExpression } from "@ttsc/factory";
  * Numeric-literal helper that handles negative values via a leading
  * `MinusToken` prefix unary, matching how the TypeScript factory itself emits
  * negative numeric literals.
+ *
+ * @evidence contracts/common.md#principled-implementation The namespace holds the number literal builder that the generators need.
+ * @evidence contracts/common.md#clear-and-simple-design One function.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts It only builds nodes.
+ * @evidence contracts/common.md#meaningful-documentation The comment states its purpose.
  */
 export declare namespace ExpressionFactory {
+    /**
+     * Builds a numeric literal, using a prefix minus for a negative value,
+     * because a negative numeric literal is not a valid node.
+     *
+     * @evidence contracts/common.md#principled-implementation TypeScript represents a negative number as a prefix unary minus applied to a positive literal, so the function builds that shape for values below zero and a plain literal otherwise.
+     * @evidence contracts/common.md#clear-and-simple-design One conditional.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It follows the syntax tree grammar.
+     * @evidence contracts/common.md#meaningful-documentation The comment states the negative case.
+     */
     const number: (value: number) => NumericLiteral | PrefixUnaryExpression;
 }

package/lib/factories/ExpressionFactory.js

@@ -6,9 +6,23 @@ const factory_1 = require("@ttsc/factory");
  * Numeric-literal helper that handles negative values via a leading
  * `MinusToken` prefix unary, matching how the TypeScript factory itself emits
  * negative numeric literals.
+ *
+ * @evidence contracts/common.md#principled-implementation The namespace holds the number literal builder that the generators need.
+ * @evidence contracts/common.md#clear-and-simple-design One function.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts It only builds nodes.
+ * @evidence contracts/common.md#meaningful-documentation The comment states its purpose.
  */
 var ExpressionFactory;
 (function (ExpressionFactory) {
+    /**
+     * Builds a numeric literal, using a prefix minus for a negative value,
+     * because a negative numeric literal is not a valid node.
+     *
+     * @evidence contracts/common.md#principled-implementation TypeScript represents a negative number as a prefix unary minus applied to a positive literal, so the function builds that shape for values below zero and a plain literal otherwise.
+     * @evidence contracts/common.md#clear-and-simple-design One conditional.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It follows the syntax tree grammar.
+     * @evidence contracts/common.md#meaningful-documentation The comment states the negative case.
+     */
     ExpressionFactory.number = (value) => value < 0
         ? factory_1.factory.createPrefixUnaryExpression(factory_1.SyntaxKind.MinusToken, factory_1.factory.createNumericLiteral(Math.abs(value)))
         : factory_1.factory.createNumericLiteral(value);

package/lib/factories/ExpressionFactory.js.map

@@ -1 +1 @@
-{"version":3,"file":"ExpressionFactory.js","sourceRoot":"","sources":["../../src/factories/ExpressionFactory.ts"],"names":[],"mappings":";;;AAAA,2CAKuB;AAEvB;;;;GAIG;AACH,IAAiB,iBAAiB,CAUjC;AAVD,WAAiB,iBAAiB;IACnB,wBAAM,GAAG,CACpB,KAAa,EAC2B,EAAE,CAC1C,KAAK,GAAG,CAAC;QACP,CAAC,CAAC,iBAAO,CAAC,2BAA2B,CACjC,oBAAU,CAAC,UAAU,EACrB,iBAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAC9C;QACH,CAAC,CAAC,iBAAO,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;AAC5C,CAAC,EAVgB,iBAAiB,aAAjB,iBAAiB,GAAjB,iBAAiB,QAUjC"}
+{"version":3,"file":"ExpressionFactory.js","sourceRoot":"","sources":["../../src/factories/ExpressionFactory.ts"],"names":[],"mappings":";;;AAAA,2CAKuB;AAEvB;;;;;;;;;GASG;AACH,IAAiB,iBAAiB,CAmBjC;AAnBD,WAAiB,iBAAiB;IAChC;;;;;;;;OAQG;IACU,wBAAM,GAAG,CACpB,KAAa,EAC2B,EAAE,CAC1C,KAAK,GAAG,CAAC;QACP,CAAC,CAAC,iBAAO,CAAC,2BAA2B,CACjC,oBAAU,CAAC,UAAU,EACrB,iBAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAC9C;QACH,CAAC,CAAC,iBAAO,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;AAC5C,CAAC,EAnBgB,iBAAiB,aAAjB,iBAAiB,GAAjB,iBAAiB,QAmBjC"}

package/lib/factories/IdentifierFactory.d.ts

@@ -2,21 +2,41 @@ import { type Expression, type Identifier, type ParameterDeclaration, type Strin
 /**
  * Identifier and member-access helpers. The surface kept here is the subset
  * nestia generators actually call (`identifier`, `access`, `parameter`).
+ *
+ * @evidence contracts/common.md#principled-implementation The functions decide between an identifier and a string literal by the syntax of the name, so any string can be used as a key.
+ * @evidence contracts/common.md#clear-and-simple-design Three small functions and one private predicate.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts The variable-name test is a regular expression of the language's identifier syntax, which is inlined so that the package need not load a larger namespace.
+ * @evidence contracts/common.md#meaningful-documentation The comment states its purpose.
  */
 export declare namespace IdentifierFactory {
     /**
      * Build an identifier or string literal depending on whether `name` is a
      * valid JavaScript identifier.
+     *
+     * @evidence contracts/common.md#principled-implementation The name is tested against the identifier grammar `[A-Za-z_$][A-Za-z0-9_$]*`, which is conservative: a valid name outside it, such as one with non-ASCII letters, becomes a quoted key, which is equivalent.
+     * @evidence contracts/common.md#clear-and-simple-design One conditional.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The test applies to every name.
+     * @evidence contracts/common.md#meaningful-documentation The comment states the two results.
      */
     const identifier: (name: string) => Identifier | StringLiteral;
     /**
      * Member access on `input` by `key`. Falls back to element access when the
      * key is not a valid identifier.
+     *
+     * @evidence contracts/common.md#principled-implementation The postfix is built by `identifier`, and its kind selects the property form or the element form, with the chain token added when requested.
+     * @evidence contracts/common.md#clear-and-simple-design One function delegating the naming rule.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It never concatenates source text.
+     * @evidence contracts/common.md#meaningful-documentation The comment states the forms.
      */
     const access: (input: Expression, key: string, chain?: boolean) => Expression;
     /**
      * Parameter declaration with default `any` type when the caller omits one.
      * Passing a `QuestionToken` as `init` marks the parameter optional.
+     *
+     * @evidence contracts/common.md#principled-implementation An initializer that is the question token becomes the optional marker and is not an initializer, and any other initializer is passed through.
+     * @evidence contracts/common.md#clear-and-simple-design One function with one branch.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It follows the declaration grammar.
+     * @evidence contracts/common.md#meaningful-documentation The comment states the optional marker and the default type.
      */
     const parameter: (name: string | Identifier, type?: TypeNode, init?: Expression | Token) => ParameterDeclaration;
 }

package/lib/factories/IdentifierFactory.js

@@ -10,12 +10,22 @@ const isVariableName = (str) => VARIABLE_REGEX.test(str);
 /**
  * Identifier and member-access helpers. The surface kept here is the subset
  * nestia generators actually call (`identifier`, `access`, `parameter`).
+ *
+ * @evidence contracts/common.md#principled-implementation The functions decide between an identifier and a string literal by the syntax of the name, so any string can be used as a key.
+ * @evidence contracts/common.md#clear-and-simple-design Three small functions and one private predicate.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts The variable-name test is a regular expression of the language's identifier syntax, which is inlined so that the package need not load a larger namespace.
+ * @evidence contracts/common.md#meaningful-documentation The comment states its purpose.
  */
 var IdentifierFactory;
 (function (IdentifierFactory) {
     /**
      * Build an identifier or string literal depending on whether `name` is a
      * valid JavaScript identifier.
+     *
+     * @evidence contracts/common.md#principled-implementation The name is tested against the identifier grammar `[A-Za-z_$][A-Za-z0-9_$]*`, which is conservative: a valid name outside it, such as one with non-ASCII letters, becomes a quoted key, which is equivalent.
+     * @evidence contracts/common.md#clear-and-simple-design One conditional.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The test applies to every name.
+     * @evidence contracts/common.md#meaningful-documentation The comment states the two results.
      */
     IdentifierFactory.identifier = (name) => isVariableName(name)
         ? factory_1.factory.createIdentifier(name)
@@ -23,6 +33,11 @@ var IdentifierFactory;
     /**
      * Member access on `input` by `key`. Falls back to element access when the
      * key is not a valid identifier.
+     *
+     * @evidence contracts/common.md#principled-implementation The postfix is built by `identifier`, and its kind selects the property form or the element form, with the chain token added when requested.
+     * @evidence contracts/common.md#clear-and-simple-design One function delegating the naming rule.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It never concatenates source text.
+     * @evidence contracts/common.md#meaningful-documentation The comment states the forms.
      */
     IdentifierFactory.access = (input, key, chain) => {
         const postfix = IdentifierFactory.identifier(key);
@@ -37,6 +52,11 @@ var IdentifierFactory;
     /**
      * Parameter declaration with default `any` type when the caller omits one.
      * Passing a `QuestionToken` as `init` marks the parameter optional.
+     *
+     * @evidence contracts/common.md#principled-implementation An initializer that is the question token becomes the optional marker and is not an initializer, and any other initializer is passed through.
+     * @evidence contracts/common.md#clear-and-simple-design One function with one branch.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It follows the declaration grammar.
+     * @evidence contracts/common.md#meaningful-documentation The comment states the optional marker and the default type.
      */
     IdentifierFactory.parameter = (name, type, init) => {
         const isQuestionToken = !!init &&

package/lib/factories/IdentifierFactory.js.map

@@ -1 +1 @@
-{"version":3,"file":"IdentifierFactory.js","sourceRoot":"","sources":["../../src/factories/IdentifierFactory.ts"],"names":[],"mappings":";;;AAAA,2CASuB;AAEvB,+CAA4C;AAE5C,yEAAyE;AACzE,yEAAyE;AACzE,MAAM,cAAc,GAAG,4BAA4B,CAAC;AACpD,MAAM,cAAc,GAAG,CAAC,GAAW,EAAW,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAE1E;;;GAGG;AACH,IAAiB,iBAAiB,CA6DjC;AA7DD,WAAiB,iBAAiB;IAChC;;;OAGG;IACU,4BAAU,GAAG,CAAC,IAAY,EAA8B,EAAE,CACrE,cAAc,CAAC,IAAI,CAAC;QAClB,CAAC,CAAC,iBAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAChC,CAAC,CAAC,iBAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAExC;;;OAGG;IACU,wBAAM,GAAG,CACpB,KAAiB,EACjB,GAAW,EACX,KAAe,EACH,EAAE;QACd,MAAM,OAAO,GAAG,4BAAU,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe;YAClC,OAAO,KAAK,KAAK,IAAI;gBACnB,CAAC,CAAC,iBAAO,CAAC,wBAAwB,CAC9B,KAAK,EACL,iBAAO,CAAC,WAAW,CAAC,oBAAU,CAAC,gBAAgB,CAAC,EAChD,OAAO,CACR;gBACH,CAAC,CAAC,iBAAO,CAAC,6BAA6B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC5D,OAAO,KAAK,KAAK,IAAI;YACnB,CAAC,CAAC,iBAAO,CAAC,yBAAyB,CAC/B,KAAK,EACL,iBAAO,CAAC,WAAW,CAAC,oBAAU,CAAC,gBAAgB,CAAC,EAChD,OAAO,CACR;YACH,CAAC,CAAC,iBAAO,CAAC,8BAA8B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC,CAAC;IAEF;;;OAGG;IACU,2BAAS,GAAG,CACvB,IAAyB,EACzB,IAAe,EACf,IAAyB,EACH,EAAE;QACxB,MAAM,eAAe,GACnB,CAAC,CAAC,IAAI;YACN,IAAI,CAAC,IAAI,KAAK,OAAO;YACpB,IAAc,CAAC,KAAK,KAAK,oBAAU,CAAC,aAAa,CAAC;QACrD,OAAO,iBAAO,CAAC,0BAA0B,CACvC,SAAS,EACT,SAAS,EACT,IAAI,EACJ,eAAe;YACb,CAAC,CAAC,iBAAO,CAAC,WAAW,CAAC,oBAAU,CAAC,aAAa,CAAC;YAC/C,CAAC,CAAC,SAAS,EACb,IAAI,aAAJ,IAAI,cAAJ,IAAI,GAAI,yBAAW,CAAC,OAAO,CAAC,KAAK,CAAC,EAClC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,IAA+B,CAC/D,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,EA7DgB,iBAAiB,aAAjB,iBAAiB,GAAjB,iBAAiB,QA6DjC"}
+{"version":3,"file":"IdentifierFactory.js","sourceRoot":"","sources":["../../src/factories/IdentifierFactory.ts"],"names":[],"mappings":";;;AAAA,2CASuB;AAEvB,+CAA4C;AAE5C,yEAAyE;AACzE,yEAAyE;AACzE,MAAM,cAAc,GAAG,4BAA4B,CAAC;AACpD,MAAM,cAAc,GAAG,CAAC,GAAW,EAAW,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAE1E;;;;;;;;GAQG;AACH,IAAiB,iBAAiB,CA4EjC;AA5ED,WAAiB,iBAAiB;IAChC;;;;;;;;OAQG;IACU,4BAAU,GAAG,CAAC,IAAY,EAA8B,EAAE,CACrE,cAAc,CAAC,IAAI,CAAC;QAClB,CAAC,CAAC,iBAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAChC,CAAC,CAAC,iBAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAExC;;;;;;;;OAQG;IACU,wBAAM,GAAG,CACpB,KAAiB,EACjB,GAAW,EACX,KAAe,EACH,EAAE;QACd,MAAM,OAAO,GAAG,4BAAU,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe;YAClC,OAAO,KAAK,KAAK,IAAI;gBACnB,CAAC,CAAC,iBAAO,CAAC,wBAAwB,CAC9B,KAAK,EACL,iBAAO,CAAC,WAAW,CAAC,oBAAU,CAAC,gBAAgB,CAAC,EAChD,OAAO,CACR;gBACH,CAAC,CAAC,iBAAO,CAAC,6BAA6B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC5D,OAAO,KAAK,KAAK,IAAI;YACnB,CAAC,CAAC,iBAAO,CAAC,yBAAyB,CAC/B,KAAK,EACL,iBAAO,CAAC,WAAW,CAAC,oBAAU,CAAC,gBAAgB,CAAC,EAChD,OAAO,CACR;YACH,CAAC,CAAC,iBAAO,CAAC,8BAA8B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC,CAAC;IAEF;;;;;;;;OAQG;IACU,2BAAS,GAAG,CACvB,IAAyB,EACzB,IAAe,EACf,IAAyB,EACH,EAAE;QACxB,MAAM,eAAe,GACnB,CAAC,CAAC,IAAI;YACN,IAAI,CAAC,IAAI,KAAK,OAAO;YACpB,IAAc,CAAC,KAAK,KAAK,oBAAU,CAAC,aAAa,CAAC;QACrD,OAAO,iBAAO,CAAC,0BAA0B,CACvC,SAAS,EACT,SAAS,EACT,IAAI,EACJ,eAAe;YACb,CAAC,CAAC,iBAAO,CAAC,WAAW,CAAC,oBAAU,CAAC,aAAa,CAAC;YAC/C,CAAC,CAAC,SAAS,EACb,IAAI,aAAJ,IAAI,cAAJ,IAAI,GAAI,yBAAW,CAAC,OAAO,CAAC,KAAK,CAAC,EAClC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,IAA+B,CAC/D,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,EA5EgB,iBAAiB,aAAjB,iBAAiB,GAAjB,iBAAiB,QA4EjC"}

package/lib/factories/LiteralFactory.d.ts

@@ -1,9 +1,25 @@
 import { type Expression } from "@ttsc/factory";
 /**
  * Recursive value-to-AST-literal builder. Hands back already-AST inputs
- * unchanged (so callers can mix factory output with raw JS values inside the
- * same object/array), and emits the appropriate literal node otherwise.
+ * unchanged for arrow functions, calls and identifiers (so callers can mix
+ * those factory expressions with raw values inside objects/arrays), and emits
+ * the appropriate literal node otherwise.
+ *
+ * @evidence contracts/common.md#principled-implementation The namespace maps null, booleans, numbers, strings, bigint text, arrays and object entries to literal expressions, passes through the three accepted AST kinds, maps functions to undefined and refuses unsupported primitive types.
+ * @evidence contracts/common.md#clear-and-simple-design One entry function and two private helpers for containers.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts The mapping is by type, with no value special-cased.
+ * @evidence contracts/common.md#meaningful-documentation The comment states its purpose.
  */
 export declare namespace LiteralFactory {
+    /**
+     * Builds the expression of a value: `null`, a boolean, a number, a string, a
+     * bigint as its text, an array, an object without its `undefined` members, or
+     * an expression node as it is.
+     *
+     * @evidence contracts/common.md#principled-implementation The value is dispatched by type in a fixed order; nodes of the kinds arrow function, call, and identifier pass through, functions become `undefined`, and an unsupported type is a `TypeError`, so the result is total over the listed types.
+     * @evidence contracts/common.md#clear-and-simple-design One function with one branch per type.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The dispatch is general, and a bigint becomes text because a literal bigint is not supported by the target syntax here.
+     * @evidence contracts/common.md#meaningful-documentation The comment lists the mapping.
+     */
     const write: (input: any) => Expression;
 }

package/lib/factories/LiteralFactory.js

@@ -14,11 +14,27 @@ const isNode = (value) => typeof value === "object" &&
     typeof value.kind === "string";
 /**
  * Recursive value-to-AST-literal builder. Hands back already-AST inputs
- * unchanged (so callers can mix factory output with raw JS values inside the
- * same object/array), and emits the appropriate literal node otherwise.
+ * unchanged for arrow functions, calls and identifiers (so callers can mix
+ * those factory expressions with raw values inside objects/arrays), and emits
+ * the appropriate literal node otherwise.
+ *
+ * @evidence contracts/common.md#principled-implementation The namespace maps null, booleans, numbers, strings, bigint text, arrays and object entries to literal expressions, passes through the three accepted AST kinds, maps functions to undefined and refuses unsupported primitive types.
+ * @evidence contracts/common.md#clear-and-simple-design One entry function and two private helpers for containers.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts The mapping is by type, with no value special-cased.
+ * @evidence contracts/common.md#meaningful-documentation The comment states its purpose.
  */
 var LiteralFactory;
 (function (LiteralFactory) {
+    /**
+     * Builds the expression of a value: `null`, a boolean, a number, a string, a
+     * bigint as its text, an array, an object without its `undefined` members, or
+     * an expression node as it is.
+     *
+     * @evidence contracts/common.md#principled-implementation The value is dispatched by type in a fixed order; nodes of the kinds arrow function, call, and identifier pass through, functions become `undefined`, and an unsupported type is a `TypeError`, so the result is total over the listed types.
+     * @evidence contracts/common.md#clear-and-simple-design One function with one branch per type.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The dispatch is general, and a bigint becomes text because a literal bigint is not supported by the target syntax here.
+     * @evidence contracts/common.md#meaningful-documentation The comment lists the mapping.
+     */
     LiteralFactory.write = (input) => {
         if (input === null)
             return factory_1.factory.createNull();

package/lib/factories/LiteralFactory.js.map

@@ -1 +1 @@
-{"version":3,"file":"LiteralFactory.js","sourceRoot":"","sources":["../../src/factories/LiteralFactory.ts"],"names":[],"mappings":";;;AAAA,2CAAyD;AAEzD,2DAAwD;AACxD,2DAAwD;AAExD,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAS;IACxC,eAAe;IACf,gBAAgB;IAChB,YAAY;CACb,CAAC,CAAC;AAEH,MAAM,MAAM,GAAG,CAAC,KAAc,EAAuB,EAAE,CACrD,OAAO,KAAK,KAAK,QAAQ;IACzB,KAAK,KAAK,IAAI;IACd,OAAQ,KAA4B,CAAC,IAAI,KAAK,QAAQ,CAAC;AAEzD;;;;GAIG;AACH,IAAiB,cAAc,CAgC9B;AAhCD,WAAiB,cAAc;IAChB,oBAAK,GAAG,CAAC,KAAU,EAAc,EAAE;QAC9C,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,iBAAO,CAAC,UAAU,EAAE,CAAC;QAChD,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QACrE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;QACnD,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,WAAW,CAAC,KAAe,CAAC,CAAC;QACnE,IAAI,OAAO,KAAK,KAAK,SAAS;YAC5B,OAAO,KAAK,CAAC,CAAC,CAAC,iBAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,iBAAO,CAAC,WAAW,EAAE,CAAC;QAC9D,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,qCAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACtE,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,iBAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;QACzE,IAAI,OAAO,KAAK,KAAK,QAAQ;YAC3B,OAAO,iBAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;QACvD,IAAI,OAAO,KAAK,KAAK,UAAU;YAC7B,OAAO,iBAAO,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC;QAC/C,MAAM,IAAI,SAAS,CAAC,+CAA+C,CAAC,CAAC;IACvE,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,CAAC,GAAW,EAAc,EAAE,CAC9C,iBAAO,CAAC,6BAA6B,CACnC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;SAChB,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC;SAC1C,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CACpB,iBAAO,CAAC,wBAAwB,CAC9B,qCAAiB,CAAC,UAAU,CAAC,GAAG,CAAC,EACjC,oBAAK,CAAC,KAAK,CAAC,CACb,CACF,EACH,IAAI,CACL,CAAC;IAEJ,MAAM,UAAU,GAAG,CAAC,KAAqB,EAAc,EAAE,CACvD,iBAAO,CAAC,4BAA4B,CAAC,KAAK,CAAC,GAAG,CAAC,oBAAK,CAAC,EAAE,IAAI,CAAC,CAAC;AACjE,CAAC,EAhCgB,cAAc,aAAd,cAAc,GAAd,cAAc,QAgC9B"}
+{"version":3,"file":"LiteralFactory.js","sourceRoot":"","sources":["../../src/factories/LiteralFactory.ts"],"names":[],"mappings":";;;AAAA,2CAAyD;AAEzD,2DAAwD;AACxD,2DAAwD;AAExD,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAS;IACxC,eAAe;IACf,gBAAgB;IAChB,YAAY;CACb,CAAC,CAAC;AAEH,MAAM,MAAM,GAAG,CAAC,KAAc,EAAuB,EAAE,CACrD,OAAO,KAAK,KAAK,QAAQ;IACzB,KAAK,KAAK,IAAI;IACd,OAAQ,KAA4B,CAAC,IAAI,KAAK,QAAQ,CAAC;AAEzD;;;;;;;;;;GAUG;AACH,IAAiB,cAAc,CA0C9B;AA1CD,WAAiB,cAAc;IAC7B;;;;;;;;;OASG;IACU,oBAAK,GAAG,CAAC,KAAU,EAAc,EAAE;QAC9C,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,iBAAO,CAAC,UAAU,EAAE,CAAC;QAChD,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QACrE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;QACnD,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,WAAW,CAAC,KAAe,CAAC,CAAC;QACnE,IAAI,OAAO,KAAK,KAAK,SAAS;YAC5B,OAAO,KAAK,CAAC,CAAC,CAAC,iBAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,iBAAO,CAAC,WAAW,EAAE,CAAC;QAC9D,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,qCAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACtE,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,iBAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;QACzE,IAAI,OAAO,KAAK,KAAK,QAAQ;YAC3B,OAAO,iBAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;QACvD,IAAI,OAAO,KAAK,KAAK,UAAU;YAC7B,OAAO,iBAAO,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC;QAC/C,MAAM,IAAI,SAAS,CAAC,+CAA+C,CAAC,CAAC;IACvE,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,CAAC,GAAW,EAAc,EAAE,CAC9C,iBAAO,CAAC,6BAA6B,CACnC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;SAChB,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC;SAC1C,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CACpB,iBAAO,CAAC,wBAAwB,CAC9B,qCAAiB,CAAC,UAAU,CAAC,GAAG,CAAC,EACjC,oBAAK,CAAC,KAAK,CAAC,CACb,CACF,EACH,IAAI,CACL,CAAC;IAEJ,MAAM,UAAU,GAAG,CAAC,KAAqB,EAAc,EAAE,CACvD,iBAAO,CAAC,4BAA4B,CAAC,KAAK,CAAC,GAAG,CAAC,oBAAK,CAAC,EAAE,IAAI,CAAC,CAAC;AACjE,CAAC,EA1CgB,cAAc,aAAd,cAAc,GAAd,cAAc,QA0C9B"}

package/lib/factories/StatementFactory.d.ts

@@ -1,11 +1,36 @@
 import { type Expression, type TypeNode, type VariableStatement } from "@ttsc/factory";
-/** Variable-statement helpers. `constant` emits `const`, `mut` emits `let`. */
+/**
+ * Variable-statement helpers. `constant` emits `const`, `mut` emits `let`.
+ *
+ * @evidence contracts/common.md#principled-implementation The namespace builds `let` and `const` statements from a name, an optional type, and an optional value.
+ * @evidence contracts/common.md#clear-and-simple-design Two functions.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts It only builds nodes.
+ * @evidence contracts/common.md#meaningful-documentation The comment states its purpose.
+ */
 export declare namespace StatementFactory {
+    /**
+     * Builds a `let` statement; a declaration without a type and without an
+     * initializer is typed `any`.
+     *
+     * @evidence contracts/common.md#principled-implementation A `let` without both a type and an initializer would be implicitly any, so the type is stated explicitly in that case.
+     * @evidence contracts/common.md#clear-and-simple-design One expression.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It follows the declaration grammar.
+     * @evidence contracts/common.md#meaningful-documentation The comment states the default type.
+     */
     const mut: (props: {
         name: string;
         type?: TypeNode | undefined;
         initializer?: Expression | undefined;
     }) => VariableStatement;
+    /**
+     * Builds a `const` statement from a name, an optional type, and an optional
+     * value.
+     *
+     * @evidence contracts/common.md#principled-implementation The declaration list carries the const flag and the given parts.
+     * @evidence contracts/common.md#clear-and-simple-design One expression.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It follows the declaration grammar.
+     * @evidence contracts/common.md#meaningful-documentation The comment states its inputs.
+     */
     const constant: (props: {
         name: string;
         type?: TypeNode | undefined;

package/lib/factories/StatementFactory.js

@@ -3,9 +3,25 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.StatementFactory = void 0;
 const factory_1 = require("@ttsc/factory");
 const TypeFactory_1 = require("./TypeFactory");
-/** Variable-statement helpers. `constant` emits `const`, `mut` emits `let`. */
+/**
+ * Variable-statement helpers. `constant` emits `const`, `mut` emits `let`.
+ *
+ * @evidence contracts/common.md#principled-implementation The namespace builds `let` and `const` statements from a name, an optional type, and an optional value.
+ * @evidence contracts/common.md#clear-and-simple-design Two functions.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts It only builds nodes.
+ * @evidence contracts/common.md#meaningful-documentation The comment states its purpose.
+ */
 var StatementFactory;
 (function (StatementFactory) {
+    /**
+     * Builds a `let` statement; a declaration without a type and without an
+     * initializer is typed `any`.
+     *
+     * @evidence contracts/common.md#principled-implementation A `let` without both a type and an initializer would be implicitly any, so the type is stated explicitly in that case.
+     * @evidence contracts/common.md#clear-and-simple-design One expression.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It follows the declaration grammar.
+     * @evidence contracts/common.md#meaningful-documentation The comment states the default type.
+     */
     StatementFactory.mut = (props) => factory_1.factory.createVariableStatement(undefined, factory_1.factory.createVariableDeclarationList([
         factory_1.factory.createVariableDeclaration(props.name, undefined, props.type !== undefined
             ? props.type
@@ -13,6 +29,15 @@ var StatementFactory;
                 ? TypeFactory_1.TypeFactory.keyword("any")
                 : undefined, props.initializer),
     ], factory_1.NodeFlags.Let));
+    /**
+     * Builds a `const` statement from a name, an optional type, and an optional
+     * value.
+     *
+     * @evidence contracts/common.md#principled-implementation The declaration list carries the const flag and the given parts.
+     * @evidence contracts/common.md#clear-and-simple-design One expression.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts It follows the declaration grammar.
+     * @evidence contracts/common.md#meaningful-documentation The comment states its inputs.
+     */
     StatementFactory.constant = (props) => factory_1.factory.createVariableStatement(undefined, factory_1.factory.createVariableDeclarationList([
         factory_1.factory.createVariableDeclaration(props.name, undefined, props.type, props.value),
     ], factory_1.NodeFlags.Const));

package/lib/factories/StatementFactory.js.map

@@ -1 +1 @@
-{"version":3,"file":"StatementFactory.js","sourceRoot":"","sources":["../../src/factories/StatementFactory.ts"],"names":[],"mappings":";;;AAAA,2CAMuB;AAEvB,+CAA4C;AAE5C,+EAA+E;AAC/E,IAAiB,gBAAgB,CA4ChC;AA5CD,WAAiB,gBAAgB;IAClB,oBAAG,GAAG,CAAC,KAInB,EAAqB,EAAE,CACtB,iBAAO,CAAC,uBAAuB,CAC7B,SAAS,EACT,iBAAO,CAAC,6BAA6B,CACnC;QACE,iBAAO,CAAC,yBAAyB,CAC/B,KAAK,CAAC,IAAI,EACV,SAAS,EACT,KAAK,CAAC,IAAI,KAAK,SAAS;YACtB,CAAC,CAAC,KAAK,CAAC,IAAI;YACZ,CAAC,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS;gBAC/B,CAAC,CAAC,yBAAW,CAAC,OAAO,CAAC,KAAK,CAAC;gBAC5B,CAAC,CAAC,SAAS,EACf,KAAK,CAAC,WAAW,CAClB;KACF,EACD,mBAAS,CAAC,GAAG,CACd,CACF,CAAC;IAES,yBAAQ,GAAG,CAAC,KAIxB,EAAqB,EAAE,CACtB,iBAAO,CAAC,uBAAuB,CAC7B,SAAS,EACT,iBAAO,CAAC,6BAA6B,CACnC;QACE,iBAAO,CAAC,yBAAyB,CAC/B,KAAK,CAAC,IAAI,EACV,SAAS,EACT,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,KAAK,CACZ;KACF,EACD,mBAAS,CAAC,KAAK,CAChB,CACF,CAAC;AACN,CAAC,EA5CgB,gBAAgB,aAAhB,gBAAgB,GAAhB,gBAAgB,QA4ChC"}
+{"version":3,"file":"StatementFactory.js","sourceRoot":"","sources":["../../src/factories/StatementFactory.ts"],"names":[],"mappings":";;;AAAA,2CAMuB;AAEvB,+CAA4C;AAE5C;;;;;;;GAOG;AACH,IAAiB,gBAAgB,CA8DhC;AA9DD,WAAiB,gBAAgB;IAC/B;;;;;;;;OAQG;IACU,oBAAG,GAAG,CAAC,KAInB,EAAqB,EAAE,CACtB,iBAAO,CAAC,uBAAuB,CAC7B,SAAS,EACT,iBAAO,CAAC,6BAA6B,CACnC;QACE,iBAAO,CAAC,yBAAyB,CAC/B,KAAK,CAAC,IAAI,EACV,SAAS,EACT,KAAK,CAAC,IAAI,KAAK,SAAS;YACtB,CAAC,CAAC,KAAK,CAAC,IAAI;YACZ,CAAC,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS;gBAC/B,CAAC,CAAC,yBAAW,CAAC,OAAO,CAAC,KAAK,CAAC;gBAC5B,CAAC,CAAC,SAAS,EACf,KAAK,CAAC,WAAW,CAClB;KACF,EACD,mBAAS,CAAC,GAAG,CACd,CACF,CAAC;IAEJ;;;;;;;;OAQG;IACU,yBAAQ,GAAG,CAAC,KAIxB,EAAqB,EAAE,CACtB,iBAAO,CAAC,uBAAuB,CAC7B,SAAS,EACT,iBAAO,CAAC,6BAA6B,CACnC;QACE,iBAAO,CAAC,yBAAyB,CAC/B,KAAK,CAAC,IAAI,EACV,SAAS,EACT,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,KAAK,CACZ;KACF,EACD,mBAAS,CAAC,KAAK,CAChB,CACF,CAAC;AACN,CAAC,EA9DgB,gBAAgB,aAAhB,gBAAgB,GAAhB,gBAAgB,QA8DhC"}

package/lib/factories/SupportedStringFormats.d.ts

@@ -0,0 +1,6 @@
+/**
+ * The string formats of the OpenAPI document that the typia `Format` tag
+ * validates, so a schema carrying one of them is generated as a `Format` tag
+ * and a schema carrying any other format stays a plain `string`.
+ */
+export declare const SUPPORTED_STRING_FORMATS: ReadonlySet<string>;