@memberjunction/react-test-harness 2.121.0 → 2.122.0

package/dist/lib/type-inference-engine.d.ts

@@ -0,0 +1,148 @@
+/**
+ * Type Inference Engine - AST-based type inference for component linting
+ *
+ * This module analyzes JavaScript AST to infer and track types throughout
+ * component code. It integrates with TypeContext to provide comprehensive
+ * type information for validation rules.
+ */
+import { NodePath } from '@babel/traverse';
+import * as t from '@babel/types';
+import { ComponentSpec } from '@memberjunction/interactive-component-types';
+import { UserInfo } from '@memberjunction/core';
+import { TypeContext, TypeInfo } from './type-context';
+/**
+ * Result of type inference analysis
+ */
+export interface TypeInferenceResult {
+    /** The type context with all inferred variable types */
+    typeContext: TypeContext;
+    /** Any type errors or warnings found during inference */
+    errors: TypeInferenceError[];
+}
+/**
+ * A type error or warning found during inference
+ */
+export interface TypeInferenceError {
+    type: 'error' | 'warning';
+    message: string;
+    line: number;
+    column: number;
+    code?: string;
+}
+/**
+ * TypeInferenceEngine - Analyzes AST to infer and track types
+ */
+export declare class TypeInferenceEngine {
+    private typeContext;
+    private errors;
+    private componentSpec?;
+    private contextUser?;
+    private functionReturnTypes;
+    constructor(componentSpec?: ComponentSpec, contextUser?: UserInfo);
+    /**
+     * Analyze an AST and build type context
+     */
+    analyze(ast: t.File): Promise<TypeInferenceResult>;
+    /**
+     * Get the type context after analysis
+     */
+    getTypeContext(): TypeContext;
+    /**
+     * First pass: collect variable types from declarations and assignments
+     */
+    private collectVariableTypes;
+    /**
+     * Infer type from a variable declarator
+     */
+    private inferDeclaratorType;
+    /**
+     * Infer type from an assignment expression
+     */
+    private inferAssignmentType;
+    /**
+     * Infer types for function parameters (component props)
+     */
+    private inferFunctionParameterTypes;
+    /**
+     * Infer types for arrow function parameters
+     */
+    private inferArrowFunctionParameterTypes;
+    /**
+     * Infer types for component props from destructuring pattern
+     */
+    private inferComponentPropsTypes;
+    /**
+     * Track function return type by analyzing its body
+     */
+    private trackFunctionReturnType;
+    /**
+     * Analyze common object-building patterns in function bodies
+     * Pattern: const obj = {}; forEach(...) { obj[key] = { prop: value } }; return obj;
+     */
+    private analyzeObjectBuildingPattern;
+    /**
+     * Map component spec type to JavaScript type
+     */
+    private mapSpecTypeToJSType;
+    /**
+     * Infer types from object destructuring
+     */
+    private inferDestructuringTypes;
+    /**
+     * Infer types from array destructuring
+     */
+    private inferArrayDestructuringTypes;
+    /**
+     * Infer the type of an expression
+     */
+    inferExpressionType(node: t.Expression | t.SpreadElement | t.JSXNamespacedName | t.ArgumentPlaceholder, path?: NodePath): TypeInfo;
+    /**
+     * Infer type for array expressions
+     */
+    private inferArrayType;
+    /**
+     * Infer type for object expressions
+     */
+    private inferObjectType;
+    /**
+     * Infer type for call expressions
+     */
+    private inferCallExpressionType;
+    /**
+     * Infer type for new expressions (constructor calls)
+     */
+    private inferNewExpressionType;
+    /**
+     * Infer type for RunView result
+     */
+    private inferRunViewResultType;
+    /**
+     * Infer type for RunQuery result
+     */
+    private inferRunQueryResultType;
+    /**
+     * Infer type for member expressions
+     */
+    private inferMemberExpressionType;
+    /**
+     * Infer type for binary expressions
+     */
+    private inferBinaryExpressionType;
+    /**
+     * Infer type for unary expressions
+     */
+    private inferUnaryExpressionType;
+    /**
+     * Get inferred type for a variable by name
+     */
+    getVariableType(name: string): TypeInfo | undefined;
+    /**
+     * Check if an expression is a specific type
+     */
+    isType(node: t.Expression, expectedType: string, path?: NodePath): boolean;
+}
+/**
+ * Convenience function to analyze an AST and return type context
+ */
+export declare function analyzeTypes(ast: t.File, componentSpec?: ComponentSpec, contextUser?: UserInfo): Promise<TypeInferenceResult>;
+//# sourceMappingURL=type-inference-engine.d.ts.map

package/dist/lib/type-inference-engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-inference-engine.d.ts","sourceRoot":"","sources":["../../src/lib/type-inference-engine.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAiB,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,6CAA6C,CAAC;AAC5E,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EACL,WAAW,EACX,QAAQ,EAMT,MAAM,gBAAgB,CAAC;AAExB;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,wDAAwD;IACxD,WAAW,EAAE,WAAW,CAAC;IACzB,yDAAyD;IACzD,MAAM,EAAE,kBAAkB,EAAE,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,OAAO,GAAG,SAAS,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,MAAM,CAA4B;IAC1C,OAAO,CAAC,aAAa,CAAC,CAAgB;IACtC,OAAO,CAAC,WAAW,CAAC,CAAW;IAC/B,OAAO,CAAC,mBAAmB,CAAoC;gBAEnD,aAAa,CAAC,EAAE,aAAa,EAAE,WAAW,CAAC,EAAE,QAAQ;IAMjE;;OAEG;IACG,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAaxD;;OAEG;IACH,cAAc,IAAI,WAAW;IAI7B;;OAEG;YACW,oBAAoB;IAsClC;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAuB3B;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAU3B;;OAEG;IACH,OAAO,CAAC,2BAA2B;IAcnC;;OAEG;IACH,OAAO,CAAC,gCAAgC;IAYxC;;OAEG;IACH,OAAO,CAAC,wBAAwB;IA+DhC;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAiC/B;;;OAGG;IACH,OAAO,CAAC,4BAA4B;IA6EpC;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAc3B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAsB/B;;OAEG;IACH,OAAO,CAAC,4BAA4B;IAuBpC;;OAEG;IACH,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,iBAAiB,GAAG,CAAC,CAAC,mBAAmB,EAAE,IAAI,CAAC,EAAE,QAAQ,GAAG,QAAQ;IAoFlI;;OAEG;IACH,OAAO,CAAC,cAAc;IAetB;;OAEG;IACH,OAAO,CAAC,eAAe;IAiCvB;;OAEG;IACH,OAAO,CAAC,uBAAuB;IA0H/B;;OAEG;IACH,OAAO,CAAC,sBAAsB;IA4C9B;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAmB9B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAmB/B;;OAEG;IACH,OAAO,CAAC,yBAAyB;IAoDjC;;OAEG;IACH,OAAO,CAAC,yBAAyB;IAkCjC;;OAEG;IACH,OAAO,CAAC,wBAAwB;IAmBhC;;OAEG;IACH,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS;IAInD;;OAEG;IACH,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,QAAQ,GAAG,OAAO;CAI3E;AAED;;GAEG;AACH,wBAAsB,YAAY,CAChC,GAAG,EAAE,CAAC,CAAC,IAAI,EACX,aAAa,CAAC,EAAE,aAAa,EAC7B,WAAW,CAAC,EAAE,QAAQ,GACrB,OAAO,CAAC,mBAAmB,CAAC,CAG9B"}