typekro 0.4.0 → 0.5.0

package/dist/core/expressions/analysis/analyzer.d.ts

@@ -0,0 +1,155 @@
+/**
+ * JavaScript to CEL Expression Analyzer — Orchestrator
+ *
+ * This module provides the core functionality for detecting KubernetesRef objects
+ * in JavaScript expressions and converting them to appropriate CEL expressions.
+ *
+ * The analyzer works with TypeKro's magic proxy system where schema.spec.name and
+ * resources.database.status.podIP return KubernetesRef objects at runtime.
+ *
+ * Implementation is decomposed into:
+ * - cel-emitter.ts — AST-to-CEL conversion engine
+ * - scope-resolver.ts — dependency extraction & resource reference resolution
+ * - expression-classifier.ts — expression type dispatch & special case handling
+ */
+import type { Node as ESTreeNode } from 'estree';
+import type { CelExpression, KubernetesRef } from '../../types/common.js';
+import type { Enhanced } from '../../types/kubernetes.js';
+import type { SchemaProxy } from '../../types/serialization.js';
+import { type CompileTimeValidationContext, type CompileTimeValidationResult } from '../validation/compile-time-validation.js';
+import { type ResourceValidationResult, type ValidationContext } from '../validation/resource-validation.js';
+import { type CelTypeInferenceResult } from '../validation/type-inference.js';
+import { TypeRegistry, type TypeValidationResult } from '../validation/type-safety.js';
+import { type CacheOptions, type CacheStats } from './cache.js';
+import type { AnalysisContext, CelConversionResult, ExpressionValidationReport } from './shared-types.js';
+export type { AnalysisContext, CelConversionResult, ExpressionValidationReport, ValidationSummary, ValidationWarning, } from './shared-types.js';
+/**
+ * Main analyzer class for JavaScript to CEL expression conversion
+ */
+export declare class JavaScriptToCelAnalyzer {
+    private cache;
+    private typeValidator;
+    private enableMetrics;
+    constructor(cacheOptions?: CacheOptions);
+    private typeInferenceEngine;
+    private resourceValidator;
+    private compileTimeChecker;
+    private readonly boundConvertASTNode;
+    /**
+     * Analyze any expression type and convert to CEL if needed
+     */
+    analyzeExpression(expression: unknown, context: AnalysisContext): CelConversionResult;
+    /**
+     * Analyze a JavaScript string expression and convert to CEL if it contains KubernetesRef objects
+     */
+    analyzeStringExpression(expression: string, context: AnalysisContext): CelConversionResult;
+    /**
+     * Convert an AST node to CEL expression
+     */
+    convertASTNode(node: ESTreeNode, context: AnalysisContext): CelExpression;
+    /**
+     * Convert an AST node to CEL expression with source location tracking
+     */
+    convertASTNodeWithSourceTracking(node: ESTreeNode, context: AnalysisContext, originalExpression: string, sourceLocation: {
+        line: number;
+        column: number;
+        length: number;
+    }): CelExpression;
+    /**
+     * Analyze expressions that may contain KubernetesRef objects from magic proxy system
+     */
+    analyzeExpressionWithRefs(expression: unknown, context: AnalysisContext): CelConversionResult;
+    /**
+     * Convert a KubernetesRef directly to a CEL expression
+     */
+    convertKubernetesRefToCel(ref: KubernetesRef<unknown>, context: AnalysisContext): CelExpression;
+    /**
+     * Check if a value is a static literal that doesn't need conversion
+     */
+    isStaticValue(value: unknown): boolean;
+    /**
+     * Create a result for static values that don't require conversion
+     */
+    createStaticValueResult(value: unknown): CelConversionResult;
+    /**
+     * Setup type registry from analysis context
+     */
+    setupTypeRegistry(context: AnalysisContext): TypeRegistry;
+    /**
+     * Validate expression compatibility with target context
+     */
+    validateExpressionCompatibility(expression: string, context: AnalysisContext): TypeValidationResult;
+    /**
+     * Infer the type of a CEL expression
+     */
+    inferCelExpressionType(celExpression: CelExpression, context: AnalysisContext): CelTypeInferenceResult;
+    /**
+     * Infer types for multiple CEL expressions
+     */
+    inferCelExpressionTypes(celExpressions: CelExpression[], context: AnalysisContext): CelTypeInferenceResult[];
+    /**
+     * Validate type compatibility between JavaScript and CEL expressions
+     */
+    validateJavaScriptToCelTypeCompatibility(jsExpression: string, celExpression: CelExpression, context: AnalysisContext): TypeValidationResult;
+    /**
+     * Validate resource references in KubernetesRef objects
+     */
+    validateResourceReferences(refs: KubernetesRef<unknown>[], availableResources: Record<string, Enhanced<unknown, unknown>>, schemaProxy?: SchemaProxy<Record<string, unknown>, Record<string, unknown>>, validationContext?: ValidationContext): ResourceValidationResult[];
+    /**
+     * Validate a single resource reference
+     */
+    validateResourceReference(ref: KubernetesRef<unknown>, availableResources: Record<string, Enhanced<unknown, unknown>>, schemaProxy?: SchemaProxy<Record<string, unknown>, Record<string, unknown>>, validationContext?: ValidationContext): ResourceValidationResult;
+    /**
+     * Validate a reference chain for type safety and circular dependencies
+     */
+    validateReferenceChain(refs: KubernetesRef<unknown>[], availableResources: Record<string, Enhanced<unknown, unknown>>, schemaProxy?: SchemaProxy<Record<string, unknown>, Record<string, unknown>>): ResourceValidationResult;
+    /**
+     * Get comprehensive validation report for an expression
+     */
+    getValidationReport(expression: string, context: AnalysisContext): ExpressionValidationReport;
+    /**
+     * Perform compile-time type checking
+     */
+    performCompileTimeValidation(expression: string, context: CompileTimeValidationContext): CompileTimeValidationResult;
+    /**
+     * Validate compile-time compatibility for multiple expressions
+     */
+    performCompileTimeValidationBatch(expressions: string[], context: CompileTimeValidationContext): CompileTimeValidationResult[];
+    /**
+     * Validate KubernetesRef compile-time compatibility
+     */
+    validateKubernetesRefCompileTimeCompatibility(ref: KubernetesRef<unknown>, context: AnalysisContext): CompileTimeValidationResult;
+    /**
+     * Get comprehensive compile-time validation report
+     */
+    getCompileTimeValidationReport(expression: string, context: AnalysisContext): CompileTimeValidationResult | null;
+    /**
+     * Analyze expression using factory pattern aware handling
+     */
+    analyzeExpressionWithFactoryPattern(expression: unknown, context: AnalysisContext): CelConversionResult;
+    /**
+     * Create a validation summary from conversion results
+     */
+    private createValidationSummary;
+    /**
+     * Calculate overall confidence score
+     */
+    private calculateOverallConfidence;
+    /**
+     * Get cache statistics for performance monitoring
+     */
+    getCacheStats(): CacheStats;
+    /**
+     * Clear all caches
+     */
+    clearCache(): void;
+    /**
+     * Force cleanup of expired cache entries
+     */
+    cleanupCache(): number;
+    /**
+     * Destroy analyzer and cleanup resources
+     */
+    destroy(): void;
+}
+//# sourceMappingURL=analyzer.d.ts.map

