@eslint-react/core 5.2.0-next.0 → 5.2.1-beta.3

package/dist/index.d.ts

@@ -1,6 +1,6 @@
 import * as ast from "@eslint-react/ast";
+import { TSESTreeClass, TSESTreeDirective, TSESTreeFunction } from "@eslint-react/ast";
 import { TSESTree } from "@typescript-eslint/types";
-import { SemanticNode as SemanticNode$1 } from "@eslint-react/core";
 import { RuleContext } from "@eslint-react/eslint";
 import { RegExpLike } from "@eslint-react/shared";
 import { ESLintUtils, TSESTree as TSESTree$1 } from "@typescript-eslint/utils";
@@ -113,11 +113,63 @@ declare const isUseStateCall: isAPICall.ReturnType;
 declare const isUseSyncExternalStoreCall: isAPICall.ReturnType;
 declare const isUseTransitionCall: isAPICall.ReturnType;
 //#endregion
+//#region src/class.d.ts
+/**
+ * Get the class identifier of a class node
+ * @param node The class node to get the identifier from
+ * @returns The class identifier or null if not found
+ */
+declare function getClassId(node: TSESTreeClass): TSESTree.BindingName | null;
+//#endregion
+//#region src/semantic.d.ts
+/**
+ * Represents a semantic node in the AST
+ * This is the base interface for all semantic nodes in the React semantic analysis
+ */
+interface SemanticNode {
+  /** The identifier of the node */
+  id: null | TSESTree.Node;
+  /** The unique key of the node */
+  key: string;
+  /** The kind of the node */
+  kind: string;
+  /** The name of the node */
+  name: null | string;
+  /** The flag of the node */
+  flag: bigint;
+  /** The hint of the node */
+  hint: bigint;
+  /** The AST node */
+  node: TSESTree.Node;
+}
+/**
+ * Represents a semantic function node in the AST
+ * This interface extends SemanticNode and provides additional properties for function analysis
+ */
+interface SemanticFunc extends SemanticNode {
+  /** The identifier of the function */
+  id: null | TSESTree.Node;
+  /** The AST node of the function */
+  node: ast.TSESTreeFunction;
+  /** The name of the function */
+  name: string | null;
+  /** The return type annotation of the function */
+  type: TSESTree.TSTypeAnnotation | null;
+  /** The body of the function */
+  body: TSESTree.BlockStatement | TSESTree.Expression;
+  /** The directives of the function (ex: "use strict", "use client", "use server", etc.) */
+  directives: ast.TSESTreeDirective[];
+  /** The parameters of the function */
+  parameters: TSESTree.Parameter[];
+  /** The type parameters of the function */
+  typeParameters: TSESTree.TSTypeParameterDeclaration | null;
+}
+//#endregion
 //#region src/class-component.d.ts
 /**
  * @deprecated Class components are legacy. This type exists only to support legacy rules.
  */
