reliant-type 1.0.0

package/dist/esm/core/schema/mode/interfaces/typescript/TypeInference.js

@@ -0,0 +1,223 @@
+import { TokenType } from '../conditional/types/ConditionalTypes.js';
+import { ASTWalker } from '../conditional/parser/ConditionalAST.js';
+
+/**
+ * Unified TypeScript Type Inference System
+ *
+ * Combines core schema type inference with advanced conditional analysis.
+ * This is the single source of truth for all TypeScript type operations.
+ */
+/**
+ * Type inference analyzer for existing conditional expressions
+ */
+class TypeInferenceAnalyzer {
+    /**
+     * Analyze a conditional AST and infer types
+     */
+    static analyzeConditional(ast) {
+        const analyzer = new TypeInferenceVisitor();
+        return ASTWalker.walk(ast, analyzer);
+    }
+    /**
+     * Extract field types from conditional expression
+     */
+    static extractFieldTypes(ast) {
+        const fieldTypes = {};
+        const visitor = {
+            visitConditional: (node) => {
+                ASTWalker.walk(node.condition, visitor);
+                ASTWalker.walk(node.thenValue, visitor);
+                if (node.elseValue)
+                    ASTWalker.walk(node.elseValue, visitor);
+            },
+            visitLogicalExpression: (node) => {
+                ASTWalker.walk(node.left, visitor);
+                ASTWalker.walk(node.right, visitor);
+            },
+            visitComparison: (node) => {
+                const fieldPath = node.left.path.join(".");
+                const valueType = this.inferTypeFromComparison(node);
+                fieldTypes[fieldPath] = valueType;
+            },
+            visitMethodCall: (node) => {
+                const fieldPath = node.field.path.join(".");
+                const valueType = this.inferTypeFromMethod(node);
+                fieldTypes[fieldPath] = valueType;
+            },
+            visitFieldAccess: () => { },
+            visitLiteral: () => { },
+            visitConstant: () => { },
+            visitArray: () => { },
+        };
+        ASTWalker.walk(ast, visitor);
+        return fieldTypes;
+    }
+    static inferTypeFromComparison(node) {
+        switch (node.operator) {
+            case TokenType.GREATER_THAN:
+            case TokenType.GREATER_EQUAL:
+            case TokenType.LESS_THAN:
+            case TokenType.LESS_EQUAL:
+                return "number";
+            case TokenType.MATCHES:
+                return "string";
+            case TokenType.EQUALS:
+            case TokenType.NOT_EQUALS:
+                return node.right.dataType;
+            default:
+                return "unknown";
+        }
+    }
+    static inferTypeFromMethod(node) {
+        switch (node.method) {
+            case TokenType.IN:
+            case TokenType.NOT_IN:
+                return node.arguments && node.arguments.length > 0
+                    ? node.arguments[0].dataType
+                    : "unknown";
+            case TokenType.CONTAINS:
+            case TokenType.STARTS_WITH:
+            case TokenType.ENDS_WITH:
+                return "string | array";
+            case TokenType.BETWEEN:
+                return "number";
+            case TokenType.EXISTS:
+            case TokenType.NOT_EXISTS:
+                return "any";
+            default:
+                return "unknown";
+        }
+    }
+}
+// Type inference visitor
+class TypeInferenceVisitor {
+    visitConditional(node) {
+        const conditionResult = ASTWalker.walk(node.condition, this);
+        const thenResult = ASTWalker.walk(node.thenValue, this);
+        const elseResult = node.elseValue
+            ? ASTWalker.walk(node.elseValue, this)
+            : null;
+        return {
+            fieldTypes: {
+                ...conditionResult.fieldTypes,
+                ...thenResult.fieldTypes,
+                ...(elseResult?.fieldTypes || {}),
+            },
+            returnType: this.combineTypes(thenResult.returnType, elseResult?.returnType || "undefined"),
+            complexity: conditionResult.complexity +
+                thenResult.complexity +
+                (elseResult?.complexity || 0) +
+                1,
+            suggestions: [
+                ...conditionResult.suggestions,
+                ...thenResult.suggestions,
+                ...(elseResult?.suggestions || []),
+            ],
+        };
+    }
+    visitLogicalExpression(node) {
+        const leftResult = ASTWalker.walk(node.left, this);
+        const rightResult = ASTWalker.walk(node.right, this);
+        return {
+            fieldTypes: { ...leftResult.fieldTypes, ...rightResult.fieldTypes },
+            returnType: "boolean",
+            complexity: leftResult.complexity + rightResult.complexity + 1,
+            suggestions: [...leftResult.suggestions, ...rightResult.suggestions],
+        };
+    }
+    visitComparison(node) {
+        const fieldPath = node.left.path.join(".");
+        // Use public method or implement inline
+        const fieldType = this.inferTypeFromComparison(node);
+        return {
+            fieldTypes: { [fieldPath]: fieldType },
+            returnType: "boolean",
+            complexity: 1,
+            suggestions: [],
+        };
+    }
+    visitMethodCall(node) {
+        const fieldPath = node.field.path.join(".");
+        // Use public method or implement inline
+        const fieldType = this.inferTypeFromMethod(node);
+        return {
+            fieldTypes: { [fieldPath]: fieldType },
+            returnType: "boolean",
+            complexity: 2,
+            suggestions: [],
+        };
+    }
+    inferTypeFromComparison(node) {
+        // Simple type inference based on comparison
+        if (node.right && node.right.dataType) {
+            return node.right.dataType;
+        }
+        return "unknown";
+    }
+    inferTypeFromMethod(node) {
+        // Simple type inference based on method
+        switch (node.method) {
+            case "in":
+            case "not_in":
+                return node.arguments && node.arguments.length > 0
+                    ? node.arguments[0].dataType
+                    : "unknown";
+            case "contains":
+            case "starts_with":
+            case "ends_with":
+                return "string | array";
+            case "between":
+                return "number";
+            case "exists":
+            case "not_exists":
+                return "any";
+            default:
+                return "unknown";
+        }
+    }
+    visitFieldAccess() {
+        return {
+            fieldTypes: {},
+            returnType: "unknown",
+            complexity: 0,
+            suggestions: [],
+        };
+    }
+    visitLiteral(node) {
+        return {
+            fieldTypes: {},
+            returnType: node.dataType,
+            complexity: 0,
+            suggestions: [],
+        };
+    }
+    visitConstant(_node) {
+        return {
+            fieldTypes: {},
+            returnType: "string",
+            complexity: 0,
+            suggestions: [],
+        };
+    }
+    visitArray(node) {
+        const elementType = node.elements.length > 0 ? node.elements[0].dataType : "unknown";
+        return {
+            fieldTypes: {},
+            returnType: `${elementType}[]`,
+            complexity: 0,
+            suggestions: [],
+        };
+    }
+    combineTypes(type1, type2) {
+        if (type1 === type2)
+            return type1;
+        if (type1 === "undefined")
+            return type2;
+        if (type2 === "undefined")
+            return type1;
+        return `${type1} | ${type2}`;
+    }
+}
+
+export { TypeInferenceAnalyzer };
+//# sourceMappingURL=TypeInference.js.map

