@code0-tech/triangulum 0.29.0 → 0.30.1

package/dist/extraction/getFlowSchemas.d.ts

@@ -0,0 +1,57 @@
+import { DataType, Flow, FunctionDefinition, SubFlowValue } from '@code0-tech/sagittarius-graphql-types';
+import { JsonSchema } from '../util/jsonSchema.util';
+/**
+ * The input/output JSON schemas computed for a callable signature.
+ *
+ * Both are derived from the *real* signature — the flow's own signature for the
+ * flow, or the callback parameter type (e.g. `(item: T) => void`) for a
+ * sub-flow.
+ *
+ * `inputSchema` is an `object` schema whose `properties` hold one entry per
+ * signature parameter, keyed by the parameter name (non-optional parameters are
+ * listed in `required`). `outputSchema` describes the return type.
+ */
+export interface SignatureSchemas {
+    /** Object schema whose properties are the signature's parameters, by name. */
+    inputSchema: JsonSchema;
+    /** JSON schema describing the signature's return type. */
+    outputSchema: JsonSchema;
+}
+/** A {@link SubFlowValue} enriched with its computed input/output schemas. */
+export type SchematizedSubFlowValue = SubFlowValue & SignatureSchemas;
+/**
+ * A {@link Flow} enriched with the input/output schemas of its own signature.
+ * Every {@link SubFlowValue} nested in a node parameter is additionally enriched
+ * in place (see {@link SchematizedSubFlowValue}).
+ */
+export type SchematizedFlow = Flow & SignatureSchemas;
+/**
+ * Enriches a flow with the input and output JSON schemas of its signature and of
+ * every sub-flow it contains.
+ *
+ * The same flow is returned back, but with two additional fields on the flow
+ * itself and on every {@link SubFlowValue} that appears as a node parameter:
+ * - `inputSchema` — an `object` JSON schema keyed by the signature's parameter names
+ * - `outputSchema` — the JSON schema of the signature's return type
+ *
+ * The schemas are computed from the real signatures, resolved through the same
+ * virtual TypeScript program that {@link generateFlowSourceCode} builds:
+ * - For the flow, the schemas come from the flow's own `signature`.
+ * - For a sub-flow, the schemas come from the callback parameter type of the
+ *   surrounding function (e.g. `std::list::for_each`'s `consumer` parameter is
+ *   typed `(item: T) => void`). Because the type is resolved from the concrete
+ *   call, generic type parameters (the `T` above) are already instantiated with
+ *   the real element type at that node.
+ *
+ * The actual JSON Schema generation is delegated to `ts-json-schema-generator`
+ * (see {@link generateJsonSchemas}); this function only resolves the real
+ * TypeScript type of each parameter/return and hands it over as a type
+ * expression.
+ *
+ * @param flow - The flow to enrich; returned unchanged when undefined
+ * @param functions - Available function definitions (drive the generated code)
+ * @param dataTypes - Available data type definitions (drive the type aliases)
+ * @returns The same flow, enriched with input/output schemas, or `undefined`
+ *          when no flow was supplied
+ */
+export declare const getFlowSchemas: (flow?: Flow, functions?: FunctionDefinition[], dataTypes?: DataType[]) => SchematizedFlow | undefined;

package/dist/index.cjs.js

