@memberjunction/react-test-harness 5.37.0 → 5.39.0

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

@@ -1,181 +0,0 @@
-/**
- * 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.js';
-/**
- * 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;
-    /** Maps setState setter names to their corresponding state variable names */
-    private stateSetterMap;
-    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;
-    /**
-     * Get type inference errors found during analysis
-     */
-    getErrors(): TypeInferenceError[];
-    /**
-     * 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 callback parameter types from array method context.
-     * When an arrow function is a callback to .map(), .filter(), .reduce(), etc.,
-     * the first parameter inherits the array's element type.
-     *
-     * Example: results.map(m => m.Salary)
-     *   → `results` is array of entity-row(Members) → `m` is entity-row(Members)
-     *
-     * Returns true if callback parameters were inferred, false if not applicable.
-     */
-    private inferCallbackParameterTypes;
-    /**
-     * 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;
-    /**
-     * Validate query parameters, especially date parameters
-     */
-    private validateQueryParameters;
-    /**
-     * Validate a date variable used as a parameter
-     */
-    private validateDateVariable;
-    /**
-     * Validate a logical expression (e.g., startDate || appliedStartDate)
-     */
-    private validateDateLogicalExpression;
-    /**
-     * Validate a date parameter value
-     */
-    private validateDateParameter;
-    /**
-     * 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

@@ -1 +0,0 @@
-{"version":3,"file":"type-inference-engine.d.ts","sourceRoot":"","sources":["../../src/lib/type-inference-engine.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAkB,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAMlC,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;IAC/D,6EAA6E;IAC7E,OAAO,CAAC,cAAc,CAAkC;gBAE5C,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;IACH,SAAS,IAAI,kBAAkB,EAAE;IAIjC;;OAEG;YACW,oBAAoB;IA0FlC;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAuB3B;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAU3B;;OAEG;IACH,OAAO,CAAC,2BAA2B;IAcnC;;;;;;;;;OASG;IACH,OAAO,CAAC,2BAA2B;IA8DnC;;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;IAiCpC;;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;IAwFlI;;OAEG;IACH,OAAO,CAAC,cAAc;IAetB;;OAEG;IACH,OAAO,CAAC,eAAe;IAiCvB;;OAEG;IACH,OAAO,CAAC,uBAAuB;IA4I/B;;OAEG;IACH,OAAO,CAAC,sBAAsB;IA4C9B;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAmB9B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAyB/B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAwD/B;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAyD5B;;OAEG;IACH,OAAO,CAAC,6BAA6B;IA8BrC;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAmD7B;;OAEG;IACH,OAAO,CAAC,yBAAyB;IA0DjC;;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"}