package/dist/esm/core/schema/mode/interfaces/typescript/TypeInference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeInference.js","sources":["../../../../../../../src/core/schema/mode/interfaces/typescript/TypeInference.ts"],"sourcesContent":[null],"names":[],"mappings":";;;AAAA;;;;;AAKG;AAieH;;AAEG;MACU,qBAAqB,CAAA;AAChC;;AAEG;IACH,OAAO,kBAAkB,CAAC,GAAoB,EAAA;AAC5C,QAAA,MAAM,QAAQ,GAAG,IAAI,oBAAoB,EAAE,CAAC;QAC5C,OAAO,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;KACtC;AAED;;AAEG;IACH,OAAO,iBAAiB,CAAC,GAAoB,EAAA;QAC3C,MAAM,UAAU,GAA2B,EAAE,CAAC;AAE9C,QAAA,MAAM,OAAO,GAAqB;AAChC,YAAA,gBAAgB,EAAE,CAAC,IAAI,KAAI;gBACzB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;gBACxC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;gBACxC,IAAI,IAAI,CAAC,SAAS;oBAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;aAC7D;AAED,YAAA,sBAAsB,EAAE,CAAC,IAAI,KAAI;gBAC/B,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACnC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;aACrC;AAED,YAAA,eAAe,EAAE,CAAC,IAAI,KAAI;AACxB,gBAAA,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;AACrD,gBAAA,UAAU,CAAC,SAAS,CAAC,GAAG,SAAS,CAAC;aACnC;AAED,YAAA,eAAe,EAAE,CAAC,IAAI,KAAI;AACxB,gBAAA,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;AACjD,gBAAA,UAAU,CAAC,SAAS,CAAC,GAAG,SAAS,CAAC;aACnC;AAED,YAAA,gBAAgB,EAAE,MAAK,GAAG;AAC1B,YAAA,YAAY,EAAE,MAAK,GAAG;AACtB,YAAA,aAAa,EAAE,MAAK,GAAG;AACvB,YAAA,UAAU,EAAE,MAAK,GAAG;SACrB,CAAC;AAEF,QAAA,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AAC7B,QAAA,OAAO,UAAU,CAAC;KACnB;IAEO,OAAO,uBAAuB,CAAC,IAAoB,EAAA;AACzD,QAAA,QAAQ,IAAI,CAAC,QAAQ;YACnB,KAAK,SAAS,CAAC,YAAY,CAAC;YAC5B,KAAK,SAAS,CAAC,aAAa,CAAC;YAC7B,KAAK,SAAS,CAAC,SAAS,CAAC;YACzB,KAAK,SAAS,CAAC,UAAU;AACvB,gBAAA,OAAO,QAAQ,CAAC;YAElB,KAAK,SAAS,CAAC,OAAO;AACpB,gBAAA,OAAO,QAAQ,CAAC;YAElB,KAAK,SAAS,CAAC,MAAM,CAAC;YACtB,KAAK,SAAS,CAAC,UAAU;AACvB,gBAAA,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;AAE7B,YAAA;AACE,gBAAA,OAAO,SAAS,CAAC;SACpB;KACF;IAEO,OAAO,mBAAmB,CAAC,IAAoB,EAAA;AACrD,QAAA,QAAQ,IAAI,CAAC,MAAM;YACjB,KAAK,SAAS,CAAC,EAAE,CAAC;YAClB,KAAK,SAAS,CAAC,MAAM;gBACnB,OAAO,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;sBAC9C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ;sBAC1B,SAAS,CAAC;YAEhB,KAAK,SAAS,CAAC,QAAQ,CAAC;YACxB,KAAK,SAAS,CAAC,WAAW,CAAC;YAC3B,KAAK,SAAS,CAAC,SAAS;AACtB,gBAAA,OAAO,gBAAgB,CAAC;YAE1B,KAAK,SAAS,CAAC,OAAO;AACpB,gBAAA,OAAO,QAAQ,CAAC;YAElB,KAAK,SAAS,CAAC,MAAM,CAAC;YACtB,KAAK,SAAS,CAAC,UAAU;AACvB,gBAAA,OAAO,KAAK,CAAC;AAEf,YAAA;AACE,gBAAA,OAAO,SAAS,CAAC;SACpB;KACF;AACF,CAAA;AAUD;AACA,MAAM,oBAAoB,CAAA;AACxB,IAAA,gBAAgB,CAAC,IAAqB,EAAA;AACpC,QAAA,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAC7D,QAAA,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AACxD,QAAA,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS;cAC7B,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC;cACpC,IAAI,CAAC;QAET,OAAO;AACL,YAAA,UAAU,EAAE;gBACV,GAAG,eAAe,CAAC,UAAU;gBAC7B,GAAG,UAAU,CAAC,UAAU;AACxB,gBAAA,IAAI,UAAU,EAAE,UAAU,IAAI,EAAE,CAAC;AAClC,aAAA;AACD,YAAA,UAAU,EAAE,IAAI,CAAC,YAAY,CAC3B,UAAU,CAAC,UAAU,EACrB,UAAU,EAAE,UAAU,IAAI,WAAW,CACtC;YACD,UAAU,EACR,eAAe,CAAC,UAAU;AAC1B,gBAAA,UAAU,CAAC,UAAU;AACrB,iBAAC,UAAU,EAAE,UAAU,IAAI,CAAC,CAAC;gBAC7B,CAAC;AACH,YAAA,WAAW,EAAE;gBACX,GAAG,eAAe,CAAC,WAAW;gBAC9B,GAAG,UAAU,CAAC,WAAW;AACzB,gBAAA,IAAI,UAAU,EAAE,WAAW,IAAI,EAAE,CAAC;AACnC,aAAA;SACF,CAAC;KACH;AAED,IAAA,sBAAsB,CAAC,IAAS,EAAA;AAC9B,QAAA,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AACnD,QAAA,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAErD,OAAO;YACL,UAAU,EAAE,EAAE,GAAG,UAAU,CAAC,UAAU,EAAE,GAAG,WAAW,CAAC,UAAU,EAAE;AACnE,YAAA,UAAU,EAAE,SAAS;YACrB,UAAU,EAAE,UAAU,CAAC,UAAU,GAAG,WAAW,CAAC,UAAU,GAAG,CAAC;YAC9D,WAAW,EAAE,CAAC,GAAG,UAAU,CAAC,WAAW,EAAE,GAAG,WAAW,CAAC,WAAW,CAAC;SACrE,CAAC;KACH;AAED,IAAA,eAAe,CAAC,IAAS,EAAA;AACvB,QAAA,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;QAE3C,MAAM,SAAS,GAAG,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;QAErD,OAAO;AACL,YAAA,UAAU,EAAE,EAAE,CAAC,SAAS,GAAG,SAAS,EAAE;AACtC,YAAA,UAAU,EAAE,SAAS;AACrB,YAAA,UAAU,EAAE,CAAC;AACb,YAAA,WAAW,EAAE,EAAE;SAChB,CAAC;KACH;AAED,IAAA,eAAe,CAAC,IAAS,EAAA;AACvB,QAAA,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;QAE5C,MAAM,SAAS,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAEjD,OAAO;AACL,YAAA,UAAU,EAAE,EAAE,CAAC,SAAS,GAAG,SAAS,EAAE;AACtC,YAAA,UAAU,EAAE,SAAS;AACrB,YAAA,UAAU,EAAE,CAAC;AACb,YAAA,WAAW,EAAE,EAAE;SAChB,CAAC;KACH;AAEO,IAAA,uBAAuB,CAAC,IAAS,EAAA;;QAEvC,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE;AACrC,YAAA,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;SAC5B;AACD,QAAA,OAAO,SAAS,CAAC;KAClB;AAEO,IAAA,mBAAmB,CAAC,IAAS,EAAA;;AAEnC,QAAA,QAAQ,IAAI,CAAC,MAAM;AACjB,YAAA,KAAK,IAAI,CAAC;AACV,YAAA,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;sBAC9C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ;sBAC1B,SAAS,CAAC;AAChB,YAAA,KAAK,UAAU,CAAC;AAChB,YAAA,KAAK,aAAa,CAAC;AACnB,YAAA,KAAK,WAAW;AACd,gBAAA,OAAO,gBAAgB,CAAC;AAC1B,YAAA,KAAK,SAAS;AACZ,gBAAA,OAAO,QAAQ,CAAC;AAClB,YAAA,KAAK,QAAQ,CAAC;AACd,YAAA,KAAK,YAAY;AACf,gBAAA,OAAO,KAAK,CAAC;AACf,YAAA;AACE,gBAAA,OAAO,SAAS,CAAC;SACpB;KACF;IAED,gBAAgB,GAAA;QACd,OAAO;AACL,YAAA,UAAU,EAAE,EAAE;AACd,YAAA,UAAU,EAAE,SAAS;AACrB,YAAA,UAAU,EAAE,CAAC;AACb,YAAA,WAAW,EAAE,EAAE;SAChB,CAAC;KACH;AAED,IAAA,YAAY,CAAC,IAAS,EAAA;QACpB,OAAO;AACL,YAAA,UAAU,EAAE,EAAE;YACd,UAAU,EAAE,IAAI,CAAC,QAAQ;AACzB,YAAA,UAAU,EAAE,CAAC;AACb,YAAA,WAAW,EAAE,EAAE;SAChB,CAAC;KACH;AAED,IAAA,aAAa,CAAC,KAAU,EAAA;QACtB,OAAO;AACL,YAAA,UAAU,EAAE,EAAE;AACd,YAAA,UAAU,EAAE,QAAQ;AACpB,YAAA,UAAU,EAAE,CAAC;AACb,YAAA,WAAW,EAAE,EAAE;SAChB,CAAC;KACH;AAED,IAAA,UAAU,CAAC,IAAS,EAAA;QAClB,MAAM,WAAW,GACf,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,SAAS,CAAC;QACnE,OAAO;AACL,YAAA,UAAU,EAAE,EAAE;YACd,UAAU,EAAE,CAAG,EAAA,WAAW,CAAI,EAAA,CAAA;AAC9B,YAAA,UAAU,EAAE,CAAC;AACb,YAAA,WAAW,EAAE,EAAE;SAChB,CAAC;KACH;IAEO,YAAY,CAAC,KAAa,EAAE,KAAa,EAAA;QAC/C,IAAI,KAAK,KAAK,KAAK;AAAE,YAAA,OAAO,KAAK,CAAC;QAClC,IAAI,KAAK,KAAK,WAAW;AAAE,YAAA,OAAO,KAAK,CAAC;QACxC,IAAI,KAAK,KAAK,WAAW;AAAE,YAAA,OAAO,KAAK,CAAC;AACxC,QAAA,OAAO,CAAG,EAAA,KAAK,CAAM,GAAA,EAAA,KAAK,EAAE,CAAC;KAC9B;AACF;;;;"}

