carrick 0.3.124 → 0.3.126

package/sidecar/dist/src/types.d.ts

@@ -271,6 +271,43 @@ export interface PositionRowsRequest extends BaseRequest {
     /** The service the rows are for, written in the header. */
     service: string;
 }
+/**
+ * The implementations of the bodyless declarations some calls go through
+ * (carrick#2432 slice B), asked of the analysis process: one batch per
+ * service.
+ */
+export interface ImplementationsRequest extends BaseRequest {
+    action: 'implementations';
+    /** One question per call, each the span of its `call` (or `member`) position row. */
+    queries: ImplementationsQuery[];
+    /** The scanned repo's root: every name in an answer is relative to it. */
+    scan_root: string;
+}
+export interface ImplementationsQuery {
+    /** Absolute path of the file holding the call. */
+    file: string;
+    /** The row's span: UTF-16 code units from the start of the file. */
+    start: number;
+    end: number;
+}
+/** A declaration as a position row names one. */
+export interface NamedDeclaration {
+    symbol: string | null;
+    decl_file: string | null;
+    decl_line: number | null;
+    decl_package: string | null;
+}
+/** Why an answer names no implementation, where it is not because there is none. */
+export type ImplementationsReason = 'not_in_program' | 'no_call' | 'no_symbol' | 'no_declaration' | 'has_body' | 'checker_threw';
+export interface ImplementationsAnswer {
+    /** The declaration the call goes through, as its row names it. */
+    declaration: NamedDeclaration | null;
+    /** By file, then position; empty when `too_many`. */
+    implementations: NamedDeclaration[];
+    /** More than the cap (16) were found, and none is listed. */
+    too_many: boolean;
+    reason?: ImplementationsReason;
+}
 /**
  * Request to resolve type definitions from a v2 capture stub package.
  * Returns both the original declaration and the compiler-expanded form for
@@ -585,7 +622,7 @@ export interface ListLibrarySurfaceRequest extends BaseRequest {
 /**
  * Union type for all possible sidecar requests
  */
-export type SidecarRequest = RetypeCheckRequest | VerifyClientSemanticsRequest | VerifyLibraryClaimsRequest | ListLibrarySurfaceRequest | InitRequest | BundleRequest | CaptureV2Request | CheckV2Request | InferRequest | ResolveDefinitionsRequest | HealthRequest | ShutdownRequest | ListProgramFilesRequest | AddProgramFilesRequest | PositionRowsRequest;
+export type SidecarRequest = RetypeCheckRequest | VerifyClientSemanticsRequest | VerifyLibraryClaimsRequest | ListLibrarySurfaceRequest | InitRequest | BundleRequest | CaptureV2Request | CheckV2Request | InferRequest | ResolveDefinitionsRequest | HealthRequest | ShutdownRequest | ListProgramFilesRequest | AddProgramFilesRequest | PositionRowsRequest | ImplementationsRequest;
 /**
  * Request for a specific symbol to be bundled
  */
@@ -775,6 +812,13 @@ export interface HealthResponse extends BaseResponse {
 export interface ShutdownResponse extends BaseResponse {
     status: 'success';
 }
+/** Response for implementations: one answer per question, in request order. */
+export interface ImplementationsResponse extends BaseResponse {
+    result?: {
+        answers: ImplementationsAnswer[];
+    };
+    errors?: string[];
+}
 /** Response for position_rows: what was written, counted. */
 export interface PositionRowsResponse extends BaseResponse {
     result?: PositionRowsCounts;
@@ -962,7 +1006,7 @@ export interface ListLibrarySurfaceResponse extends BaseResponse {
 /**
  * Union type for all possible sidecar responses
  */
-export type SidecarResponse = RetypeCheckResponse | VerifyClientSemanticsResponse | VerifyLibraryClaimsResponse | ListLibrarySurfaceResponse | InitResponse | BundleResponse | CaptureV2Response | CheckV2Response | InferResponse | ResolveDefinitionsResponse | HealthResponse | ShutdownResponse | ListProgramFilesResponse | AddProgramFilesResponse | PositionRowsResponse | ErrorResponse;
+export type SidecarResponse = RetypeCheckResponse | VerifyClientSemanticsResponse | VerifyLibraryClaimsResponse | ListLibrarySurfaceResponse | InitResponse | BundleResponse | CaptureV2Response | CheckV2Response | InferResponse | ResolveDefinitionsResponse | HealthResponse | ShutdownResponse | ListProgramFilesResponse | AddProgramFilesResponse | PositionRowsResponse | ImplementationsResponse | ErrorResponse;
 /**
  * An entry in the type manifest
  */

package/sidecar/dist/src/validators.d.ts

@@ -848,6 +848,43 @@ export declare const PositionRowsRequestSchema: z.ZodObject<{
     scan_root: string;
     out_path: string;
 }>;
+export declare const ImplementationsRequestSchema: z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"implementations">;
+    queries: z.ZodArray<z.ZodObject<{
+        file: z.ZodString;
+        start: z.ZodNumber;
+        end: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        file: string;
+        end: number;
+        start: number;
+    }, {
+        file: string;
+        end: number;
+        start: number;
+    }>, "many">;
+    scan_root: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    queries: {
+        file: string;
+        end: number;
+        start: number;
+    }[];
+    request_id: string;
+    action: "implementations";
+    scan_root: string;
+}, {
+    queries: {
+        file: string;
+        end: number;
+        start: number;
+    }[];
+    request_id: string;
+    action: "implementations";
+    scan_root: string;
+}>;
 export declare const ResolveDefinitionsRequestSchema: z.ZodObject<{
     request_id: z.ZodString;
 } & {
@@ -4506,6 +4543,42 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     action: "position_rows";
     scan_root: string;
     out_path: string;
+}>, z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"implementations">;
+    queries: z.ZodArray<z.ZodObject<{
+        file: z.ZodString;
+        start: z.ZodNumber;
+        end: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        file: string;
+        end: number;
+        start: number;
+    }, {
+        file: string;
+        end: number;
+        start: number;
+    }>, "many">;
+    scan_root: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    queries: {
+        file: string;
+        end: number;
+        start: number;
+    }[];
+    request_id: string;
+    action: "implementations";
+    scan_root: string;
+}, {
+    queries: {
+        file: string;
+        end: number;
+        start: number;
+    }[];
+    request_id: string;
+    action: "implementations";
+    scan_root: string;
 }>]>;
 /**
  * Result type for parseRequest

package/sidecar/dist/src/validators.js

@@ -277,6 +277,15 @@ export const PositionRowsRequestSchema = BaseRequestSchema.extend({
     out_path: z.string().min(1, 'Out path cannot be empty'),
     service: z.string(),
 });
+export const ImplementationsRequestSchema = BaseRequestSchema.extend({
+    action: z.literal('implementations'),
+    queries: z.array(z.object({
+        file: z.string().min(1, 'File path cannot be empty'),
+        start: z.number().int().nonnegative(),
+        end: z.number().int().nonnegative(),
+    })),
+    scan_root: z.string().min(1, 'Scan root cannot be empty'),
+});
 export const ResolveDefinitionsRequestSchema = BaseRequestSchema.extend({
     action: z.literal('resolve_definitions'),
     stub_dir: z.string().min(1, 'Stub dir cannot be empty'),
@@ -522,6 +531,7 @@ export const SidecarRequestSchema = z.discriminatedUnion('action', [
     ListProgramFilesRequestSchema,
     AddProgramFilesRequestSchema,
     PositionRowsRequestSchema,
+    ImplementationsRequestSchema,
 ]);
 /**
  * Validates and parses incoming JSON into a typed SidecarRequest