-interface ClassComponentSemanticNode extends SemanticNode$1 {
+interface ClassComponentSemanticNode extends SemanticNode {
   id: null | TSESTree.BindingName;
   kind: "class-component";
   displayName: null | TSESTree.Expression;
@@ -214,77 +266,94 @@ declare namespace getClassComponentCollector {
  */
 declare function getClassComponentCollector(context: RuleContext): getClassComponentCollector.ReturnType;
 //#endregion
-//#region src/semantic.d.ts
+//#region src/function.d.ts
 /**
- * Represents a semantic node in the AST
- * This is the base interface for all semantic nodes in the React semantic analysis
+ * Type representing the return type of `getFunctionId`.
  */
-interface SemanticNode {
-  /** The identifier of the node */
-  id: null | TSESTree.Node;
-  /** The unique key of the node */
-  key: string;
-  /** The kind of the node */
-  kind: string;
-  /** The name of the node */
-  name: null | string;
-  /** The flag of the node */
-  flag: bigint;
-  /** The hint of the node */
-  hint: bigint;
-  /** The AST node */
-  node: TSESTree.Node;
-}
+type FunctionID = ReturnType<typeof getFunctionId>;
 /**
- * Represents a semantic function node in the AST
- * This interface extends SemanticNode and provides additional properties for function analysis
+ * Represents various AST paths for function declarations.
+ * Each tuple type represents a specific function definition pattern.
  */
-interface SemanticFunc extends SemanticNode {
-  /** The identifier of the function */
-  id: ast.FunctionID;
-  /** The AST node of the function */
-  node: ast.TSESTreeFunction;
-  /** The name of the function */
-  name: string | null;
-  /** The return type annotation of the function */
-  type: TSESTree.TSTypeAnnotation | null;
-  /** The body of the function */
-  body: TSESTree.BlockStatement | TSESTree.Expression;
-  /** The directives of the function (ex: "use strict", "use client", "use server", etc.) */
-  directives: ast.TSESTreeDirective[];
-  /** The parameters of the function */
-  parameters: TSESTree.Parameter[];
-  /** The type parameters of the function */
-  typeParameters: TSESTree.TSTypeParameterDeclaration | null;
-}
-//#endregion
-//#region src/function.d.ts
+type FunctionInitPath = readonly [TSESTree.FunctionDeclaration] | readonly [TSESTree.VariableDeclaration, TSESTree.VariableDeclarator, TSESTreeFunction] | readonly [TSESTree.VariableDeclaration, TSESTree.VariableDeclarator, TSESTree.CallExpression, TSESTreeFunction] | readonly [TSESTree.VariableDeclaration, TSESTree.VariableDeclarator, TSESTree.CallExpression, TSESTree.CallExpression, TSESTreeFunction] | readonly [TSESTree.VariableDeclaration, TSESTree.VariableDeclarator, TSESTree.ObjectExpression, TSESTree.Property, TSESTreeFunction] | readonly [TSESTree.VariableDeclaration, TSESTree.VariableDeclarator, TSESTree.ObjectExpression, TSESTree.Property, TSESTree.CallExpression, TSESTreeFunction] | readonly [TSESTree.VariableDeclaration, TSESTree.VariableDeclarator, TSESTree.ObjectExpression, TSESTree.Property, TSESTree.CallExpression, TSESTree.CallExpression, TSESTreeFunction] | readonly [TSESTree.ClassDeclaration | TSESTree.ClassExpression, TSESTree.ClassBody, TSESTree.MethodDefinition, TSESTreeFunction] | readonly [TSESTree.ClassDeclaration | TSESTree.ClassExpression, TSESTree.ClassBody, TSESTree.PropertyDefinition, TSESTreeFunction];
 /**
- * Represents the kind of a React function
+ * Represents the kind of a function.
  */
 type FunctionKind = "client-function" | "server-function";
 /**
- * Represents a React Client Function
+ * Represents a client function semantic node.
  */
 interface ClientFunctionSemanticNode extends SemanticFunc {
   /**
-   * The kind of function
+   * The kind of function.
    */
   kind: "client-function";
 }
 /**
- * Represents a React Server Function
+ * Represents a server function semantic node.
  */
 interface ServerFunctionSemanticNode extends SemanticFunc {
   /**
-   * The kind of function
+   * The kind of function.
    */
   kind: "server-function";
 }
 /**
- * Represents a React Function
+ * Represents a function semantic node.
  */
 type FunctionSemanticNode = ClientFunctionSemanticNode | ServerFunctionSemanticNode;
+/**
+ * Gets the static identifier of a function AST node.
+ *
+ * @remarks
+ * For function declarations this is straightforward. For anonymous function
+ * expressions it is more complex. This function roughly detects the same AST
+ * nodes as the ECMAScript spec's `IsAnonymousFunctionDefinition()` with some
+ * exceptions to better fit our use case.
+ *
+ * Ported from {@link https://github.com/facebook/react/blob/bb8a76c6cc77ea2976d690ea09f5a1b3d9b1792a/packages/eslint-plugin-react-hooks/src/rules/RulesOfHooks.ts#L860 | RulesOfHooks.ts}
+ *
+ * @param node - The function node to analyze.
+ * @returns The identifier node if found, `null` otherwise.
+ */
+declare function getFunctionId(node: TSESTree.Expression | TSESTreeFunction): TSESTree.ArrayExpression | TSESTree.ArrayPattern | TSESTree.ArrowFunctionExpression | TSESTree.AssignmentExpression | TSESTree.AwaitExpression | TSESTree.PrivateInExpression | TSESTree.SymmetricBinaryExpression | TSESTree.CallExpression | TSESTree.ChainExpression | TSESTree.ClassExpression | TSESTree.ConditionalExpression | TSESTree.FunctionExpression | TSESTree.Identifier | TSESTree.ImportExpression | TSESTree.JSXElement | TSESTree.JSXFragment | TSESTree.BigIntLiteral | TSESTree.BooleanLiteral | TSESTree.NullLiteral | TSESTree.NumberLiteral | TSESTree.RegExpLiteral | TSESTree.StringLiteral | TSESTree.LogicalExpression | TSESTree.MemberExpressionComputedName | TSESTree.MemberExpressionNonComputedName | TSESTree.MetaProperty | TSESTree.NewExpression | TSESTree.ObjectExpression | TSESTree.ObjectPattern | TSESTree.PrivateIdentifier | TSESTree.SequenceExpression | TSESTree.Super | TSESTree.TaggedTemplateExpression | TSESTree.TemplateLiteral | TSESTree.ThisExpression | TSESTree.TSAsExpression | TSESTree.TSInstantiationExpression | TSESTree.TSNonNullExpression | TSESTree.TSSatisfiesExpression | TSESTree.TSTypeAssertion | TSESTree.UnaryExpressionBitwiseNot | TSESTree.UnaryExpressionDelete | TSESTree.UnaryExpressionMinus | TSESTree.UnaryExpressionNot | TSESTree.UnaryExpressionPlus | TSESTree.UnaryExpressionTypeof | TSESTree.UnaryExpressionVoid | TSESTree.UpdateExpression | TSESTree.YieldExpression | null;
+/**
+ * Identifies the initialization path of a function node in the AST.
+ *
+ * @param node - The function node to analyze.
+ * @returns The function initialization path or `null` if not identifiable.
+ */
+declare function getFunctionInitPath(node: TSESTreeFunction): null | FunctionInitPath;
+/**
+ * Checks if a specific function call exists in the function initialization path.
+ *
+ * @param callName - The name of the call to check for (e.g., "memo", "forwardRef").
+ * @param initPath - The function initialization path to search in.
+ * @returns `true` if the call exists in the path, `false` otherwise.
+ */
+declare function isFunctionHasCallInInitPath(callName: string, initPath: FunctionInitPath): boolean;
+/**
+ * Checks if a function is empty.
+ *
+ * @param node - The function node to check.
+ * @returns `true` if the function is empty, `false` otherwise.
+ */
+declare function isFunctionEmpty(node: TSESTreeFunction): boolean;
+/**
+ * Gets all directive expression statements from the top of a function body.
+ *
+ * @param node - The function AST node.
+ * @returns An array of directive expression statements.
+ */
+declare function getFunctionDirectives(node: TSESTreeFunction): TSESTreeDirective[];
+/**
+ * Checks if a directive with the given name exists in the function directives.
+ *
+ * @param node - The function AST node.
+ * @param name - The directive name to check (e.g., "use memo", "use no memo").
+ * @returns `true` if the directive exists, `false` otherwise.
+ */
+declare function isFunctionHasDirective(node: TSESTreeFunction, name: string): boolean;
 //#endregion
 //#region src/function-component.d.ts
 /**
@@ -294,7 +363,7 @@ interface FunctionComponentSemanticNode extends SemanticNode {
   /**
    * The identifier or identifier sequence of the component
    */
-  id: ast.FunctionID;
+  id: FunctionID;
   /**
    * The kind of component
    */
@@ -318,7 +387,7 @@ interface FunctionComponentSemanticNode extends SemanticNode {
   /**
    * The initialization path of the function
    */
-  initPath: null | ast.FunctionInitPath;
+  initPath: null | FunctionInitPath;
   /**
    * Indicates if the component is inside an export default declaration
    */
@@ -377,7 +446,7 @@ declare function isFunctionComponentWrapperCallback(context: RuleContext, node:
  * @param node The AST node to get the function component identifier from
  * @internal
  */
-declare function getFunctionComponentId(context: RuleContext, node: ast.TSESTreeFunction): ast.FunctionID;
+declare function getFunctionComponentId(context: RuleContext, node: ast.TSESTreeFunction): FunctionID;
 /**
  * Check if a string matches the strict component name pattern
  * @param name The name to check
@@ -463,7 +532,7 @@ declare function getFunctionComponentCollector(context: RuleContext, options?: g
  */
 interface HookSemanticNode extends SemanticNode {
   /** The identifier of the hook */
-  id: ast.FunctionID;
+  id: FunctionID;
   /** The AST node of the hook */
   node: ast.TSESTreeFunction;
   /** The kind of hook */
@@ -670,4 +739,4 @@ type TypeVariant = "any" | "bigint" | "boolean" | "enum" | "never" | "nullish" |
  */
 declare function getTypeVariants(types: ts.Type[]): Set<TypeVariant>;
 //#endregion
-export { ClassComponentSemanticNode, ClientFunctionSemanticNode, DEFAULT_COMPONENT_DETECTION_HINT, FunctionComponentDetectionHint, FunctionComponentFlag, FunctionComponentSemanticNode, FunctionKind, FunctionSemanticNode, HookSemanticNode, REACT_BUILTIN_HOOK_NAMES, SemanticFunc, SemanticNode, ServerFunctionSemanticNode, TypeVariant, getClassComponentCollector, getFullyQualifiedNameEx, getFunctionComponentCollector, getFunctionComponentFlagFromInitPath, getFunctionComponentId, getHookCollector, getTypeVariants, isAPI, isAPICall, isAPIFromReact, isAPIFromReactNative, isAnyType, isAssignmentToThisState, isBigIntType, isBooleanLiteralType, isBooleanType, isCaptureOwnerStack, isCaptureOwnerStackCall, isChildrenCount, isChildrenCountCall, isChildrenForEach, isChildrenForEachCall, isChildrenMap, isChildrenMapCall, isChildrenOnly, isChildrenOnlyCall, isChildrenToArray, isChildrenToArrayCall, isClassComponent, isClassComponentLoose, isCloneElement, isCloneElementCall, isComponentDidCatch, isComponentDidMount, isComponentDidUpdate, isComponentWillMount, isComponentWillReceiveProps, isComponentWillUnmount, isComponentWillUpdate, isCreateContext, isCreateContextCall, isCreateElement, isCreateElementCall, isCreateRef, isCreateRefCall, isEnumType, isFalseLiteralType, isFalsyBigIntType, isFalsyNumberType, isFalsyStringType, isForwardRef, isForwardRefCall, isFunctionComponentDefinition, isFunctionComponentName, isFunctionComponentNameLoose, isFunctionComponentWrapperCall, isFunctionComponentWrapperCallback, isFunctionWithLooseComponentName, isGetChildContext, isGetDefaultProps, isGetDerivedStateFromError, isGetDerivedStateFromProps, isGetInitialState, isGetSnapshotBeforeUpdate, isHookCall, isHookDefinition, isHookId, isHookName, isLazy, isLazyCall, isMemo, isMemoCall, isNeverType, isNullishType, isNumberType, isObjectType, isPureComponent, isRender, isRenderMethodCallback, isRenderMethodLike, isShouldComponentUpdate, isStringType, isThisSetStateCall, isTrueLiteralType, isTruthyBigIntType, isTruthyNumberType, isTruthyStringType, isUnknownType, isUnsafeComponentWillMount, isUnsafeComponentWillReceiveProps, isUnsafeComponentWillUpdate, isUse, isUseActionState, isUseActionStateCall, isUseCall, isUseCallback, isUseCallbackCall, isUseContext, isUseContextCall, isUseDebugValue, isUseDebugValueCall, isUseDeferredValue, isUseDeferredValueCall, isUseEffect, isUseEffectCall, isUseEffectCleanupCallback, isUseEffectLikeCall, isUseEffectSetupCallback, isUseFormStatus, isUseFormStatusCall, isUseId, isUseIdCall, isUseImperativeHandle, isUseImperativeHandleCall, isUseInsertionEffect, isUseInsertionEffectCall, isUseLayoutEffect, isUseLayoutEffectCall, isUseMemo, isUseMemoCall, isUseOptimistic, isUseOptimisticCall, isUseReducer, isUseReducerCall, isUseRef, isUseRefCall, isUseState, isUseStateCall, isUseStateLikeCall, isUseSyncExternalStore, isUseSyncExternalStoreCall, isUseTransition, isUseTransitionCall };
+export { ClassComponentSemanticNode, ClientFunctionSemanticNode, DEFAULT_COMPONENT_DETECTION_HINT, FunctionComponentDetectionHint, FunctionComponentFlag, FunctionComponentSemanticNode, FunctionID, FunctionInitPath, FunctionKind, FunctionSemanticNode, HookSemanticNode, REACT_BUILTIN_HOOK_NAMES, SemanticFunc, SemanticNode, ServerFunctionSemanticNode, TypeVariant, getClassComponentCollector, getClassId, getFullyQualifiedNameEx, getFunctionComponentCollector, getFunctionComponentFlagFromInitPath, getFunctionComponentId, getFunctionDirectives, getFunctionId, getFunctionInitPath, getHookCollector, getTypeVariants, isAPI, isAPICall, isAPIFromReact, isAPIFromReactNative, isAnyType, isAssignmentToThisState, isBigIntType, isBooleanLiteralType, isBooleanType, isCaptureOwnerStack, isCaptureOwnerStackCall, isChildrenCount, isChildrenCountCall, isChildrenForEach, isChildrenForEachCall, isChildrenMap, isChildrenMapCall, isChildrenOnly, isChildrenOnlyCall, isChildrenToArray, isChildrenToArrayCall, isClassComponent, isClassComponentLoose, isCloneElement, isCloneElementCall, isComponentDidCatch, isComponentDidMount, isComponentDidUpdate, isComponentWillMount, isComponentWillReceiveProps, isComponentWillUnmount, isComponentWillUpdate, isCreateContext, isCreateContextCall, isCreateElement, isCreateElementCall, isCreateRef, isCreateRefCall, isEnumType, isFalseLiteralType, isFalsyBigIntType, isFalsyNumberType, isFalsyStringType, isForwardRef, isForwardRefCall, isFunctionComponentDefinition, isFunctionComponentName, isFunctionComponentNameLoose, isFunctionComponentWrapperCall, isFunctionComponentWrapperCallback, isFunctionEmpty, isFunctionHasCallInInitPath, isFunctionHasDirective, isFunctionWithLooseComponentName, isGetChildContext, isGetDefaultProps, isGetDerivedStateFromError, isGetDerivedStateFromProps, isGetInitialState, isGetSnapshotBeforeUpdate, isHookCall, isHookDefinition, isHookId, isHookName, isLazy, isLazyCall, isMemo, isMemoCall, isNeverType, isNullishType, isNumberType, isObjectType, isPureComponent, isRender, isRenderMethodCallback, isRenderMethodLike, isShouldComponentUpdate, isStringType, isThisSetStateCall, isTrueLiteralType, isTruthyBigIntType, isTruthyNumberType, isTruthyStringType, isUnknownType, isUnsafeComponentWillMount, isUnsafeComponentWillReceiveProps, isUnsafeComponentWillUpdate, isUse, isUseActionState, isUseActionStateCall, isUseCall, isUseCallback, isUseCallbackCall, isUseContext, isUseContextCall, isUseDebugValue, isUseDebugValueCall, isUseDeferredValue, isUseDeferredValueCall, isUseEffect, isUseEffectCall, isUseEffectCleanupCallback, isUseEffectLikeCall, isUseEffectSetupCallback, isUseFormStatus, isUseFormStatusCall, isUseId, isUseIdCall, isUseImperativeHandle, isUseImperativeHandleCall, isUseInsertionEffect, isUseInsertionEffectCall, isUseLayoutEffect, isUseLayoutEffectCall, isUseMemo, isUseMemoCall, isUseOptimistic, isUseOptimisticCall, isUseReducer, isUseReducerCall, isUseRef, isUseRefCall, isUseState, isUseStateCall, isUseStateLikeCall, isUseSyncExternalStore, isUseSyncExternalStoreCall, isUseTransition, isUseTransitionCall };

package/dist/index.js

@@ -1,7 +1,7 @@
 import * as ast from "@eslint-react/ast";
+import { isDirective, isMethodOrProperty, isTypeAssertionExpression, isTypeExpression } from "@eslint-react/ast";
 import { resolveImportSource } from "@eslint-react/var";
 import { AST_NODE_TYPES } from "@typescript-eslint/types";
-import { isAPIFromReact as isAPIFromReact$1 } from "@eslint-react/core";
 import "@eslint-react/eslint";
 import { ulid } from "ulid";
 import { JsxDetectionHint, isJsxLike } from "@eslint-react/jsx";
@@ -10,7 +10,7 @@ import { AST_NODE_TYPES as AST_NODE_TYPES$1 } from "@typescript-eslint/utils";
 import { P, isMatching, match } from "ts-pattern";
 import ts from "typescript";
 
-//#region ../../../.pkgs/eff/dist/index.js
+//#region ../../.pkgs/eff/dist/index.js
 /**
 * Creates a function that can be used in a data-last (aka `pipe`able) or
 * data-first style.
@@ -255,6 +255,19 @@ const isUseStateCall = isAPICall("useState");
 const isUseSyncExternalStoreCall = isAPICall("useSyncExternalStore");
 const isUseTransitionCall = isAPICall("useTransition");
 
+//#endregion
+//#region src/class.ts
+/**
+* Get the class identifier of a class node
+* @param node The class node to get the identifier from
+* @returns The class identifier or null if not found
+*/
+function getClassId(node) {
+	if (node.id != null) return node.id;
+	if (node.parent.type === AST_NODE_TYPES.VariableDeclarator) return node.parent.id;
+	return null;
+}
+
 //#endregion
 //#region src/class-component.ts
 function isClassComponent(node, context) {
@@ -264,11 +277,11 @@ function isClassComponent(node, context) {
 			case node.superClass.type === AST_NODE_TYPES.Identifier:
 				if (!re.test(node.superClass.name)) return false;
 				if (context == null) return true;
-				return isAPIFromReact$1(node.superClass.name, context.sourceCode.getScope(node), "react");
+				return isAPIFromReact(node.superClass.name, context.sourceCode.getScope(node), "react");
 			case node.superClass.type === AST_NODE_TYPES.MemberExpression && node.superClass.property.type === AST_NODE_TYPES.Identifier:
 				if (!re.test(node.superClass.property.name)) return false;
 				if (context == null) return true;
-				if (node.superClass.object.type === AST_NODE_TYPES.Identifier) return isAPIFromReact$1(node.superClass.object.name, context.sourceCode.getScope(node), "react");
+				if (node.superClass.object.type === AST_NODE_TYPES.Identifier) return isAPIFromReact(node.superClass.object.name, context.sourceCode.getScope(node), "react");
 				return true;
 		}
 	}
@@ -380,7 +393,7 @@ function getClassComponentCollector(context) {
 	const getText = (n) => context.sourceCode.getText(n);
 	const collect = (node) => {
 		if (!isClassComponent(node)) return;
-		const id = ast.getClassId(node);
+		const id = getClassId(node);
 		const key = ulid();
 		const name = id == null ? null : ast.getFullyQualifiedName(id, getText);
 		components.set(key, {
@@ -404,6 +417,137 @@ function getClassComponentCollector(context) {
 	};
 }
 
+//#endregion
+//#region src/function.ts
+/**
+* Gets the static identifier of a function AST node.
+*
+* @remarks
+* For function declarations this is straightforward. For anonymous function
+* expressions it is more complex. This function roughly detects the same AST
+* nodes as the ECMAScript spec's `IsAnonymousFunctionDefinition()` with some
+* exceptions to better fit our use case.
+*
+* Ported from {@link https://github.com/facebook/react/blob/bb8a76c6cc77ea2976d690ea09f5a1b3d9b1792a/packages/eslint-plugin-react-hooks/src/rules/RulesOfHooks.ts#L860 | RulesOfHooks.ts}
+*
+* @param node - The function node to analyze.
+* @returns The identifier node if found, `null` otherwise.
+*/
+function getFunctionId(node) {
+	switch (true) {
+		case "id" in node && node.id != null: return node.id;
+		case node.parent.type === AST_NODE_TYPES.VariableDeclarator && node.parent.init === node: return node.parent.id;
+		case node.parent.type === AST_NODE_TYPES.AssignmentExpression && node.parent.right === node && node.parent.operator === "=": return node.parent.left;
+		case node.parent.type === AST_NODE_TYPES.Property && node.parent.value === node && !node.parent.computed: return node.parent.key;
+		case isMethodOrProperty(node.parent) && node.parent.value === node: return node.parent.key;
+		case node.parent.type === AST_NODE_TYPES.AssignmentPattern && node.parent.right === node: return node.parent.left;
+		case node.parent.type === AST_NODE_TYPES.ConditionalExpression: return getFunctionId(node.parent);
+		case isTypeAssertionExpression(node.parent): return getFunctionId(node.parent);
+	}
+	return null;
+}
+/**
+* Identifies the initialization path of a function node in the AST.
+*
+* @param node - The function node to analyze.
+* @returns The function initialization path or `null` if not identifiable.
+*/
+function getFunctionInitPath(node) {
+	if (node.type === AST_NODE_TYPES.FunctionDeclaration) return [node];
+	let parent = node.parent;
+	while (isTypeExpression(parent)) parent = parent.parent;
+	switch (true) {
+		case parent.type === AST_NODE_TYPES.VariableDeclarator: return [
+			parent.parent,
+			parent,
+			node
+		];
+		case parent.type === AST_NODE_TYPES.CallExpression && parent.parent.type === AST_NODE_TYPES.VariableDeclarator: return [
+			parent.parent.parent,
+			parent.parent,
+			parent,
+			node
+		];
+		case parent.type === AST_NODE_TYPES.CallExpression && parent.parent.type === AST_NODE_TYPES.CallExpression && parent.parent.parent.type === AST_NODE_TYPES.VariableDeclarator: return [
+			parent.parent.parent.parent,
+			parent.parent.parent,
+			parent.parent,
+			parent,
+			node
+		];
+		case parent.type === AST_NODE_TYPES.Property && parent.parent.type === AST_NODE_TYPES.ObjectExpression && parent.parent.parent.type === AST_NODE_TYPES.VariableDeclarator: return [
+			parent.parent.parent.parent,
+			parent.parent.parent,
+			parent.parent,
+			parent,
+			node
+		];
+		case parent.type === AST_NODE_TYPES.MethodDefinition: return [
+			parent.parent.parent,
+			parent.parent,
+			parent,
+			node
+		];
+		case parent.type === AST_NODE_TYPES.PropertyDefinition: return [
+			parent.parent.parent,
+			parent.parent,
+			parent,
+			node
+		];
+	}
+	return null;
+}
+/**
+* Checks if a specific function call exists in the function initialization path.
+*
+* @param callName - The name of the call to check for (e.g., "memo", "forwardRef").
+* @param initPath - The function initialization path to search in.
+* @returns `true` if the call exists in the path, `false` otherwise.
+*/
+function isFunctionHasCallInInitPath(callName, initPath) {
+	return initPath.some((node) => {
+		if (node.type !== AST_NODE_TYPES.CallExpression) return false;
+		const { callee } = node;
+		if (callee.type === AST_NODE_TYPES.Identifier) return callee.name === callName;
+		if (callee.type === AST_NODE_TYPES.MemberExpression && "name" in callee.property) return callee.property.name === callName;
+		return false;
+	});
+}
+/**
+* Checks if a function is empty.
+*
+* @param node - The function node to check.
+* @returns `true` if the function is empty, `false` otherwise.
+*/
+function isFunctionEmpty(node) {
+	return node.body.type === AST_NODE_TYPES.BlockStatement && node.body.body.length === 0;
+}
+/**
+* Gets all directive expression statements from the top of a function body.
+*
+* @param node - The function AST node.
+* @returns An array of directive expression statements.
+*/
+function getFunctionDirectives(node) {
+	const directives = [];
+	if (node.body.type !== AST_NODE_TYPES.BlockStatement) return directives;
+	for (const stmt of node.body.body) {
+		if (!isDirective(stmt)) continue;
+		directives.push(stmt);
+	}
+	return directives;
+}
+/**
+* Checks if a directive with the given name exists in the function directives.
+*
+* @param node - The function AST node.
+* @param name - The directive name to check (e.g., "use memo", "use no memo").
+* @returns `true` if the directive exists, `false` otherwise.
+*/
+function isFunctionHasDirective(node, name) {
+	return getFunctionDirectives(node).some((d) => d.directive === name);
+}
+
 //#endregion
 //#region src/function-component.ts
 /**
@@ -424,8 +568,8 @@ const FunctionComponentFlag = {
 */
 function getFunctionComponentFlagFromInitPath(initPath) {
 	let flag = FunctionComponentFlag.None;
-	if (initPath != null && ast.hasCallInFunctionInitPath("memo", initPath)) flag |= FunctionComponentFlag.Memo;
-	if (initPath != null && ast.hasCallInFunctionInitPath("forwardRef", initPath)) flag |= FunctionComponentFlag.ForwardRef;
+	if (initPath != null && isFunctionHasCallInInitPath("memo", initPath)) flag |= FunctionComponentFlag.Memo;
+	if (initPath != null && isFunctionHasCallInInitPath("forwardRef", initPath)) flag |= FunctionComponentFlag.ForwardRef;
 	return flag;
 }
 /**
@@ -458,7 +602,7 @@ function isFunctionComponentWrapperCallback(context, node) {
 * @internal
 */
 function getFunctionComponentId(context, node) {
-	const functionId = ast.getFunctionId(node);
+	const functionId = getFunctionId(node);
 	if (functionId != null) return functionId;
 	let parent = node.parent;
 	while (ast.isTypeExpression(parent)) parent = parent.parent;
@@ -550,7 +694,7 @@ function isFunctionComponentDefinition(context, node, hint) {
 		case parent.type === AST_NODE_TYPES.CallExpression && parent.callee.type === AST_NODE_TYPES.MemberExpression && parent.callee.property.type === AST_NODE_TYPES.Identifier && parent.callee.property.name === "flatMap":
 			if (hint & FunctionComponentDetectionHint.DoNotIncludeFunctionDefinedAsArrayFlatMapCallback) return false;
 			break;
-		case parent.type === AST_NODE_TYPES.CallExpression && ast.getFunctionId(node) == null && !isFunctionComponentWrapperCall(context, parent) && !isCreateElementCall(context, parent):
+		case parent.type === AST_NODE_TYPES.CallExpression && getFunctionId(node) == null && !isFunctionComponentWrapperCall(context, parent) && !isCreateElementCall(context, parent):
 			if (hint & FunctionComponentDetectionHint.DoNotIncludeFunctionDefinedAsArbitraryCallExpressionCallback) return false;
 			break;
 	}
@@ -617,7 +761,7 @@ function isHookId(id) {
 */
 function isHookDefinition(node) {
 	if (node == null) return false;
-	const id = ast.getFunctionId(node);
+	const id = getFunctionId(node);
 	switch (id?.type) {
 		case AST_NODE_TYPES.Identifier: return isHookName(id.name);
 		case AST_NODE_TYPES.MemberExpression: return "name" in id.property && isHookName(id.property.name);
@@ -707,8 +851,8 @@ function getFunctionComponentCollector(context, options = {}) {
 		const isExportDefaultDeclaration = exp != null && ast.getUnderlyingExpression(exp.declaration) === node;
 		const id = getFunctionComponentId(context, node);
 		const name = id == null ? null : ast.getFullyQualifiedName(id, getText);
-		const initPath = ast.getFunctionInitPath(node);
-		const directives = ast.getFunctionDirectives(node);
+		const initPath = getFunctionInitPath(node);
+		const directives = getFunctionDirectives(node);
 		const entry = {
 			id,
 			key,
@@ -792,7 +936,7 @@ function getHookCollector(context) {
 	const getText = (n) => context.sourceCode.getText(n);
 	const getCurrentEntry = () => functionEntries.at(-1) ?? null;
 	const onFunctionEnter = (node) => {
-		const id = ast.getFunctionId(node);
+		const id = getFunctionId(node);
 		const key = ulid();
 		const entry = {
 			id,
@@ -990,4 +1134,4 @@ function getTypeVariants(types) {
 }
 
 //#endregion
-export { DEFAULT_COMPONENT_DETECTION_HINT, FunctionComponentDetectionHint, FunctionComponentFlag, REACT_BUILTIN_HOOK_NAMES, getClassComponentCollector, getFullyQualifiedNameEx, getFunctionComponentCollector, getFunctionComponentFlagFromInitPath, getFunctionComponentId, getHookCollector, getTypeVariants, isAPI, isAPICall, isAPIFromReact, isAPIFromReactNative, isAnyType, isAssignmentToThisState, isBigIntType, isBooleanLiteralType, isBooleanType, isCaptureOwnerStack, isCaptureOwnerStackCall, isChildrenCount, isChildrenCountCall, isChildrenForEach, isChildrenForEachCall, isChildrenMap, isChildrenMapCall, isChildrenOnly, isChildrenOnlyCall, isChildrenToArray, isChildrenToArrayCall, isClassComponent, isClassComponentLoose, isCloneElement, isCloneElementCall, isComponentDidCatch, isComponentDidMount, isComponentDidUpdate, isComponentWillMount, isComponentWillReceiveProps, isComponentWillUnmount, isComponentWillUpdate, isCreateContext, isCreateContextCall, isCreateElement, isCreateElementCall, isCreateRef, isCreateRefCall, isEnumType, isFalseLiteralType, isFalsyBigIntType, isFalsyNumberType, isFalsyStringType, isForwardRef, isForwardRefCall, isFunctionComponentDefinition, isFunctionComponentName, isFunctionComponentNameLoose, isFunctionComponentWrapperCall, isFunctionComponentWrapperCallback, isFunctionWithLooseComponentName, isGetChildContext, isGetDefaultProps, isGetDerivedStateFromError, isGetDerivedStateFromProps, isGetInitialState, isGetSnapshotBeforeUpdate, isHookCall, isHookDefinition, isHookId, isHookName, isLazy, isLazyCall, isMemo, isMemoCall, isNeverType, isNullishType, isNumberType, isObjectType, isPureComponent, isRender, isRenderMethodCallback, isRenderMethodLike, isShouldComponentUpdate, isStringType, isThisSetStateCall, isTrueLiteralType, isTruthyBigIntType, isTruthyNumberType, isTruthyStringType, isUnknownType, isUnsafeComponentWillMount, isUnsafeComponentWillReceiveProps, isUnsafeComponentWillUpdate, isUse, isUseActionState, isUseActionStateCall, isUseCall, isUseCallback, isUseCallbackCall, isUseContext, isUseContextCall, isUseDebugValue, isUseDebugValueCall, isUseDeferredValue, isUseDeferredValueCall, isUseEffect, isUseEffectCall, isUseEffectCleanupCallback, isUseEffectLikeCall, isUseEffectSetupCallback, isUseFormStatus, isUseFormStatusCall, isUseId, isUseIdCall, isUseImperativeHandle, isUseImperativeHandleCall, isUseInsertionEffect, isUseInsertionEffectCall, isUseLayoutEffect, isUseLayoutEffectCall, isUseMemo, isUseMemoCall, isUseOptimistic, isUseOptimisticCall, isUseReducer, isUseReducerCall, isUseRef, isUseRefCall, isUseState, isUseStateCall, isUseStateLikeCall, isUseSyncExternalStore, isUseSyncExternalStoreCall, isUseTransition, isUseTransitionCall };
+export { DEFAULT_COMPONENT_DETECTION_HINT, FunctionComponentDetectionHint, FunctionComponentFlag, REACT_BUILTIN_HOOK_NAMES, getClassComponentCollector, getClassId, getFullyQualifiedNameEx, getFunctionComponentCollector, getFunctionComponentFlagFromInitPath, getFunctionComponentId, getFunctionDirectives, getFunctionId, getFunctionInitPath, getHookCollector, getTypeVariants, isAPI, isAPICall, isAPIFromReact, isAPIFromReactNative, isAnyType, isAssignmentToThisState, isBigIntType, isBooleanLiteralType, isBooleanType, isCaptureOwnerStack, isCaptureOwnerStackCall, isChildrenCount, isChildrenCountCall, isChildrenForEach, isChildrenForEachCall, isChildrenMap, isChildrenMapCall, isChildrenOnly, isChildrenOnlyCall, isChildrenToArray, isChildrenToArrayCall, isClassComponent, isClassComponentLoose, isCloneElement, isCloneElementCall, isComponentDidCatch, isComponentDidMount, isComponentDidUpdate, isComponentWillMount, isComponentWillReceiveProps, isComponentWillUnmount, isComponentWillUpdate, isCreateContext, isCreateContextCall, isCreateElement, isCreateElementCall, isCreateRef, isCreateRefCall, isEnumType, isFalseLiteralType, isFalsyBigIntType, isFalsyNumberType, isFalsyStringType, isForwardRef, isForwardRefCall, isFunctionComponentDefinition, isFunctionComponentName, isFunctionComponentNameLoose, isFunctionComponentWrapperCall, isFunctionComponentWrapperCallback, isFunctionEmpty, isFunctionHasCallInInitPath, isFunctionHasDirective, isFunctionWithLooseComponentName, isGetChildContext, isGetDefaultProps, isGetDerivedStateFromError, isGetDerivedStateFromProps, isGetInitialState, isGetSnapshotBeforeUpdate, isHookCall, isHookDefinition, isHookId, isHookName, isLazy, isLazyCall, isMemo, isMemoCall, isNeverType, isNullishType, isNumberType, isObjectType, isPureComponent, isRender, isRenderMethodCallback, isRenderMethodLike, isShouldComponentUpdate, isStringType, isThisSetStateCall, isTrueLiteralType, isTruthyBigIntType, isTruthyNumberType, isTruthyStringType, isUnknownType, isUnsafeComponentWillMount, isUnsafeComponentWillReceiveProps, isUnsafeComponentWillUpdate, isUse, isUseActionState, isUseActionStateCall, isUseCall, isUseCallback, isUseCallbackCall, isUseContext, isUseContextCall, isUseDebugValue, isUseDebugValueCall, isUseDeferredValue, isUseDeferredValueCall, isUseEffect, isUseEffectCall, isUseEffectCleanupCallback, isUseEffectLikeCall, isUseEffectSetupCallback, isUseFormStatus, isUseFormStatusCall, isUseId, isUseIdCall, isUseImperativeHandle, isUseImperativeHandleCall, isUseInsertionEffect, isUseInsertionEffectCall, isUseLayoutEffect, isUseLayoutEffectCall, isUseMemo, isUseMemoCall, isUseOptimistic, isUseOptimisticCall, isUseReducer, isUseReducerCall, isUseRef, isUseRefCall, isUseState, isUseStateCall, isUseStateLikeCall, isUseSyncExternalStore, isUseSyncExternalStoreCall, isUseTransition, isUseTransitionCall };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@eslint-react/core",
-  "version": "5.2.0-next.0",
+  "version": "5.2.1-beta.3",
   "description": "ESLint React's ESLint utility module for static analysis of React core APIs and patterns.",
   "homepage": "https://github.com/Rel1cx/eslint-react",
   "bugs": {
@@ -9,7 +9,7 @@
   "repository": {
     "type": "git",
     "url": "git+https://github.com/Rel1cx/eslint-react.git",
-    "directory": "packages/@eslint-react/core"
+    "directory": "packages/core"
   },
   "license": "MIT",
   "author": "Rel1cx",
@@ -35,17 +35,17 @@
     "@typescript-eslint/utils": "^8.58.1",
     "ts-pattern": "^5.9.0",
     "ulid": "^3.0.2",
-    "@eslint-react/ast": "5.2.0-next.0",
-    "@eslint-react/jsx": "5.2.0-next.0",
-    "@eslint-react/shared": "5.2.0-next.0",
-    "@eslint-react/eslint": "5.2.0-next.0",
-    "@eslint-react/var": "5.2.0-next.0"
+    "@eslint-react/ast": "5.2.1-beta.3",
+    "@eslint-react/eslint": "5.2.1-beta.3",
+    "@eslint-react/shared": "5.2.1-beta.3",
+    "@eslint-react/var": "5.2.1-beta.3",
+    "@eslint-react/jsx": "5.2.1-beta.3"
   },
   "devDependencies": {
     "@typescript-eslint/typescript-estree": "^8.58.1",
     "tsdown": "^0.21.7",
-    "@local/eff": "3.0.0-beta.72",
-    "@local/configs": "0.0.0"
+    "@local/configs": "0.0.0",
+    "@local/eff": "3.0.0-beta.72"
   },
   "peerDependencies": {
     "eslint": "^10.2.0",