package/dist/esm/core/schema/mode/interfaces/typescript/index.js

@@ -0,0 +1,35 @@
+import { ConditionalIDESupport } from './IDESupport.js';
+import { TypeInferenceAnalyzer } from './TypeInference.js';
+import { Operators } from './ConditionalTypes.js';
+
+/**
+ * Unified TypeScript Integration Module
+ *
+ * Single source of truth for all TypeScript type operations, conditional logic,
+ * and IDE support. Consolidates functionality from the old types/ directory.
+ */
+/**
+ * Unified TypeScript Integration Bundle
+ *
+ * Single access point for all TypeScript functionality including:
+ * - Core type inference and schema type mapping
+ * - Advanced conditional logic and operators
+ * - IDE support and developer tooling
+ */
+({
+    /**
+     * Core type inference and analysis
+     */
+    TypeInference: TypeInferenceAnalyzer,
+    /**
+     * IDE support and developer experience
+     */
+    IDE: ConditionalIDESupport,
+    /**
+     * Operator configuration for conditional logic
+     */
+    Operators: Operators.OPERATOR_CONFIG,
+});
+
+export { ConditionalIDESupport, ConditionalIDESupport as IDE, Operators, TypeInferenceAnalyzer as TypeInference, TypeInferenceAnalyzer };
+//# sourceMappingURL=index.js.map

package/dist/esm/core/schema/mode/interfaces/typescript/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sources":["../../../../../../../src/core/schema/mode/interfaces/typescript/index.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAAA;;;;;AAKG;AAyDH;;;;;;;AAOG;CACkC;AACnC;;AAEG;AACH,IAAA,aAAa,EAAE,qBAAqB;AAEpC;;AAEG;AACH,IAAA,GAAG,EAAE,qBAAqB;AAE1B;;AAEG;IACH,SAAS,EAAE,SAAS,CAAC,eAAe;;;;;"}