@@ -0,0 +1,12 @@
+Object.defineProperty(exports,Symbol.toStringTag,{value:`Module`});const e=require("./utils-C3jpxxXK.cjs");let t=require("typescript");t=e.c(t,1);var n=(n,r)=>{let i=e.s(n?.value);if(!i)return`any`;let a=`
+        ${e.r(r,`unknown`)}
+        const tempValue = ${i??`any`};
+    `,o=`index.ts`,s=e.t(o,a),c=s.getSourceFile(o),l=s.languageService.getProgram().getTypeChecker(),u=`any`,d=e=>{if(t.default.isVariableDeclaration(e)&&e.name.getText()===`tempValue`){let n=l.getTypeAtLocation(e),r=n=>{if(n.isUnion()){let e=n.types.map(r);return Array.from(new Set(e)).sort().join(` | `)}if(l.isArrayType(n)){let e=n.typeArguments||[],t=e.length>0?r(e[0]):`any`;return e[0]?.isUnion()?`(${t})[]`:`${t}[]`}if(n.getFlags()&t.default.TypeFlags.Object||n.isClassOrInterface()){let t=l.getPropertiesOfType(n);if(t.length>0)return`{ ${t.map(t=>{let n=l.getTypeOfSymbolAtLocation(t,e);return`${t.getName()}: ${r(n)}`}).join(`, `)} }`}let i=l.getBaseTypeOfLiteralType(n);return l.typeToString(i,e)};u=r(n)}t.default.forEachChild(e,d)};return d(c),u},r=(n,r)=>{let i=`
+        ${e.r(r)}
+        type Target = ${n};
+    `,a=`index.ts`,o=e.t(a,i),s=o.getSourceFile(a),c=o.languageService.getProgram().getTypeChecker(),l=s.statements.find(e=>t.default.isTypeAliasDeclaration(e)&&e.name.text===`Target`);if(!l)return{__typename:`LiteralValue`,value:null};let u=c.getTypeAtLocation(l.type),d=(e,n,r=new Set)=>{let i=new Set(r);if(i.has(e))return null;let a=e.getFlags();if(e.isUnion()){if(n.type,t.default.isTypeAliasDeclaration(n)&&n.type&&t.default.isUnionTypeNode(n.type))return d(c.getTypeFromTypeNode(n.type.types[0]),n,i);let r=e.types.filter(e=>{let n=e.getFlags();return!(n&t.default.TypeFlags.Undefined)&&!(n&t.default.TypeFlags.Null)});return d(r.length>0?r[0]:e.types[0],n,i)}if(a&t.default.TypeFlags.StringLiteral)return e.value;if(a&t.default.TypeFlags.String)return``;if(a&t.default.TypeFlags.NumberLiteral)return e.value;if(a&t.default.TypeFlags.Number)return 0;if(a&t.default.TypeFlags.BooleanLiteral)return e.intrinsicName===`true`;if(a&t.default.TypeFlags.Boolean)return!1;if(c.isArrayType(e)){i.add(e);let t=d(e.typeArguments?.[0]||c.getAnyType(),n,i);return t===null?[]:[t]}if(e.isClassOrInterface()||a&t.default.TypeFlags.Object||e.getProperties().length>0){i.add(e);let t={};return e.getProperties().forEach(e=>{let r=c.getTypeOfSymbolAtLocation(e,n),a=e.valueDeclaration;r&&(t[e.getName()]=d(r,a||n,i))}),t}return null};return{__typename:`LiteralValue`,value:d(u,l)}},i=2345,a=2339,o=(e,t,n)=>{if(e.getStart()>t||e.getEnd()<n)return;let r=e;return e.forEachChild(e=>{let i=o(e,t,n);i&&(r=i)}),r},s=(e,n,r)=>{if(e.start===void 0||e.length===void 0)return!1;let s=o(n,e.start,e.start+e.length);if(!s)return!1;if(e.code===i&&t.default.isExpression(s)){let e=r.getTypeAtLocation(s);if(!e.isUnion())return!1;let n=r.getContextualType(s);return n?e.types.some(e=>(e.flags&(t.default.TypeFlags.Null|t.default.TypeFlags.Undefined))===0&&r.isTypeAssignableTo(e,n)):!1}if(e.code===a&&t.default.isPropertyAccessExpression(s.parent)){let e=r.getNonNullableType(r.getTypeAtLocation(s.parent.expression));if(!e.isUnion())return!1;let t=s.getText();return e.types.some(e=>e.getProperty(t)!==void 0)}return!1},c=(n,r,i)=>{if(!n?.startingNodeId)return{isValid:!1,returnType:`void`,diagnostics:[{nodeId:null,parameterIndex:null,code:0,message:`You need to provide a starting node to be able to execute this flow.`,severity:`error`}]};if(!n.nodes?.nodes?.find(e=>e?.id==n.startingNodeId))return{isValid:!1,returnType:`void`,diagnostics:[{nodeId:null,parameterIndex:null,code:0,message:`The starting node is not linked within the flow. Please make sure the starting node is connected to the rest of the flow.`,severity:`error`}]};let a=new Set(r?.map(e=>e.identifier)),o=(n.nodes?.nodes??[]).filter(e=>e?.functionDefinition&&!a.has(e.functionDefinition.identifier)).map(e=>({nodeId:e.id,parameterIndex:null,code:0,message:`The function definition "${e.functionDefinition.identifier}" is not reachable.`,severity:`error`}));if(o.length>0)return{isValid:!1,returnType:`void`,diagnostics:o};let c=e.n(n,r,i,!1,!1),l=`index.ts`,u=e.t(l,c),d=u.getSourceFile(l),f=u.languageService.getProgram(),p=f.getTypeChecker(),m=f.getSemanticDiagnostics(d).map(e=>{let n=(0,t.flattenDiagnosticMessageText)(e.messageText,`
+`),r,i=null;if(e.start!==void 0){let t=d.getFullText(),n=Math.max(0,e.start-300),a=Math.min(t.length,e.start),o=t.substring(n,a),s=/\/\* @pos ([^ ]+) (\d+|null) \*\//g,c,l=null,u=-1;for(;(c=s.exec(o))!==null;){let t=n+c.index+c[0].length;t<=e.start&&t>u&&(u=t,l=c)}l&&(r=l[1]===`null`?null:l[1],i=parseInt(l[2],10))}let a=s(e,d,p)?`warning`:`error`;return{message:n,code:e.code,severity:a,nodeId:r,parameterIndex:typeof i==`number`&&Number.isSafeInteger(i)?i:null}}).filter(e=>e!==null);return{isValid:!m.some(e=>e?.severity===`error`),returnType:`void`,diagnostics:m}},l=(n,r,i)=>{let a=e.s(r?.value),o=`
+        ${e.r(i)}
+        const testValue: ${n} = ${a};
+    `,s=`index.ts`,c=e.t(s,o).languageService.getSemanticDiagnostics(s).map(e=>{let n=t.default.flattenDiagnosticMessageText(e.messageText,`
+`),r=n.includes(`not assignable to parameter of type`)&&(n.includes(`'{}'`)||n.includes(`undefined`))||n.includes(`not assignable to type 'undefined'`)||n.includes(`not assignable to type 'void'`)||n.includes(`may be a mistake because neither type sufficiently overlaps`);return{message:n,code:e.code,severity:r?`warning`:`error`}});return{isValid:!c.some(e=>e.severity===`error`),returnType:`void`,diagnostics:c}},u=(n,r,i,a)=>{let o=e.n(n,i,r),s=`index.ts`,c=e.t(s,o),l=c.getSourceFile(s),u=c.languageService.getProgram().getTypeChecker(),v=n.nodes?.nodes?.find(e=>e?.id===a),y=a?`fn_${v?.functionDefinition?.identifier?.replace(/::/g,`_`)}`:`flow`,b=a?`node_${e.i(a)}`:`flow_${e.i(n.id)}`,x=f(l),S=p(l).get(b),C=x.get(y),w=m(u,S),T=h(u,C,S),E=w?.map((e,n)=>(e.flags&t.default.TypeFlags.Undefined)===0?e:T?.[n]??e),D=(v?.parameters?.nodes??[]).map(e=>e?.value!=null),O=_(u,S,E,T,g(C,w,D),a?x:new Map,a?i:[],D),k=d(u,S,C);return{nodeId:a,parameters:O,return:k?e.a(u,S,k,Array.from(x.values()),i,!1):{input:`generic`}}},d=(e,n,r)=>{if(n?.initializer&&t.default.isCallExpression(n.initializer)){let t=e.getResolvedSignature(n.initializer);if(t)return e.getReturnTypeOfSignature(t)}if(r){let t=e.getSignatureFromDeclaration(r);if(t)return e.getReturnTypeOfSignature(t)}},f=e=>new Map(e.statements.filter(t.default.isFunctionDeclaration).map(e=>[e.name.getText(),e])),p=e=>{let n=[];return e.statements.forEach(e=>{e.forEachChild(function e(r){t.default.isVariableDeclaration(r)&&(r.parent.flags&t.default.NodeFlags.Const)!==0&&n.push([r.name.getText(),r]),r.forEachChild(e)})}),new Map(n)},m=(e,n)=>{if(!(!n?.initializer||!t.default.isCallExpression(n.initializer)))return e.getResolvedSignature(n.initializer)?.parameters.map(t=>e.getTypeOfSymbolAtLocation(t,n.initializer))},h=(e,t,n)=>{if(!(!t||!n?.initializer))return t.parameters.map(t=>{let r=e.getSymbolAtLocation(t.name);return e.getTypeOfSymbolAtLocation(r,n.initializer)})},g=(e,n,r=[])=>{let i=e.typeParameters?.map(e=>e.name.getText())||[],a={};e.parameters.forEach((e,n)=>{if(!e.type)return;let r=new Set;e.type.forEachChild(function n(a){if(t.default.isTypeReferenceNode(a)&&t.default.isIdentifier(a.typeName)){let e=a.typeName.text;i.includes(e)&&r.add(e)}if(t.default.isTypeReferenceNode(e.type)&&t.default.isIdentifier(e.type.typeName)){let t=e.type.typeName.text;i.includes(t)&&r.add(t)}a.forEachChild(n)}),r.forEach(e=>{a[e]||(a[e]=[]),a[e].push(n)})});let o=Object.values(a).filter(e=>e.length>1).map(([e,...t])=>t.map(t=>({parameterIndex:t,dependsOnIndex:e}))).flat();return n?o.filter(e=>{if(r[e.dependsOnIndex])return!1;let i=n[e.parameterIndex];if(!i)return!0;let a=(i.flags&t.default.TypeFlags.Null)!==0,o=(i.flags&t.default.TypeFlags.Undefined)!==0;return a||o}):o},_=(t,n,r,i,a,o,s,c)=>r?r.map((r,l)=>{let u=i?.[l],d=u?v(t,u,n):void 0,f=e.a(t,n,r,Array.from(o.values()),s,!0,d);return{schema:e.o(u?e.a(t,n,u,Array.from(o.values()),s,!1):void 0,f,c[l]??!1),blockedBy:a.filter(e=>e.parameterIndex===l).map(e=>e.dependsOnIndex)}}):[],v=(e,n,r)=>{if((n.flags&t.default.TypeFlags.TypeParameter)!==0){let r=n.symbol?.declarations?.[0];return r&&t.default.isTypeParameterDeclaration(r)&&r.constraint?e.getTypeFromTypeNode(r.constraint):e.getAnyType()}if((n.flags&t.default.TypeFlags.Conditional)!==0)return e.getBaseConstraintOfType(n)??e.getAnyType();if((n.flags&t.default.TypeFlags.Object)!==0&&y(n,e,new Set)){let i=n.aliasSymbol?.getName();if(i){let n=e.getSymbolsInScope(r,t.default.SymbolFlags.Variable).find(e=>e.getName()===`__widen_${i}`);if(n)return e.getTypeOfSymbolAtLocation(n,r)}return e.getAnyType()}return n},y=(e,n,r)=>r.has(e)?!1:(r.add(e),!!((e.flags&t.default.TypeFlags.TypeParameter)!==0||(e.flags&t.default.TypeFlags.Object)!==0&&(n.getTypeArguments(e).some(e=>y(e,n,r))||e.aliasTypeArguments?.some(e=>y(e,n,r))))),b=(n,r=[])=>{let i=`index.ts`,a=e.t(i,`${e.r(r)}\ntype MyType = ${n}`).languageService.getProgram(),o=a?.getSourceFile(i),s=a?.getTypeChecker();if(!o||!s)return;let c=o.statements.filter(e=>t.default.isTypeAliasDeclaration(e)||t.default.isInterfaceDeclaration(e)||t.default.isClassDeclaration(e)).pop();if(!c)return;let l=s.getTypeAtLocation(c);if(l)return e.a(s,void 0,l,[],[],!1)};exports.getFlowValidation=c,exports.getSignatureSchema=u,exports.getTypeFromValue=n,exports.getTypeSchema=b,exports.getValueFromType=r,exports.getValueValidation=l;

package/dist/index.es.js

@@ -0,0 +1,272 @@
+import { a as e, i as t, n, o as r, r as i, s as a, t as o } from "./utils-B8zuiBhE.js";
+import s, { flattenDiagnosticMessageText as c } from "typescript";
+//#region src/extraction/getTypeFromValue.ts
+var l = (e, t) => {
+	let n = a(e?.value);
+	if (!n) return "any";
+	let r = `
+        ${i(t, "unknown")}
+        const tempValue = ${n ?? "any"};
+    `, c = "index.ts", l = o(c, r), u = l.getSourceFile(c), d = l.languageService.getProgram().getTypeChecker(), f = "any", p = (e) => {
+		if (s.isVariableDeclaration(e) && e.name.getText() === "tempValue") {
+			let t = d.getTypeAtLocation(e), n = (t) => {
+				if (t.isUnion()) {
+					let e = t.types.map(n);
+					return Array.from(new Set(e)).sort().join(" | ");
+				}
+				if (d.isArrayType(t)) {
+					let e = t.typeArguments || [], r = e.length > 0 ? n(e[0]) : "any";
+					return e[0]?.isUnion() ? `(${r})[]` : `${r}[]`;
+				}
+				if (t.getFlags() & s.TypeFlags.Object || t.isClassOrInterface()) {
+					let r = d.getPropertiesOfType(t);
+					if (r.length > 0) return `{ ${r.map((t) => {
+						let r = d.getTypeOfSymbolAtLocation(t, e);
+						return `${t.getName()}: ${n(r)}`;
+					}).join(", ")} }`;
+				}
+				let r = d.getBaseTypeOfLiteralType(t);
+				return d.typeToString(r, e);
+			};
+			f = n(t);
+		}
+		s.forEachChild(e, p);
+	};
+	return p(u), f;
+}, u = (e, t) => {
+	let n = `
+        ${i(t)}
+        type Target = ${e};
+    `, r = "index.ts", a = o(r, n), c = a.getSourceFile(r), l = a.languageService.getProgram().getTypeChecker(), u = c.statements.find((e) => s.isTypeAliasDeclaration(e) && e.name.text === "Target");
+	if (!u) return {
+		__typename: "LiteralValue",
+		value: null
+	};
+	let d = l.getTypeAtLocation(u.type), f = (e, t, n = /* @__PURE__ */ new Set()) => {
+		let r = new Set(n);
+		if (r.has(e)) return null;
+		let i = e.getFlags();
+		if (e.isUnion()) {
+			if (t.type, s.isTypeAliasDeclaration(t) && t.type && s.isUnionTypeNode(t.type)) return f(l.getTypeFromTypeNode(t.type.types[0]), t, r);
+			let n = e.types.filter((e) => {
+				let t = e.getFlags();
+				return !(t & s.TypeFlags.Undefined) && !(t & s.TypeFlags.Null);
+			});
+			return f(n.length > 0 ? n[0] : e.types[0], t, r);
+		}
+		if (i & s.TypeFlags.StringLiteral) return e.value;
+		if (i & s.TypeFlags.String) return "";
+		if (i & s.TypeFlags.NumberLiteral) return e.value;
+		if (i & s.TypeFlags.Number) return 0;
+		if (i & s.TypeFlags.BooleanLiteral) return e.intrinsicName === "true";
+		if (i & s.TypeFlags.Boolean) return !1;
+		if (l.isArrayType(e)) {
+			r.add(e);
+			let n = f(e.typeArguments?.[0] || l.getAnyType(), t, r);
+			return n === null ? [] : [n];
+		}
+		if (e.isClassOrInterface() || i & s.TypeFlags.Object || e.getProperties().length > 0) {
+			r.add(e);
+			let n = {};
+			return e.getProperties().forEach((e) => {
+				let i = l.getTypeOfSymbolAtLocation(e, t), a = e.valueDeclaration;
+				i && (n[e.getName()] = f(i, a || t, r));
+			}), n;
+		}
+		return null;
+	};
+	return {
+		__typename: "LiteralValue",
+		value: f(d, u)
+	};
+}, d = 2345, f = 2339, p = (e, t, n) => {
+	if (e.getStart() > t || e.getEnd() < n) return;
+	let r = e;
+	return e.forEachChild((e) => {
+		let i = p(e, t, n);
+		i && (r = i);
+	}), r;
+}, m = (e, t, n) => {
+	if (e.start === void 0 || e.length === void 0) return !1;
+	let r = p(t, e.start, e.start + e.length);
+	if (!r) return !1;
+	if (e.code === d && s.isExpression(r)) {
+		let e = n.getTypeAtLocation(r);
+		if (!e.isUnion()) return !1;
+		let t = n.getContextualType(r);
+		return t ? e.types.some((e) => (e.flags & (s.TypeFlags.Null | s.TypeFlags.Undefined)) === 0 && n.isTypeAssignableTo(e, t)) : !1;
+	}
+	if (e.code === f && s.isPropertyAccessExpression(r.parent)) {
+		let e = n.getNonNullableType(n.getTypeAtLocation(r.parent.expression));
+		if (!e.isUnion()) return !1;
+		let t = r.getText();
+		return e.types.some((e) => e.getProperty(t) !== void 0);
+	}
+	return !1;
+}, h = (e, t, r) => {
+	if (!e?.startingNodeId) return {
+		isValid: !1,
+		returnType: "void",
+		diagnostics: [{
+			nodeId: null,
+			parameterIndex: null,
+			code: 0,
+			message: "You need to provide a starting node to be able to execute this flow.",
+			severity: "error"
+		}]
+	};
+	if (!e.nodes?.nodes?.find((t) => t?.id == e.startingNodeId)) return {
+		isValid: !1,
+		returnType: "void",
+		diagnostics: [{
+			nodeId: null,
+			parameterIndex: null,
+			code: 0,
+			message: "The starting node is not linked within the flow. Please make sure the starting node is connected to the rest of the flow.",
+			severity: "error"
+		}]
+	};
+	let i = new Set(t?.map((e) => e.identifier)), a = (e.nodes?.nodes ?? []).filter((e) => e?.functionDefinition && !i.has(e.functionDefinition.identifier)).map((e) => ({
+		nodeId: e.id,
+		parameterIndex: null,
+		code: 0,
+		message: `The function definition "${e.functionDefinition.identifier}" is not reachable.`,
+		severity: "error"
+	}));
+	if (a.length > 0) return {
+		isValid: !1,
+		returnType: "void",
+		diagnostics: a
+	};
+	let s = n(e, t, r, !1, !1), l = "index.ts", u = o(l, s), d = u.getSourceFile(l), f = u.languageService.getProgram(), p = f.getTypeChecker(), h = f.getSemanticDiagnostics(d).map((e) => {
+		let t = c(e.messageText, "\n"), n, r = null;
+		if (e.start !== void 0) {
+			let t = d.getFullText(), i = Math.max(0, e.start - 300), a = Math.min(t.length, e.start), o = t.substring(i, a), s = /\/\* @pos ([^ ]+) (\d+|null) \*\//g, c, l = null, u = -1;
+			for (; (c = s.exec(o)) !== null;) {
+				let t = i + c.index + c[0].length;
+				t <= e.start && t > u && (u = t, l = c);
+			}
+			l && (n = l[1] === "null" ? null : l[1], r = parseInt(l[2], 10));
+		}
+		let i = m(e, d, p) ? "warning" : "error";
+		return {
+			message: t,
+			code: e.code,
+			severity: i,
+			nodeId: n,
+			parameterIndex: typeof r == "number" && Number.isSafeInteger(r) ? r : null
+		};
+	}).filter((e) => e !== null);
+	return {
+		isValid: !h.some((e) => e?.severity === "error"),
+		returnType: "void",
+		diagnostics: h
+	};
+}, g = (e, t, n) => {
+	let r = a(t?.value), c = `
+        ${i(n)}
+        const testValue: ${e} = ${r};
+    `, l = "index.ts", u = o(l, c).languageService.getSemanticDiagnostics(l).map((e) => {
+		let t = s.flattenDiagnosticMessageText(e.messageText, "\n"), n = t.includes("not assignable to parameter of type") && (t.includes("'{}'") || t.includes("undefined")) || t.includes("not assignable to type 'undefined'") || t.includes("not assignable to type 'void'") || t.includes("may be a mistake because neither type sufficiently overlaps");
+		return {
+			message: t,
+			code: e.code,
+			severity: n ? "warning" : "error"
+		};
+	});
+	return {
+		isValid: !u.some((e) => e.severity === "error"),
+		returnType: "void",
+		diagnostics: u
+	};
+}, _ = (r, i, a, c) => {
+	let l = n(r, a, i), u = "index.ts", d = o(u, l), f = d.getSourceFile(u), p = d.languageService.getProgram().getTypeChecker(), m = r.nodes?.nodes?.find((e) => e?.id === c), h = c ? `fn_${m?.functionDefinition?.identifier?.replace(/::/g, "_")}` : "flow", g = c ? `node_${t(c)}` : `flow_${t(r.id)}`, _ = y(f), T = b(f).get(g), E = _.get(h), D = x(p, T), O = S(p, E, T), k = D?.map((e, t) => (e.flags & s.TypeFlags.Undefined) === 0 ? e : O?.[t] ?? e), A = (m?.parameters?.nodes ?? []).map((e) => e?.value != null), j = w(p, T, k, O, C(E, D, A), c ? _ : /* @__PURE__ */ new Map(), c ? a : [], A), M = v(p, T, E);
+	return {
+		nodeId: c,
+		parameters: j,
+		return: M ? e(p, T, M, Array.from(_.values()), a, !1) : { input: "generic" }
+	};
+}, v = (e, t, n) => {
+	if (t?.initializer && s.isCallExpression(t.initializer)) {
+		let n = e.getResolvedSignature(t.initializer);
+		if (n) return e.getReturnTypeOfSignature(n);
+	}
+	if (n) {
+		let t = e.getSignatureFromDeclaration(n);
+		if (t) return e.getReturnTypeOfSignature(t);
+	}
+}, y = (e) => new Map(e.statements.filter(s.isFunctionDeclaration).map((e) => [e.name.getText(), e])), b = (e) => {
+	let t = [];
+	return e.statements.forEach((e) => {
+		e.forEachChild(function e(n) {
+			s.isVariableDeclaration(n) && (n.parent.flags & s.NodeFlags.Const) !== 0 && t.push([n.name.getText(), n]), n.forEachChild(e);
+		});
+	}), new Map(t);
+}, x = (e, t) => {
+	if (!(!t?.initializer || !s.isCallExpression(t.initializer))) return e.getResolvedSignature(t.initializer)?.parameters.map((n) => e.getTypeOfSymbolAtLocation(n, t.initializer));
+}, S = (e, t, n) => {
+	if (!(!t || !n?.initializer)) return t.parameters.map((t) => {
+		let r = e.getSymbolAtLocation(t.name);
+		return e.getTypeOfSymbolAtLocation(r, n.initializer);
+	});
+}, C = (e, t, n = []) => {
+	let r = e.typeParameters?.map((e) => e.name.getText()) || [], i = {};
+	e.parameters.forEach((e, t) => {
+		if (!e.type) return;
+		let n = /* @__PURE__ */ new Set();
+		e.type.forEachChild(function t(i) {
+			if (s.isTypeReferenceNode(i) && s.isIdentifier(i.typeName)) {
+				let e = i.typeName.text;
+				r.includes(e) && n.add(e);
+			}
+			if (s.isTypeReferenceNode(e.type) && s.isIdentifier(e.type.typeName)) {
+				let t = e.type.typeName.text;
+				r.includes(t) && n.add(t);
+			}
+			i.forEachChild(t);
+		}), n.forEach((e) => {
+			i[e] || (i[e] = []), i[e].push(t);
+		});
+	});
+	let a = Object.values(i).filter((e) => e.length > 1).map(([e, ...t]) => t.map((t) => ({
+		parameterIndex: t,
+		dependsOnIndex: e
+	}))).flat();
+	return t ? a.filter((e) => {
+		if (n[e.dependsOnIndex]) return !1;
+		let r = t[e.parameterIndex];
+		if (!r) return !0;
+		let i = (r.flags & s.TypeFlags.Null) !== 0, a = (r.flags & s.TypeFlags.Undefined) !== 0;
+		return i || a;
+	}) : a;
+}, w = (t, n, i, a, o, s, c, l) => i ? i.map((i, u) => {
+	let d = a?.[u], f = d ? T(t, d, n) : void 0, p = e(t, n, i, Array.from(s.values()), c, !0, f);
+	return {
+		schema: r(d ? e(t, n, d, Array.from(s.values()), c, !1) : void 0, p, l[u] ?? !1),
+		blockedBy: o.filter((e) => e.parameterIndex === u).map((e) => e.dependsOnIndex)
+	};
+}) : [], T = (e, t, n) => {
+	if ((t.flags & s.TypeFlags.TypeParameter) !== 0) {
+		let n = t.symbol?.declarations?.[0];
+		return n && s.isTypeParameterDeclaration(n) && n.constraint ? e.getTypeFromTypeNode(n.constraint) : e.getAnyType();
+	}
+	if ((t.flags & s.TypeFlags.Conditional) !== 0) return e.getBaseConstraintOfType(t) ?? e.getAnyType();
+	if ((t.flags & s.TypeFlags.Object) !== 0 && E(t, e, /* @__PURE__ */ new Set())) {
+		let r = t.aliasSymbol?.getName();
+		if (r) {
+			let t = e.getSymbolsInScope(n, s.SymbolFlags.Variable).find((e) => e.getName() === `__widen_${r}`);
+			if (t) return e.getTypeOfSymbolAtLocation(t, n);
+		}
+		return e.getAnyType();
+	}
+	return t;
+}, E = (e, t, n) => n.has(e) ? !1 : (n.add(e), !!((e.flags & s.TypeFlags.TypeParameter) !== 0 || (e.flags & s.TypeFlags.Object) !== 0 && (t.getTypeArguments(e).some((e) => E(e, t, n)) || e.aliasTypeArguments?.some((e) => E(e, t, n))))), D = (t, n = []) => {
+	let r = "index.ts", a = o(r, `${i(n)}\ntype MyType = ${t}`).languageService.getProgram(), c = a?.getSourceFile(r), l = a?.getTypeChecker();
+	if (!c || !l) return;
+	let u = c.statements.filter((e) => s.isTypeAliasDeclaration(e) || s.isInterfaceDeclaration(e) || s.isClassDeclaration(e)).pop();
+	if (!u) return;
+	let d = l.getTypeAtLocation(u);
+	if (d) return e(l, void 0, d, [], [], !1);
+};
+//#endregion
+export { h as getFlowValidation, _ as getSignatureSchema, l as getTypeFromValue, D as getTypeSchema, u as getValueFromType, g as getValueValidation };

package/dist/server.cjs.js

@@ -0,0 +1,2 @@
+Object.defineProperty(exports,Symbol.toStringTag,{value:`Module`});const e=require("./utils-C3jpxxXK.cjs");let t=require("typescript");t=e.c(t,1);let n=require("ts-json-schema-generator");var r={...n.DEFAULT_CONFIG,expose:`none`,topRef:!1,jsDoc:`none`,skipTypeCheck:!0},i=(e,t)=>{let n=Object.keys(e);if(n.length===0)return{};let r=o(a(e,t)),i={};for(let e of n)try{i[e]=s(r.createSchema(e))}catch{i[e]={}}return i},a=(t,n)=>{let r=Object.entries(t).map(([e,t])=>`export type ${e} = ${t};`).join(`
+`);return`${e.r(n)}\n${r}`},o=t=>{let i=e.t(`index.ts`,t).languageService.getProgram();return new n.SchemaGenerator(i,(0,n.createParser)(i,r),(0,n.createFormatter)(r),r)},s=e=>{let{$schema:t,definitions:n,...r}=e,i=n&&Object.keys(n).length>0?{...r,definitions:n}:r;return JSON.parse(JSON.stringify(i))},c=(t,n,r)=>{if(!t)return;let a=`index.ts`,o=e.t(a,e.n(t,n,r)),s=o.getSourceFile(a),c=o.languageService.getProgram().getTypeChecker(),d=i({...f(c,s),...p(c,s,t)},r),m=(t.nodes?.nodes??[]).map(e=>e&&v(e,d));return{...t,inputSchema:d[l]??g(),outputSchema:d[u]??_(),nodes:{...t.nodes,nodes:m}}},l=`Flow_input`,u=`Flow_output`,d=(t,n,r)=>`Node_${e.i(t)}_${n}_${r}`,f=(e,n)=>{let r=n.statements.filter(t.default.isFunctionDeclaration).find(e=>e.name?.getText()===`flow`);if(!r)return{};let i=e.getSignatureFromDeclaration(r);if(!i)return{};let{input:a,output:o}=h(e,i,r);return{[l]:a,[u]:o}},p=(e,t,n)=>{let r=S(t),i={};for(let t of n.nodes?.nodes??[]){if(!t?.id)continue;let n=t.parameters?.nodes;if(!n?.some(y))continue;let a=x(r,t),o=a?e.getResolvedSignature(a):void 0;o&&n.forEach((n,r)=>{if(!y(n))return;let s=m(e,o,a,r);if(!s)return;let{input:c,output:l}=h(e,s,a);i[d(t.id,r,`input`)]=c,i[d(t.id,r,`output`)]=l})}return i},m=(e,t,n,r)=>{let i=t.parameters[r];if(i)return e.getTypeOfSymbolAtLocation(i,n).getCallSignatures()[0]},h=(e,n,r)=>{let i=n=>e.typeToString(n,r,t.default.TypeFormatFlags.NoTruncation);return{input:`{ ${n.parameters.map(t=>{let n=e.getTypeOfSymbolAtLocation(t,t.valueDeclaration??r),a=b(t)?`?`:``;return`${t.getName()}${a}: ${i(n)}`}).join(`; `)} }`,output:i(e.getReturnTypeOfSignature(n))}},g=()=>({type:`object`}),_=()=>({}),v=(e,t)=>{let n=e.parameters?.nodes;if(!n?.some(y))return e;let r=n.map((n,r)=>{if(!y(n))return n;let i={...n.value,inputSchema:t[d(e.id,r,`input`)]??g(),outputSchema:t[d(e.id,r,`output`)]??_()};return{...n,value:i}});return{...e,parameters:{...e.parameters,nodes:r}}},y=e=>e?.value?.__typename===`SubFlowValue`,b=e=>{let n=e.valueDeclaration;return!!n&&t.default.isParameter(n)&&(!!n.questionToken||!!n.initializer||!!n.dotDotDotToken)},x=(n,r)=>{let i=n.get(`node_${e.i(r.id)}`)?.initializer;return i&&t.default.isCallExpression(i)?i:void 0},S=e=>{let n=new Map;return e.statements.forEach(e=>{e.forEachChild(function e(r){t.default.isVariableDeclaration(r)&&(r.parent.flags&t.default.NodeFlags.Const)!==0&&n.set(r.name.getText(),r),r.forEachChild(e)})}),n};exports.getFlowSchemas=c;

package/dist/server.d.ts

@@ -0,0 +1,2 @@
+export * from './extraction/getFlowSchemas';
+export type { JsonSchema } from './util/jsonSchema.util';

package/dist/server.es.js

@@ -0,0 +1,123 @@
+import { i as e, n as t, r as n, t as r } from "./utils-B8zuiBhE.js";
+import i from "typescript";
+import { DEFAULT_CONFIG as a, SchemaGenerator as o, createFormatter as s, createParser as c } from "ts-json-schema-generator";
+//#region src/util/jsonSchema.util.ts
+var l = {
+	...a,
+	expose: "none",
+	topRef: !1,
+	jsDoc: "none",
+	skipTypeCheck: !0
+}, u = (e, t) => {
+	let n = Object.keys(e);
+	if (n.length === 0) return {};
+	let r = f(d(e, t)), i = {};
+	for (let e of n) try {
+		i[e] = p(r.createSchema(e));
+	} catch {
+		i[e] = {};
+	}
+	return i;
+}, d = (e, t) => {
+	let r = Object.entries(e).map(([e, t]) => `export type ${e} = ${t};`).join("\n");
+	return `${n(t)}\n${r}`;
+}, f = (e) => {
+	let t = r("index.ts", e).languageService.getProgram();
+	return new o(t, c(t, l), s(l), l);
+}, p = (e) => {
+	let { $schema: t, definitions: n, ...r } = e, i = n && Object.keys(n).length > 0 ? {
+		...r,
+		definitions: n
+	} : r;
+	return JSON.parse(JSON.stringify(i));
+}, m = (e, n, i) => {
+	if (!e) return;
+	let a = "index.ts", o = r(a, t(e, n, i)), s = o.getSourceFile(a), c = o.languageService.getProgram().getTypeChecker(), l = u({
+		...v(c, s),
+		...y(c, s, e)
+	}, i), d = (e.nodes?.nodes ?? []).map((e) => e && w(e, l));
+	return {
+		...e,
+		inputSchema: l[h] ?? S(),
+		outputSchema: l[g] ?? C(),
+		nodes: {
+			...e.nodes,
+			nodes: d
+		}
+	};
+}, h = "Flow_input", g = "Flow_output", _ = (t, n, r) => `Node_${e(t)}_${n}_${r}`, v = (e, t) => {
+	let n = t.statements.filter(i.isFunctionDeclaration).find((e) => e.name?.getText() === "flow");
+	if (!n) return {};
+	let r = e.getSignatureFromDeclaration(n);
+	if (!r) return {};
+	let { input: a, output: o } = x(e, r, n);
+	return {
+		[h]: a,
+		[g]: o
+	};
+}, y = (e, t, n) => {
+	let r = O(t), i = {};
+	for (let t of n.nodes?.nodes ?? []) {
+		if (!t?.id) continue;
+		let n = t.parameters?.nodes;
+		if (!n?.some(T)) continue;
+		let a = D(r, t), o = a ? e.getResolvedSignature(a) : void 0;
+		o && n.forEach((n, r) => {
+			if (!T(n)) return;
+			let s = b(e, o, a, r);
+			if (!s) return;
+			let { input: c, output: l } = x(e, s, a);
+			i[_(t.id, r, "input")] = c, i[_(t.id, r, "output")] = l;
+		});
+	}
+	return i;
+}, b = (e, t, n, r) => {
+	let i = t.parameters[r];
+	if (i) return e.getTypeOfSymbolAtLocation(i, n).getCallSignatures()[0];
+}, x = (e, t, n) => {
+	let r = (t) => e.typeToString(t, n, i.TypeFormatFlags.NoTruncation);
+	return {
+		input: `{ ${t.parameters.map((t) => {
+			let i = e.getTypeOfSymbolAtLocation(t, t.valueDeclaration ?? n), a = E(t) ? "?" : "";
+			return `${t.getName()}${a}: ${r(i)}`;
+		}).join("; ")} }`,
+		output: r(e.getReturnTypeOfSignature(t))
+	};
+}, S = () => ({ type: "object" }), C = () => ({}), w = (e, t) => {
+	let n = e.parameters?.nodes;
+	if (!n?.some(T)) return e;
+	let r = n.map((n, r) => {
+		if (!T(n)) return n;
+		let i = {
+			...n.value,
+			inputSchema: t[_(e.id, r, "input")] ?? S(),
+			outputSchema: t[_(e.id, r, "output")] ?? C()
+		};
+		return {
+			...n,
+			value: i
+		};
+	});
+	return {
+		...e,
+		parameters: {
+			...e.parameters,
+			nodes: r
+		}
+	};
+}, T = (e) => e?.value?.__typename === "SubFlowValue", E = (e) => {
+	let t = e.valueDeclaration;
+	return !!t && i.isParameter(t) && (!!t.questionToken || !!t.initializer || !!t.dotDotDotToken);
+}, D = (t, n) => {
+	let r = t.get(`node_${e(n.id)}`)?.initializer;
+	return r && i.isCallExpression(r) ? r : void 0;
+}, O = (e) => {
+	let t = /* @__PURE__ */ new Map();
+	return e.statements.forEach((e) => {
+		e.forEachChild(function e(n) {
+			i.isVariableDeclaration(n) && (n.parent.flags & i.NodeFlags.Const) !== 0 && t.set(n.name.getText(), n), n.forEachChild(e);
+		});
+	}), t;
+};
+//#endregion
+export { m as getFlowSchemas };

package/dist/util/jsonSchema.util.d.ts

@@ -0,0 +1,18 @@
+import { Schema } from 'ts-json-schema-generator';
+import { DataType } from '@code0-tech/sagittarius-graphql-types';
+/** A generated JSON Schema, as produced by {@link generateJsonSchemas}. */
+export type JsonSchema = Schema;
+/**
+ * Generates JSON schemas for a batch of named TypeScript type expressions.
+ *
+ * The type strings (e.g. `"{ item: { test: number } }"` or `"NUMBER"`) are
+ * resolved through the same shared data-type declarations the rest of the
+ * library uses, then handed to `ts-json-schema-generator` for the actual JSON
+ * Schema generation — no schema shape is hand-built here.
+ *
+ * @param typeExpressions - Map of alias name to TypeScript type expression
+ * @param dataTypes - Data type definitions used to resolve named types/generics
+ * @returns Map of the same alias names to their generated JSON schema; an alias
+ *          that fails to generate maps to the open schema `{}`
+ */
+export declare const generateJsonSchemas: (typeExpressions: Record<string, string>, dataTypes?: DataType[]) => Record<string, JsonSchema>;