@autobe/agent/src/orchestrate/common/structures/IAutoBeCommonCorrectCastingApplication.ts

AI backend server code generator

export interface IAutoBeCommonCorrectCastingApplication {
  /**
   * Rewrite function to fix type casting and assignment errors.
   *
   * This function is called when the agent detects any type casting or
   * assignment related compilation error patterns.
   *
   * The agent applies various fix strategies based on the error type:
   *
   * - **Typia tag incompatibilities**: Uses `satisfies ... as ...` pattern to
   *   strip incompatible tags, or `typia.assert<T>()` as a last resort
   * - **Date conversions**: Uses `.toISOString()` method for Date to string
   *   conversions
   * - **Nullable type narrowing**: Applies exhaustive checks (e.g., !== null &&
   *   !== undefined)
   * - **typia.assert vs assertGuard**: Uses assert for value assignment,
   *   assertGuard for type narrowing
   * - **Literal type conversions**: Uses `typia.assert<T>()` for runtime
   *   validation
   * - **Optional chaining results**: Uses `=== true` or `??` operators
   * - **"No overlap" errors**: Removes redundant comparisons
   *
   * @param props The analysis and correction properties
   */
  rewrite(props: IAutoBeCommonCorrectCastingApplication.IProps): void;

  /**
   * Reject function when error is not related to type casting or assignment.
   *
   * This function is called when the compilation error is unrelated to type
   * casting issues (e.g., missing imports, syntax errors, undefined variables),
   * indicating the error should be handled by a different agent.
   */
  reject(): void;
}
export namespace IAutoBeCommonCorrectCastingApplication {
  export interface IProps {
    /**
     * Initial analysis of the type casting or assignment error.
     *
     * Contains the agent's analysis of the specific type mismatch pattern:
     *
     * - Type of casting error (tag incompatibility, nullable assignment, literal
     *   type conversion, etc.)
     * - Whether nullable or undefined types are involved
     * - If Date to string conversions are needed
     * - The chosen fix strategy for the specific error type
     */
    think: string;

    /**
     * Draft correction with initial type casting fixes.
     *
     * The code after applying the first round of fixes:
     *
     * - Satisfies patterns for tag stripping
     * - Date.toISOString() conversions where needed
     * - Nullable type narrowing checks
     * - Literal type assertions
     * - Optional chaining result handling
     */
    draft: string;

    /**
     * Review and finalization of type casting corrections.
     *
     * Contains the review of applied corrections and the final code with all
     * type casting issues resolved while preserving type safety and validation
     * intent.
     */
    revise: IReviseProps;
  }

  export interface IReviseProps {
    /**
     * Review of the type casting correction patterns applied.
     *
     * Explains which correction strategies were used:
     *
     * - Which satisfies patterns were applied for tag issues
     * - Where typia.assert or assertGuard was used
     * - How Date conversions were handled
     * - What nullable type narrowing was applied
     * - How literal type conversions were resolved
     * - Confirmation that all type casting issues are resolved
     */
    review: string;

    /**
     * Final corrected code with all type casting issues resolved.
     *
     * The complete code ready for TypeScript compilation, with all type casting
     * and assignment errors properly fixed using appropriate patterns while
     * maintaining type safety and the original validation logic. When the draft
     * already successfully resolves all type casting issues with no problems
     * found during review, this value can be null, indicating no further
     * refinements are necessary.
     *
     * A `null` value signifies the draft corrections were already optimal and
     * require no additional modifications.
     */
    final: string | null;
  }
}