@atscript/typescript 0.0.27 → 0.0.29

package/dist/index.cjs

@@ -27,7 +27,7 @@ const __atscript_core = __toESM(require("@atscript/core"));
 const path = __toESM(require("path"));
 
 //#region packages/typescript/src/codegen/code-printer.ts
-function _define_property$3(obj, key, value) {
+function _define_property$4(obj, key, value) {
 	if (key in obj) Object.defineProperty(obj, key, {
 		value,
 		enumerable: true,
@@ -120,17 +120,17 @@ else this.write(closing);
 		return " ".repeat(this.indentLevel * this.indentSize);
 	}
 	constructor() {
-		_define_property$3(this, "lines", []);
-		_define_property$3(this, "currentLine", "");
-		_define_property$3(this, "indentLevel", 0);
-		_define_property$3(this, "indentSize", 2);
-		_define_property$3(this, "blockStack", []);
+		_define_property$4(this, "lines", []);
+		_define_property$4(this, "currentLine", "");
+		_define_property$4(this, "indentLevel", 0);
+		_define_property$4(this, "indentSize", 2);
+		_define_property$4(this, "blockStack", []);
 	}
 };
 
 //#endregion
 //#region packages/typescript/src/codegen/base-renderer.ts
-function _define_property$2(obj, key, value) {
+function _define_property$3(obj, key, value) {
 	if (key in obj) Object.defineProperty(obj, key, {
 		value,
 		enumerable: true,
@@ -152,7 +152,7 @@ var BaseRenderer = class extends CodePrinter {
 	renderInterface(node) {}
 	renderType(node) {}
 	transformFromPath(path$2) {
-		return path$2 + ".as";
+		return `${path$2}.as`;
 	}
 	renderImport(node) {
 		const def = node.getDefinition();
@@ -189,7 +189,7 @@ var BaseRenderer = class extends CodePrinter {
 		}
 	}
 	constructor(doc) {
-		super(), _define_property$2(this, "doc", void 0), _define_property$2(this, "unused", void 0), this.doc = doc;
+		super(), _define_property$3(this, "doc", void 0), _define_property$3(this, "unused", void 0), this.doc = doc;
 		this.unused = new Set(this.doc.getUnusedTokens().map((t) => t.text));
 	}
 };
@@ -207,7 +207,17 @@ function escapeQuotes(str) {
 
 //#endregion
 //#region packages/typescript/src/codegen/type-renderer.ts
-var TypeRenderer = class extends BaseRenderer {
+function _define_property$2(obj, key, value) {
+	if (key in obj) Object.defineProperty(obj, key, {
+		value,
+		enumerable: true,
+		configurable: true,
+		writable: true
+	});
+else obj[key] = value;
+	return obj;
+}
+var TypeRenderer = class TypeRenderer extends BaseRenderer {
 	pre() {
 		this.writeln("// prettier-ignore-start");
 		this.writeln("/* eslint-disable */");
@@ -222,6 +232,11 @@ var TypeRenderer = class extends BaseRenderer {
 	post() {
 		this.writeln("// prettier-ignore-end");
 	}
+	renderTypeDefString(def) {
+		const newThis = new TypeRenderer(this.doc, this.opts);
+		newThis.renderTypeDef(def);
+		return newThis.toString();
+	}
 	renderTypeDef(def) {
 		if (!def) {
 			this.write("unknown");
@@ -270,33 +285,33 @@ var TypeRenderer = class extends BaseRenderer {
 	renderStructure(struct, asClass) {
 		this.blockln("{}");
 		const patterns = [];
-		let hasProp = false;
+		const propsDefs = new Set();
 		for (const prop of Array.from(struct.props.values())) {
 			if (prop.token("identifier")?.pattern) {
 				patterns.push(prop);
 				continue;
 			}
-			hasProp = true;
 			const optional = !!prop.token("optional");
 			this.write(wrapProp(prop.id), optional ? "?" : "", ": ");
-			this.renderTypeDef(prop.getDefinition());
-			this.writeln();
+			const renderedDef = this.renderTypeDefString(prop.getDefinition());
+			propsDefs.add(renderedDef);
+			renderedDef.split("\n").forEach((l) => this.writeln(l));
 		}
 		if (patterns.length) {
 			this.write(`[key: string]: `);
-			if (hasProp) this.writeln("any");
-else if (patterns.length === 1) {
-				this.renderTypeDef(patterns[0].getDefinition());
-				this.writeln();
-			} else {
-				this.indent();
-				for (const prop of patterns) {
+			if (patterns.length > 0) {
+				for (const prop of patterns) propsDefs.add(this.renderTypeDefString(prop.getDefinition()));
+				const defs = Array.from(propsDefs);
+				if (defs.length > 1) {
+					this.indent();
+					for (const def of defs) {
+						this.writeln();
+						this.write("| ");
+						def.split("\n").forEach((l) => this.write(l.trim()));
+					}
+					this.unindent();
 					this.writeln();
-					this.write("| ");
-					this.renderTypeDef(prop.getDefinition());
-				}
-				this.unindent();
-				this.writeln();
+				} else defs[0].split("\n").forEach((l) => this.writeln(l));
 			}
 		}
 		if (asClass) {
@@ -304,6 +319,7 @@ else if (patterns.length === 1) {
 			this.writeln(`static type: TAtscriptTypeObject<keyof ${asClass}>`);
 			this.writeln(`static metadata: TMetadataMap<AtscriptMetadata>`);
 			this.writeln(`static validator: <TT extends TAtscriptAnnotatedTypeConstructor = ${asClass}>(opts?: Partial<TValidatorOptions>) => Validator<TT>`);
+			this.writeln("static toJsonSchema: () => any");
 		}
 		this.pop();
 	}
@@ -346,6 +362,7 @@ else if ((0, __atscript_core.isPrimitive)(realDef)) typeDef = "TAtscriptTypeFina
 		this.writeln(`const type: ${typeDef}`);
 		this.writeln(`const metadata: TMetadataMap<AtscriptMetadata>`);
 		this.writeln(`const validator: <TT extends TAtscriptAnnotatedTypeConstructor = ${node.id}>(opts?: Partial<TValidatorOptions>) => Validator<TT>`);
+		this.writeln("const toJsonSchema: () => any");
 		this.popln();
 	}
 	renderJsDoc(node) {
@@ -356,6 +373,9 @@ else if ((0, __atscript_core.isPrimitive)(realDef)) typeDef = "TAtscriptTypeFina
 		this.writeln(` * @see {@link ./${this.doc.name}${rangeStr}}`);
 		this.writeln(` */`);
 	}
+	constructor(doc, opts) {
+		super(doc), _define_property$2(this, "opts", void 0), this.opts = opts;
+	}
 };
 function renderPrimitiveTypeDef(def) {
 	if (!def) return "unknown";
@@ -375,7 +395,7 @@ function renderPrimitiveTypeDef(def) {
 }
 
 //#endregion
-//#region packages/typescript/src/codegen/js-renderer.ts
+//#region packages/typescript/src/validator.ts
 function _define_property$1(obj, key, value) {
 	if (key in obj) Object.defineProperty(obj, key, {
 		value,
@@ -386,352 +406,64 @@ function _define_property$1(obj, key, value) {
 else obj[key] = value;
 	return obj;
 }
-var JsRenderer = class extends BaseRenderer {
-	pre() {
-		this.writeln("// prettier-ignore-start");
-		this.writeln("/* eslint-disable */");
-		this.writeln("import { defineAnnotatedType as $ } from \"@atscript/typescript\"");
-	}
-	post() {
-		for (const node of this.postAnnotate) {
-			this.annotateType(node.getDefinition(), node.id);
-			this.indent().defineMetadata(node).unindent();
-			this.writeln();
-		}
-		this.writeln("// prettier-ignore-end");
-		super.post();
+const regexCache = new Map();
+var Validator = class {
+	isLimitExceeded() {
+		if (this.stackErrors.length > 0) return this.stackErrors[this.stackErrors.length - 1].length >= this.opts.errorLimit;
+		return this.errors.length >= this.opts.errorLimit;
 	}
-	renderInterface(node) {
-		this.writeln();
-		const exported = node.token("export")?.text === "export";
-		this.write(exported ? "export " : "");
-		this.write(`class ${node.id} `);
-		this.blockln("{}");
-		this.writeln("static __is_atscript_annotated_type = true");
-		this.writeln("static type = {}");
-		this.writeln("static metadata = new Map()");
-		this.popln();
-		this.postAnnotate.push(node);
-		this.writeln();
+	push(name) {
+		this.stackPath.push(name);
+		this.stackErrors.push([]);
 	}
-	renderType(node) {
-		this.writeln();
-		const exported = node.token("export")?.text === "export";
-		this.write(exported ? "export " : "");
-		this.write(`class ${node.id} `);
-		this.blockln("{}");
-		this.writeln("static __is_atscript_annotated_type = true");
-		this.writeln("static type = {}");
-		this.writeln("static metadata = new Map()");
-		this.popln();
-		this.postAnnotate.push(node);
-		this.writeln();
+	pop(saveErrors) {
+		this.stackPath.pop();
+		const popped = this.stackErrors.pop();
+		if (saveErrors && popped?.length) popped.forEach((error) => {
+			this.error(error.message, error.path, error.details);
+		});
+		return popped;
 	}
-	annotateType(_node, name) {
-		if (!_node) return this;
-		const node = this.doc.mergeIntersection(_node);
-		let kind = node.entity;
-		switch (node.entity) {
-			case "ref": {
-				const ref = node;
-				const decl = this.doc.unwindType(ref.id, ref.chain)?.def;
-				if ((0, __atscript_core.isPrimitive)(decl)) {
-					this.annotateType(decl, name);
-					return this;
-				}
-				const chain = ref.hasChain ? `, [${ref.chain.map((c) => `"${escapeQuotes(c.text)}"`).join(", ")}]` : "";
-				this.writeln(`$(${name ? `"", ${name}` : ""})`).indent().writeln(`.refTo(${ref.id}${chain})`).unindent();
-				return this;
-			}
-			case "primitive": {
-				this.definePrimitive(node, name);
-				return this;
-			}
-			case "const": {
-				this.writeln(`$(${name ? `"", ${name}` : ""})`).indent().defineConst(node).unindent();
-				return this;
-			}
-			case "structure": {
-				this.writeln(`$("object"${name ? `, ${name}` : ""})`).indent().defineObject(node).unindent();
-				return this;
-			}
-			case "group": {
-				kind = node.op === "|" ? "union" : "intersection";
-				this.writeln(`$("${kind}"${name ? `, ${name}` : ""})`).indent().defineGroup(node).unindent();
-				return this;
-			}
-			case "tuple": {
-				this.writeln(`$("tuple"${name ? `, ${name}` : ""})`).indent().defineGroup(node).unindent();
-				return this;
-			}
-			case "array": {
-				this.writeln(`$("array"${name ? `, ${name}` : ""})`).indent().defineArray(node).unindent();
-				return this;
-			}
-			default: {
-				console.log("!!!!!!! UNKNOWN ", node.entity);
-				return this;
-			}
-		}
+	clear() {
+		this.stackErrors[this.stackErrors.length - 1] = [];
 	}
-	defineConst(node) {
-		const t = node.token("identifier")?.type;
-		const designType = t === "text" ? "string" : t === "number" ? "number" : "unknown";
-		const type = t === "text" ? "String" : t === "number" ? "Number" : "undefined";
-		this.writeln(`.designType("${escapeQuotes(designType)}")`);
-		this.writeln(`.value(${t === "text" ? `"${escapeQuotes(node.id)}"` : node.id})`);
-		return this;
+	error(message, path$2, details) {
+		const errors = this.stackErrors[this.stackErrors.length - 1] || this.errors;
+		const error = {
+			path: path$2 || this.path,
+			message
+		};
+		if (details?.length) error.details = details;
+		errors.push(error);
 	}
-	definePrimitive(node, name) {
-		this.renderPrimitiveDef(node.id === "never" ? "never" : node.config.type, name);
-		this.writeln(`  .tags(${Array.from(node.tags).map((f) => `"${escapeQuotes(f)}"`).join(", ")})`);
-		return this;
+	throw() {
+		throw new ValidatorError(this.errors);
 	}
-	renderPrimitiveDef(def, name) {
-		const d = (t) => [`"${t || ""}"`, name].filter(Boolean).join(", ").replace(/^""$/, "");
-		if (!def) return this.writeln(`$(${d()}).designType("any")`);
-		if (typeof def === "string") return this.writeln(`$(${d()}).designType("${def === "void" ? "undefined" : def}")`);
-		switch (def.kind) {
-			case "final": return this.writeln(`$(${d()}).designType("${def.value === "void" ? "undefined" : def.value}")`);
-			case "union":
-			case "intersection":
-			case "tuple":
-				this.writeln(`$(${d(def.kind)})`);
-				this.indent();
-				for (const itemDef of def.items) {
-					this.write(`.item(`);
-					this.indent();
-					this.renderPrimitiveDef(itemDef);
-					this.writeln(".$type");
-					this.unindent();
-					this.write(`)`);
-				}
-				this.unindent();
-				return;
-			case "array":
-				this.writeln(`$(${d("array")})`);
-				this.indent();
-				this.write(".of(");
-				this.indent();
-				this.renderPrimitiveDef(def.of);
-				this.writeln(`.$type`);
-				this.unindent();
-				this.writeln(`)`);
-				this.unindent();
-				return;
-			case "object":
-				this.writeln(`$(${d("object")})`);
-				this.indent();
-				for (const [key, propDef] of Object.entries(def.props)) {
-					const optional = typeof propDef === "object" && propDef.optional;
-					this.writeln(`.prop(`);
-					this.indent();
-					this.writeln(`"${escapeQuotes(key)}",`);
-					this.renderPrimitiveDef(propDef);
-					if (optional) this.writeln(".optional()");
-					this.writeln(".$type");
-					this.unindent();
-					this.write(`)`);
-				}
-				for (const [key, propDef] of Object.entries(def.propsPatterns)) {
-					const optional = typeof propDef === "object" && propDef.optional;
-					this.writeln(`.propPattern(`);
-					this.indent();
-					this.writeln(`${key},`);
-					this.renderPrimitiveDef(propDef);
-					if (optional) this.writeln(".optional()");
-					this.writeln(".$type");
-					this.unindent();
-					this.write(`)`);
-				}
-				this.unindent();
-				return;
-			default: return this.writeln(`$(${d()}).designType("any")`);
+	validate(value, safe) {
+		this.push("");
+		this.errors = [];
+		this.stackErrors = [];
+		const passed = this.validateSafe(this.def, value);
+		this.pop(!passed);
+		if (!passed) {
+			if (safe) return false;
+			this.throw();
 		}
+		return true;
 	}
-	defineObject(node) {
-		const props = Array.from(node.props.values());
-		for (const prop of props) {
-			const pattern = prop.token("identifier")?.pattern;
-			const optional = !!prop.token("optional");
-			if (pattern) {
-				this.writeln(`.propPattern(`);
-				this.indent();
-				this.writeln(`/${pattern.source}/${pattern.flags},`);
-			} else {
-				this.writeln(`.prop(`);
-				this.indent();
-				this.writeln(`"${escapeQuotes(prop.id)}",`);
-			}
-			this.annotateType(prop.getDefinition());
-			this.indent().defineMetadata(prop).unindent();
-			if (optional) this.writeln("  .optional()");
-			this.writeln("  .$type");
-			this.unindent();
-			this.write(`)`);
+	validateSafe(def, value) {
+		if (this.isLimitExceeded()) return false;
+		if (!isAnnotatedType(def)) throw new Error("Can not validate not-annotated type");
+		if (typeof this.opts.replace === "function") def = this.opts.replace(def, this.path);
+		if (def.optional && value === undefined) return true;
+		for (const plugin of this.opts.plugins) {
+			const result = plugin(this, def, value);
+			if (result === false || result === true) return result;
 		}
-		this.writeln();
-		return this;
-	}
-	defineGroup(node) {
-		const items = node.unwrap();
-		for (const item of items) this.write(".item(").indent().annotateType(item).write("  .$type").writeln(`)`).unindent();
-		return this;
+		return this.validateAnnotatedType(def, value);
 	}
-	defineArray(node) {
-		this.write(".of(").indent().annotateType(node.getDefinition()).write("  .$type").writeln(`)`).unindent();
-		return this;
-	}
-	defineMetadata(node) {
-		const annotations = this.doc.evalAnnotationsForNode(node);
-		annotations?.forEach((an) => {
-			this.resolveAnnotationValue(node, an);
-		});
-		return this;
-	}
-	resolveAnnotationValue(node, an) {
-		const spec = this.doc.resolveAnnotation(an.name);
-		let targetValue = "true";
-		let multiple = false;
-		if (spec) {
-			multiple = spec.config.multiple;
-			const length = spec.arguments.length;
-			if (length !== 0) if (Array.isArray(spec.config.argument)) {
-				targetValue = "{ ";
-				let i = 0;
-				for (const aSpec of spec.arguments) {
-					if (an.args[i]) targetValue += `${wrapProp(aSpec.name)}: ${aSpec.type === "string" ? `"${escapeQuotes(an.args[i]?.text)}"` : an.args[i]?.text}${i === length - 1 ? "" : ", "} `;
-else {}
-					i++;
-				}
-				targetValue += "}";
-			} else {
-				const aSpec = spec.arguments[0];
-				if (an.args[0]) targetValue = aSpec.type === "string" ? `"${escapeQuotes(an.args[0]?.text)}"` : an.args[0]?.text;
-else targetValue = "true";
-			}
-		} else {
-			multiple = node.countAnnotations(an.name) > 1 || an.args.length > 1;
-			if (an.args.length) targetValue = an.args[0].type === "text" ? `"${escapeQuotes(an.args[0].text)}"` : an.args[0].text;
-		}
-		if (multiple) this.writeln(`.annotate("${escapeQuotes(an.name)}", ${targetValue}, true)`);
-else this.writeln(`.annotate("${escapeQuotes(an.name)}", ${targetValue})`);
-	}
-	constructor(...args) {
-		super(...args), _define_property$1(this, "postAnnotate", []);
-	}
-};
-
-//#endregion
-//#region packages/typescript/src/plugin.ts
-const tsPlugin = () => {
-	return {
-		name: "typesccript",
-		render(doc, format) {
-			if (format === "dts") return [{
-				fileName: `${doc.name}.d.ts`,
-				content: new TypeRenderer(doc).render()
-			}];
-			if (format === "js") return [{
-				fileName: `${doc.name}.js`,
-				content: new JsRenderer(doc).render()
-			}];
-		},
-		async buildEnd(output, format, repo) {
-			if (format === "dts") {
-				const annotations = await repo.getUsedAnnotations();
-				const tags = await repo.getPrimitivesTags() || new Set();
-				let rendered = [];
-				for (const [key, val] of Object.entries(annotations)) {
-					const multiple = val.multiple;
-					let typeLine = Array.from(val.types).map((t) => {
-						if (t.type === "object") return `{ ${Object.entries(t.props).map(([k, v]) => `${wrapProp(k)}${v.optional ? "?" : ""}: ${v.type}`).join(", ")} }`;
-else return t.optional ? `${t.type} | true` : t.type;
-					}).join(" | ");
-					rendered.push(`${wrapProp(key)}: ${multiple ? "(" : ""}${typeLine}${multiple ? ")[]" : ""}`);
-				}
-				let renderedTags = Array.from(tags).map((f) => `"${escapeQuotes(f)}"`).join(" | ");
-				output.push({
-					content: "// prettier-ignore-start\n/* eslint-disable */\n/**\n * 🪄 This file was generated by Atscript\n * It is generated based on annotations used in this project\n * Do not edit this file!\n *\n * Use `npx asc -f dts` command to re-generate this file\n */\nexport {}\n\ndeclare global {\n  interface AtscriptMetadata {\n    " + rendered.join("\n    ") + "\n  }\n" + "  type AtscriptPrimitiveTags = " + renderedTags + "\n" + "}\n" + "// prettier-ignore-end",
-					fileName: "atscript.d.ts",
-					source: "",
-					target: path.default.join(repo.root, "atscript.d.ts")
-				});
-			}
-		}
-	};
-};
-
-//#endregion
-//#region packages/typescript/src/validator.ts
-function _define_property(obj, key, value) {
-	if (key in obj) Object.defineProperty(obj, key, {
-		value,
-		enumerable: true,
-		configurable: true,
-		writable: true
-	});
-else obj[key] = value;
-	return obj;
-}
-const regexCache = new Map();
-var Validator = class {
-	isLimitExceeded() {
-		if (this.stackErrors.length > 0) return this.stackErrors[this.stackErrors.length - 1].length >= this.opts.errorLimit;
-		return this.errors.length >= this.opts.errorLimit;
-	}
-	push(name) {
-		this.stackPath.push(name);
-		this.stackErrors.push([]);
-	}
-	pop(saveErrors) {
-		this.stackPath.pop();
-		const popped = this.stackErrors.pop();
-		if (saveErrors && popped?.length) popped.forEach((error) => {
-			this.error(error.message, error.path, error.details);
-		});
-		return popped;
-	}
-	clear() {
-		this.stackErrors[this.stackErrors.length - 1] = [];
-	}
-	error(message, path$2, details) {
-		const errors = this.stackErrors[this.stackErrors.length - 1] || this.errors;
-		const error = {
-			path: path$2 || this.path,
-			message
-		};
-		if (details?.length) error.details = details;
-		errors.push(error);
-	}
-	throw() {
-		throw new ValidatorError(this.errors);
-	}
-	validate(value, safe) {
-		this.push("");
-		this.errors = [];
-		this.stackErrors = [];
-		const passed = this.validateSafe(this.def, value);
-		this.pop(!passed);
-		if (!passed) {
-			if (safe) return false;
-			this.throw();
-		}
-		return true;
-	}
-	validateSafe(def, value) {
-		if (this.isLimitExceeded()) return false;
-		if (!isAnnotatedType(def)) throw new Error("Can not validate not-annotated type");
-		if (typeof this.opts.replace === "function") def = this.opts.replace(def, this.path);
-		if (def.optional && value === undefined) return true;
-		for (const plugin of this.opts.plugins) {
-			const result = plugin(this, def, value);
-			if (result === false || result === true) return result;
-		}
-		return this.validateAnnotatedType(def, value);
-	}
-	get path() {
-		return this.stackPath.slice(1).join(".");
+	get path() {
+		return this.stackPath.slice(1).join(".");
 	}
 	validateAnnotatedType(def, value) {
 		switch (def.type.kind) {
@@ -972,11 +704,11 @@ else {
 		return true;
 	}
 	constructor(def, opts) {
-		_define_property(this, "def", void 0);
-		_define_property(this, "opts", void 0);
-		_define_property(this, "errors", void 0);
-		_define_property(this, "stackErrors", void 0);
-		_define_property(this, "stackPath", void 0);
+		_define_property$1(this, "def", void 0);
+		_define_property$1(this, "opts", void 0);
+		_define_property$1(this, "errors", void 0);
+		_define_property$1(this, "stackErrors", void 0);
+		_define_property$1(this, "stackPath", void 0);
 		this.def = def;
 		this.errors = [];
 		this.stackErrors = [];
@@ -992,7 +724,7 @@ else {
 };
 var ValidatorError = class extends Error {
 	constructor(errors) {
-		super(`${errors[0].path ? errors[0].path + ": " : ""}${errors[0].message}`), _define_property(this, "errors", void 0), _define_property(this, "name", void 0), this.errors = errors, this.name = "Validation Error";
+		super(`${errors[0].path ? errors[0].path + ": " : ""}${errors[0].message}`), _define_property$1(this, "errors", void 0), _define_property$1(this, "name", void 0), this.errors = errors, this.name = "Validation Error";
 	}
 };
 
@@ -1125,6 +857,503 @@ function isAnnotatedTypeOfPrimitive(t) {
 	return false;
 }
 
+//#endregion
+//#region packages/typescript/src/json-schema.ts
+function buildJsonSchema(type) {
+	const build = (def) => {
+		const t = def.type;
+		const meta = def.metadata;
+		switch (t.kind) {
+			case "object": {
+				const obj = t;
+				const properties = {};
+				const required = [];
+				for (const [key, val] of obj.props.entries()) {
+					properties[key] = build(val);
+					if (!val.optional) required.push(key);
+				}
+				const schema = {
+					type: "object",
+					properties
+				};
+				if (required.length) schema.required = required;
+				return schema;
+			}
+			case "array": {
+				const arr = t;
+				const schema = {
+					type: "array",
+					items: build(arr.of)
+				};
+				const minLength = meta.get("expect.minLength");
+				if (typeof minLength === "number") schema.minItems = minLength;
+				const maxLength = meta.get("expect.maxLength");
+				if (typeof maxLength === "number") schema.maxItems = maxLength;
+				return schema;
+			}
+			case "union": {
+				const grp = t;
+				return { anyOf: grp.items.map(build) };
+			}
+			case "intersection": {
+				const grp = t;
+				return { allOf: grp.items.map(build) };
+			}
+			case "tuple": {
+				const grp = t;
+				return {
+					type: "array",
+					items: grp.items.map(build),
+					additionalItems: false
+				};
+			}
+			case "": {
+				const fin = t;
+				const schema = {};
+				if (fin.value !== undefined) schema.const = fin.value;
+				if (fin.designType && fin.designType !== "any") {
+					schema.type = fin.designType === "undefined" ? "null" : fin.designType;
+					if (schema.type === "number" && meta.get("expect.int")) schema.type = "integer";
+				}
+				if (schema.type === "string") {
+					const minLength = meta.get("expect.minLength");
+					if (typeof minLength === "number") schema.minLength = minLength;
+					const maxLength = meta.get("expect.maxLength");
+					if (typeof maxLength === "number") schema.maxLength = maxLength;
+					const patterns = meta.get("expect.pattern");
+					if (patterns?.length) if (patterns.length === 1) schema.pattern = patterns[0].pattern;
+else schema.allOf = (schema.allOf || []).concat(patterns.map((p) => ({ pattern: p.pattern })));
+				}
+				if (schema.type === "number" || schema.type === "integer") {
+					const min = meta.get("expect.min");
+					if (typeof min === "number") schema.minimum = min;
+					const max = meta.get("expect.max");
+					if (typeof max === "number") schema.maximum = max;
+				}
+				return schema;
+			}
+			default: return {};
+		}
+	};
+	return build(type);
+}
+
+//#endregion
+//#region packages/typescript/src/codegen/js-renderer.ts
+function _define_property(obj, key, value) {
+	if (key in obj) Object.defineProperty(obj, key, {
+		value,
+		enumerable: true,
+		configurable: true,
+		writable: true
+	});
+else obj[key] = value;
+	return obj;
+}
+var JsRenderer = class extends BaseRenderer {
+	pre() {
+		this.writeln("// prettier-ignore-start");
+		this.writeln("/* eslint-disable */");
+		const imports = ["defineAnnotatedType as $"];
+		if (!this.opts?.preRenderJsonSchema) imports.push("buildJsonSchema as $$");
+		this.writeln(`import { ${imports.join(", ")} } from "@atscript/typescript"`);
+	}
+	post() {
+		for (const node of this.postAnnotate) {
+			this.annotateType(node.getDefinition(), node.id);
+			this.indent().defineMetadata(node).unindent();
+			this.writeln();
+		}
+		this.writeln("// prettier-ignore-end");
+		super.post();
+	}
+	renderInterface(node) {
+		this.writeln();
+		const exported = node.token("export")?.text === "export";
+		this.write(exported ? "export " : "");
+		this.write(`class ${node.id} `);
+		this.blockln("{}");
+		this.writeln("static __is_atscript_annotated_type = true");
+		this.writeln("static type = {}");
+		this.writeln("static metadata = new Map()");
+		if (this.opts?.preRenderJsonSchema) {
+			const schema = JSON.stringify(buildJsonSchema(this.toAnnotatedType(node)));
+			this.writeln(`static _jsonSchema = ${schema}`);
+			this.writeln("static toJsonSchema() {");
+			this.indent().writeln("return this._jsonSchema").unindent();
+			this.writeln("}");
+		} else {
+			this.writeln("static _jsonSchema");
+			this.writeln("static toJsonSchema() {");
+			this.indent().writeln("return this._jsonSchema ?? (this._jsonSchema = $$(this))").unindent();
+			this.writeln("}");
+		}
+		this.popln();
+		this.postAnnotate.push(node);
+		this.writeln();
+	}
+	renderType(node) {
+		this.writeln();
+		const exported = node.token("export")?.text === "export";
+		this.write(exported ? "export " : "");
+		this.write(`class ${node.id} `);
+		this.blockln("{}");
+		this.writeln("static __is_atscript_annotated_type = true");
+		this.writeln("static type = {}");
+		this.writeln("static metadata = new Map()");
+		if (this.opts?.jsonSchema) if (typeof this.opts.jsonSchema === "object" && this.opts.jsonSchema.preRender) {
+			const schema = JSON.stringify(buildJsonSchema(this.toAnnotatedType(node)));
+			this.writeln(`static _jsonSchema = ${schema}`);
+			this.writeln("static toJsonSchema() {");
+			this.indent().writeln("return this._jsonSchema").unindent();
+			this.writeln("}");
+		} else {
+			this.writeln("static _jsonSchema");
+			this.writeln("static toJsonSchema() {");
+			this.indent().writeln("return this._jsonSchema ?? (this._jsonSchema = $$(this))").unindent();
+			this.writeln("}");
+		}
+		this.popln();
+		this.postAnnotate.push(node);
+		this.writeln();
+	}
+	toAnnotatedType(node) {
+		return this.toAnnotatedHandle(node).$type;
+	}
+	toAnnotatedHandle(node, skipAnnotations = false) {
+		if (!node) return defineAnnotatedType();
+		switch (node.entity) {
+			case "interface":
+			case "type": {
+				const def = node.getDefinition();
+				const handle = this.toAnnotatedHandle(def, true);
+				return skipAnnotations ? handle : this.applyExpectAnnotations(handle, this.doc.evalAnnotationsForNode(node));
+			}
+			case "prop": {
+				const prop = node;
+				const def = prop.getDefinition();
+				const handle = this.toAnnotatedHandle(def, true);
+				if (!skipAnnotations) {
+					this.applyExpectAnnotations(handle, this.doc.evalAnnotationsForNode(prop));
+					if (prop.token("optional")) handle.optional();
+				}
+				return handle;
+			}
+			case "ref": {
+				const ref = node;
+				const decl = this.doc.unwindType(ref.id, ref.chain)?.def;
+				const handle = this.toAnnotatedHandle(decl, true);
+				return skipAnnotations ? handle : this.applyExpectAnnotations(handle, this.doc.evalAnnotationsForNode(node));
+			}
+			case "primitive": {
+				const prim = node;
+				const handle = defineAnnotatedType();
+				handle.designType(prim.id === "never" ? "never" : prim.config.type);
+				if (!skipAnnotations) this.applyExpectAnnotations(handle, this.doc.evalAnnotationsForNode(node));
+				return handle;
+			}
+			case "const": {
+				const c = node;
+				const handle = defineAnnotatedType();
+				const t = c.token("identifier")?.type;
+				handle.designType(t === "number" ? "number" : "string");
+				handle.value(t === "number" ? Number(c.id) : c.id);
+				return skipAnnotations ? handle : this.applyExpectAnnotations(handle, this.doc.evalAnnotationsForNode(node));
+			}
+			case "structure": {
+				const struct = node;
+				const handle = defineAnnotatedType("object");
+				for (const prop of Array.from(struct.props.values())) {
+					const propHandle = this.toAnnotatedHandle(prop);
+					const pattern = prop.token("identifier")?.pattern;
+					if (pattern) handle.propPattern(pattern, propHandle.$type);
+else handle.prop(prop.id, propHandle.$type);
+				}
+				return skipAnnotations ? handle : this.applyExpectAnnotations(handle, this.doc.evalAnnotationsForNode(node));
+			}
+			case "group": {
+				const group = node;
+				const kind = group.op === "|" ? "union" : "intersection";
+				const handle = defineAnnotatedType(kind);
+				for (const item of group.unwrap()) handle.item(this.toAnnotatedHandle(item).$type);
+				return skipAnnotations ? handle : this.applyExpectAnnotations(handle, this.doc.evalAnnotationsForNode(node));
+			}
+			case "tuple": {
+				const group = node;
+				const handle = defineAnnotatedType("tuple");
+				for (const item of group.unwrap()) handle.item(this.toAnnotatedHandle(item).$type);
+				return skipAnnotations ? handle : this.applyExpectAnnotations(handle, this.doc.evalAnnotationsForNode(node));
+			}
+			case "array": {
+				const arr = node;
+				const handle = defineAnnotatedType("array");
+				handle.of(this.toAnnotatedHandle(arr.getDefinition()).$type);
+				return skipAnnotations ? handle : this.applyExpectAnnotations(handle, this.doc.evalAnnotationsForNode(node));
+			}
+			default: {
+				const handle = defineAnnotatedType();
+				return skipAnnotations ? handle : this.applyExpectAnnotations(handle, this.doc.evalAnnotationsForNode(node));
+			}
+		}
+	}
+	applyExpectAnnotations(handle, annotations) {
+		annotations?.forEach((a) => {
+			switch (a.name) {
+				case "expect.minLength":
+				case "expect.maxLength":
+				case "expect.min":
+				case "expect.max":
+					if (a.args[0]) handle.annotate(a.name, Number(a.args[0].text));
+					break;
+				case "expect.pattern":
+					handle.annotate(a.name, {
+						pattern: a.args[0]?.text || "",
+						flags: a.args[1]?.text,
+						message: a.args[2]?.text
+					}, true);
+					break;
+				case "expect.int":
+					handle.annotate(a.name, true);
+					break;
+				default:
+			}
+		});
+		return handle;
+	}
+	annotateType(_node, name) {
+		if (!_node) return this;
+		const node = this.doc.mergeIntersection(_node);
+		let kind = node.entity;
+		switch (node.entity) {
+			case "ref": {
+				const ref = node;
+				const decl = this.doc.unwindType(ref.id, ref.chain)?.def;
+				if ((0, __atscript_core.isPrimitive)(decl)) {
+					this.annotateType(decl, name);
+					return this;
+				}
+				const chain = ref.hasChain ? `, [${ref.chain.map((c) => `"${escapeQuotes(c.text)}"`).join(", ")}]` : "";
+				this.writeln(`$(${name ? `"", ${name}` : ""})`).indent().writeln(`.refTo(${ref.id}${chain})`).unindent();
+				return this;
+			}
+			case "primitive": {
+				this.definePrimitive(node, name);
+				return this;
+			}
+			case "const": {
+				this.writeln(`$(${name ? `"", ${name}` : ""})`).indent().defineConst(node).unindent();
+				return this;
+			}
+			case "structure": {
+				this.writeln(`$("object"${name ? `, ${name}` : ""})`).indent().defineObject(node).unindent();
+				return this;
+			}
+			case "group": {
+				kind = node.op === "|" ? "union" : "intersection";
+				this.writeln(`$("${kind}"${name ? `, ${name}` : ""})`).indent().defineGroup(node).unindent();
+				return this;
+			}
+			case "tuple": {
+				this.writeln(`$("tuple"${name ? `, ${name}` : ""})`).indent().defineGroup(node).unindent();
+				return this;
+			}
+			case "array": {
+				this.writeln(`$("array"${name ? `, ${name}` : ""})`).indent().defineArray(node).unindent();
+				return this;
+			}
+			default: {
+				console.log("!!!!!!! UNKNOWN ", node.entity);
+				return this;
+			}
+		}
+	}
+	defineConst(node) {
+		const t = node.token("identifier")?.type;
+		const designType = t === "text" ? "string" : t === "number" ? "number" : "unknown";
+		this.writeln(`.designType("${escapeQuotes(designType)}")`);
+		this.writeln(`.value(${t === "text" ? `"${escapeQuotes(node.id)}"` : node.id})`);
+		return this;
+	}
+	definePrimitive(node, name) {
+		this.renderPrimitiveDef(node.id === "never" ? "never" : node.config.type, name);
+		this.writeln(`  .tags(${Array.from(node.tags).map((f) => `"${escapeQuotes(f)}"`).join(", ")})`);
+		return this;
+	}
+	renderPrimitiveDef(def, name) {
+		const d = (t) => [`"${t || ""}"`, name].filter(Boolean).join(", ").replace(/^""$/, "");
+		if (!def) return this.writeln(`$(${d()}).designType("any")`);
+		if (typeof def === "string") return this.writeln(`$(${d()}).designType("${def === "void" ? "undefined" : def}")`);
+		switch (def.kind) {
+			case "final": return this.writeln(`$(${d()}).designType("${def.value === "void" ? "undefined" : def.value}")`);
+			case "union":
+			case "intersection":
+			case "tuple":
+				this.writeln(`$(${d(def.kind)})`);
+				this.indent();
+				for (const itemDef of def.items) {
+					this.write(`.item(`);
+					this.indent();
+					this.renderPrimitiveDef(itemDef);
+					this.writeln(".$type");
+					this.unindent();
+					this.write(`)`);
+				}
+				this.unindent();
+				return;
+			case "array":
+				this.writeln(`$(${d("array")})`);
+				this.indent();
+				this.write(".of(");
+				this.indent();
+				this.renderPrimitiveDef(def.of);
+				this.writeln(`.$type`);
+				this.unindent();
+				this.writeln(`)`);
+				this.unindent();
+				return;
+			case "object":
+				this.writeln(`$(${d("object")})`);
+				this.indent();
+				for (const [key, propDef] of Object.entries(def.props)) {
+					const optional = typeof propDef === "object" && propDef.optional;
+					this.writeln(`.prop(`);
+					this.indent();
+					this.writeln(`"${escapeQuotes(key)}",`);
+					this.renderPrimitiveDef(propDef);
+					if (optional) this.writeln(".optional()");
+					this.writeln(".$type");
+					this.unindent();
+					this.write(`)`);
+				}
+				for (const [key, propDef] of Object.entries(def.propsPatterns)) {
+					const optional = typeof propDef === "object" && propDef.optional;
+					this.writeln(`.propPattern(`);
+					this.indent();
+					this.writeln(`${key},`);
+					this.renderPrimitiveDef(propDef);
+					if (optional) this.writeln(".optional()");
+					this.writeln(".$type");
+					this.unindent();
+					this.write(`)`);
+				}
+				this.unindent();
+				return;
+			default: return this.writeln(`$(${d()}).designType("any")`);
+		}
+	}
+	defineObject(node) {
+		const props = Array.from(node.props.values());
+		for (const prop of props) {
+			const pattern = prop.token("identifier")?.pattern;
+			const optional = !!prop.token("optional");
+			if (pattern) {
+				this.writeln(`.propPattern(`);
+				this.indent();
+				this.writeln(`/${pattern.source}/${pattern.flags},`);
+			} else {
+				this.writeln(`.prop(`);
+				this.indent();
+				this.writeln(`"${escapeQuotes(prop.id)}",`);
+			}
+			this.annotateType(prop.getDefinition());
+			this.indent().defineMetadata(prop).unindent();
+			if (optional) this.writeln("  .optional()");
+			this.writeln("  .$type");
+			this.unindent();
+			this.write(`)`);
+		}
+		this.writeln();
+		return this;
+	}
+	defineGroup(node) {
+		const items = node.unwrap();
+		for (const item of items) this.write(".item(").indent().annotateType(item).write("  .$type").writeln(`)`).unindent();
+		return this;
+	}
+	defineArray(node) {
+		this.write(".of(").indent().annotateType(node.getDefinition()).write("  .$type").writeln(`)`).unindent();
+		return this;
+	}
+	defineMetadata(node) {
+		const annotations = this.doc.evalAnnotationsForNode(node);
+		annotations?.forEach((an) => {
+			this.resolveAnnotationValue(node, an);
+		});
+		return this;
+	}
+	resolveAnnotationValue(node, an) {
+		const spec = this.doc.resolveAnnotation(an.name);
+		let targetValue = "true";
+		let multiple = false;
+		if (spec) {
+			multiple = spec.config.multiple;
+			const length = spec.arguments.length;
+			if (length !== 0) if (Array.isArray(spec.config.argument)) {
+				targetValue = "{ ";
+				let i = 0;
+				for (const aSpec of spec.arguments) {
+					if (an.args[i]) targetValue += `${wrapProp(aSpec.name)}: ${aSpec.type === "string" ? `"${escapeQuotes(an.args[i]?.text)}"` : an.args[i]?.text}${i === length - 1 ? "" : ", "} `;
+else {}
+					i++;
+				}
+				targetValue += "}";
+			} else {
+				const aSpec = spec.arguments[0];
+				if (an.args[0]) targetValue = aSpec.type === "string" ? `"${escapeQuotes(an.args[0]?.text)}"` : an.args[0]?.text;
+else targetValue = "true";
+			}
+		} else {
+			multiple = node.countAnnotations(an.name) > 1 || an.args.length > 1;
+			if (an.args.length) targetValue = an.args[0].type === "text" ? `"${escapeQuotes(an.args[0].text)}"` : an.args[0].text;
+		}
+		if (multiple) this.writeln(`.annotate("${escapeQuotes(an.name)}", ${targetValue}, true)`);
+else this.writeln(`.annotate("${escapeQuotes(an.name)}", ${targetValue})`);
+	}
+	constructor(doc, opts) {
+		super(doc), _define_property(this, "opts", void 0), _define_property(this, "postAnnotate", void 0), this.opts = opts, this.postAnnotate = [];
+	}
+};
+
+//#endregion
+//#region packages/typescript/src/plugin.ts
+const tsPlugin = (opts) => {
+	return {
+		name: "typesccript",
+		render(doc, format) {
+			if (format === "dts") return [{
+				fileName: `${doc.name}.d.ts`,
+				content: new TypeRenderer(doc, opts).render()
+			}];
+			if (format === "js") return [{
+				fileName: `${doc.name}.js`,
+				content: new JsRenderer(doc, opts).render()
+			}];
+		},
+		async buildEnd(output, format, repo) {
+			if (format === "dts") {
+				const annotations = await repo.getUsedAnnotations();
+				const tags = await repo.getPrimitivesTags() || new Set();
+				let rendered = [];
+				for (const [key, val] of Object.entries(annotations)) {
+					const multiple = val.multiple;
+					let typeLine = Array.from(val.types).map((t) => {
+						if (t.type === "object") return `{ ${Object.entries(t.props).map(([k, v]) => `${wrapProp(k)}${v.optional ? "?" : ""}: ${v.type}`).join(", ")} }`;
+else return t.optional ? `${t.type} | true` : t.type;
+					}).join(" | ");
+					rendered.push(`${wrapProp(key)}: ${multiple ? "(" : ""}${typeLine}${multiple ? ")[]" : ""}`);
+				}
+				let renderedTags = Array.from(tags).map((f) => `"${escapeQuotes(f)}"`).join(" | ");
+				output.push({
+					content: "// prettier-ignore-start\n/* eslint-disable */\n/**\n * 🪄 This file was generated by Atscript\n * It is generated based on annotations used in this project\n * Do not edit this file!\n *\n * Use `npx asc -f dts` command to re-generate this file\n */\nexport {}\n\ndeclare global {\n  interface AtscriptMetadata {\n    " + rendered.join("\n    ") + "\n  }\n" + "  type AtscriptPrimitiveTags = " + renderedTags + "\n" + "}\n" + "// prettier-ignore-end",
+					fileName: "atscript.d.ts",
+					source: "",
+					target: path.default.join(repo.root, "atscript.d.ts")
+				});
+			}
+		}
+	};
+};
+
 //#endregion
 //#region packages/typescript/src/index.ts
 var src_default = tsPlugin;
@@ -1132,6 +1361,7 @@ var src_default = tsPlugin;
 //#endregion
 exports.Validator = Validator
 exports.ValidatorError = ValidatorError
+exports.buildJsonSchema = buildJsonSchema
 exports.default = src_default
 exports.defineAnnotatedType = defineAnnotatedType
 exports.isAnnotatedType = isAnnotatedType