package/dist/core/expressions/analysis/analyzer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../../../../src/core/expressions/analysis/analyzer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,IAAI,IAAI,UAAU,EAAE,MAAM,QAAQ,CAAC;AAGjD,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC1E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AAC1D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAEhE,OAAO,EAEL,KAAK,4BAA4B,EACjC,KAAK,2BAA2B,EACjC,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAEL,KAAK,wBAAwB,EAC7B,KAAK,iBAAiB,EACvB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAEL,KAAK,sBAAsB,EAE5B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAGL,YAAY,EAGZ,KAAK,oBAAoB,EAC1B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,UAAU,EAAmB,MAAM,YAAY,CAAC;AAiBjF,OAAO,KAAK,EACV,eAAe,EACf,mBAAmB,EACnB,0BAA0B,EAG3B,MAAM,mBAAmB,CAAC;AAI3B,YAAY,EACV,eAAe,EACf,mBAAmB,EACnB,0BAA0B,EAC1B,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,mBAAmB,CAAC;AAE3B;;GAEG;AACH,qBAAa,uBAAuB;IAClC,OAAO,CAAC,KAAK,CAAkB;IAC/B,OAAO,CAAC,aAAa,CAAiC;IACtD,OAAO,CAAC,aAAa,CAAU;gBAEnB,YAAY,CAAC,EAAE,YAAY;IAIvC,OAAO,CAAC,mBAAmB,CAAgC;IAC3D,OAAO,CAAC,iBAAiB,CAAoC;IAC7D,OAAO,CAAC,kBAAkB,CAAgC;IAK1D,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CACC;IAIrC;;OAEG;IACH,iBAAiB,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,GAAG,mBAAmB;IAoBrF;;OAEG;IACH,uBAAuB,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,GAAG,mBAAmB;IAmO1F;;OAEG;IACH,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,eAAe,GAAG,aAAa;IAIzE;;OAEG;IACH,gCAAgC,CAC9B,IAAI,EAAE,UAAU,EAChB,OAAO,EAAE,eAAe,EACxB,kBAAkB,EAAE,MAAM,EAC1B,cAAc,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAC/D,aAAa;IAYhB;;OAEG;IACH,yBAAyB,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,GAAG,mBAAmB;IAM7F;;OAEG;IACH,yBAAyB,CAAC,GAAG,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,eAAe,GAAG,aAAa;IAM/F;;OAEG;IACH,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO;IAItC;;OAEG;IACH,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,mBAAmB;IAM5D;;OAEG;IACH,iBAAiB,CAAC,OAAO,EAAE,eAAe,GAAG,YAAY;IAmBzD;;OAEG;IACH,+BAA+B,CAC7B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,eAAe,GACvB,oBAAoB;IAOvB;;OAEG;IACH,sBAAsB,CACpB,aAAa,EAAE,aAAa,EAC5B,OAAO,EAAE,eAAe,GACvB,sBAAsB;IAUzB;;OAEG;IACH,uBAAuB,CACrB,cAAc,EAAE,aAAa,EAAE,EAC/B,OAAO,EAAE,eAAe,GACvB,sBAAsB,EAAE;IAU3B;;OAEG;IACH,wCAAwC,CACtC,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,aAAa,EAC5B,OAAO,EAAE,eAAe,GACvB,oBAAoB;IAiCvB;;OAEG;IACH,0BAA0B,CACxB,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,EAC9B,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAC9D,WAAW,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAC3E,iBAAiB,CAAC,EAAE,iBAAiB,GACpC,wBAAwB,EAAE;IAS7B;;OAEG;IACH,yBAAyB,CACvB,GAAG,EAAE,aAAa,CAAC,OAAO,CAAC,EAC3B,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAC9D,WAAW,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAC3E,iBAAiB,CAAC,EAAE,iBAAiB,GACpC,wBAAwB;IAS3B;;OAEG;IACH,sBAAsB,CACpB,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,EAC9B,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAC9D,WAAW,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAC1E,wBAAwB;IAI3B;;OAEG;IACH,mBAAmB,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,GAAG,0BAA0B;IAc7F;;OAEG;IACH,4BAA4B,CAC1B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,4BAA4B,GACpC,2BAA2B;IAI9B;;OAEG;IACH,iCAAiC,CAC/B,WAAW,EAAE,MAAM,EAAE,EACrB,OAAO,EAAE,4BAA4B,GACpC,2BAA2B,EAAE;IAIhC;;OAEG;IACH,6CAA6C,CAC3C,GAAG,EAAE,aAAa,CAAC,OAAO,CAAC,EAC3B,OAAO,EAAE,eAAe,GACvB,2BAA2B;IAgC9B;;OAEG;IACH,8BAA8B,CAC5B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,eAAe,GACvB,2BAA2B,GAAG,IAAI;IAUrC;;OAEG;IACH,mCAAmC,CACjC,UAAU,EAAE,OAAO,EACnB,OAAO,EAAE,eAAe,GACvB,mBAAmB;IA2CtB;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAyB/B;;OAEG;IACH,OAAO,CAAC,0BAA0B;IA+BlC;;OAEG;IACH,aAAa,IAAI,UAAU;IAI3B;;OAEG;IACH,UAAU,IAAI,IAAI;IAIlB;;OAEG;IACH,YAAY,IAAI,MAAM;IAItB;;OAEG;IACH,OAAO,IAAI,IAAI;CAGhB"}