carrick 0.3.116 → 0.3.118

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

@@ -255,6 +255,22 @@ export interface AddProgramFilesRequest extends BaseRequest {
     /** Absolute paths, or relative to the init'd root. */
     files: string[];
 }
+/**
+ * Write one row for each call, member access, comparison and identifier in
+ * each of a service's source files to a gzip JSON-lines file (carrick#2405).
+ * Record-only: nothing in a scan reads the file yet.
+ */
+export interface PositionRowsRequest extends BaseRequest {
+    action: 'position_rows';
+    /** Absolute paths of the service's source files, in the order written. */
+    files: string[];
+    /** The scanned repo's root: every path in the file is relative to it. */
+    scan_root: string;
+    /** Where the rows file goes. Written beside it under a temporary name, then renamed. */
+    out_path: string;
+    /** The service the rows are for, written in the header. */
+    service: string;
+}
 /**
  * Request to resolve type definitions from a v2 capture stub package.
  * Returns both the original declaration and the compiler-expanded form for
@@ -375,6 +391,26 @@ export interface ClaimSlot {
 export interface BoundName {
     bound: 'maker' | 'scope';
 }
+/**
+ * The function or client a call runs (label structure v2, carrick#2434): a
+ * slot of the call itself, or, with `bound: 'maker'`, a slot of the call that
+ * made the receiver (a mutation object whose `mutate` runs the function its
+ * maker was given).
+ */
+export interface RunsSlot extends ClaimSlot {
+    bound?: 'maker';
+}
+/**
+ * What a receive op's handler is handed (label structure v2, carrick#2434):
+ * its parameter `param` is an instance of the package's export `export`, on
+ * `side` of the connection (a server's connection handler is given the
+ * server end of a socket).
+ */
+export interface Yields {
+    param: number;
+    export: string;
+    side: string;
+}
 /** The closed role list; the role alone picks the checks a claim needs. */
 export type LibraryRole = 'http_client' | 'graphql_client' | 'broker' | 'in_process_bus' | 'socket' | 'server_framework' | 'none';
 /** What an `op` claim does on the wire. */
@@ -415,6 +451,8 @@ export type LibraryClaim = {
     /** A definition's id or a queue's name: bound to every op that names `{ bound: 'maker' }`. */
     name?: ClaimSlot;
     handler?: ClaimSlot;
+    /** The function or client the maker runs (label v2). */
+    runs?: ClaimSlot;
     key_labels?: Record<string, KeyLabel>;
     name_scope?: NameScope;
     picker?: string;
@@ -452,6 +490,18 @@ export type LibraryClaim = {
     method?: string;
     /** HTTP: where the method sits. */
     method_key?: ClaimSlot;
+    /**
+     * HTTP (label v2): the method sent when the call names none. Beside
+     * `method_key`, the default when that option is absent; alone, the one
+     * method the call sends whatever its member is called.
+     */
+    method_default?: string;
+    /** HTTP (label v2): where the base URL the path joins sits. */
+    base?: ClaimSlot;
+    /** Label v2: the function or client the op runs. */
+    runs?: RunsSlot;
+    /** Label v2, `receive` only: what the handler is handed. */
+    yields?: Yields;
 } | {
     /** A name the library emits itself, spelled in one of `member`'s parameters. */
     kind: 'reserved';
@@ -510,7 +560,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;
+export type SidecarRequest = RetypeCheckRequest | VerifyClientSemanticsRequest | VerifyLibraryClaimsRequest | ListLibrarySurfaceRequest | InitRequest | BundleRequest | CaptureV2Request | CheckV2Request | InferRequest | ResolveDefinitionsRequest | HealthRequest | ShutdownRequest | ListProgramFilesRequest | AddProgramFilesRequest | PositionRowsRequest;
 /**
  * Request for a specific symbol to be bundled
  */
@@ -700,6 +750,32 @@ export interface HealthResponse extends BaseResponse {
 export interface ShutdownResponse extends BaseResponse {
     status: 'success';
 }
+/** Response for position_rows: what was written, counted. */
+export interface PositionRowsResponse extends BaseResponse {
+    result?: PositionRowsCounts;
+    errors?: string[];
+}
+export interface PositionRowsCounts {
+    /** Source files in the request, each one line of the file. */
+    files: number;
+    rows: number;
+    /** Rows whose position resolved to a symbol. */
+    resolved: number;
+    /** Rows whose type is `any` (flag 1). */
+    any: number;
+    /** Rows whose type is the compiler's error type (flag 2). */
+    error_type: number;
+    /** `impl` rows: implementations of a bodyless declaration, or one past the cap (carrick#2430). */
+    impl: number;
+    /** `jsx` rows: one per JSX opening or self-closing element. */
+    jsx: number;
+    /** The rows file's size on disk, compressed. */
+    bytes: number;
+    /** Time spent building programs and reading files into them. */
+    load_ms: number;
+    /** Time spent walking the files and writing the rows. */
+    walk_ms: number;
+}
 /**
  * Response for list_program_files action
  */
@@ -856,7 +932,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 | ErrorResponse;
+export type SidecarResponse = RetypeCheckResponse | VerifyClientSemanticsResponse | VerifyLibraryClaimsResponse | ListLibrarySurfaceResponse | InitResponse | BundleResponse | CaptureV2Response | CheckV2Response | InferResponse | ResolveDefinitionsResponse | HealthResponse | ShutdownResponse | ListProgramFilesResponse | AddProgramFilesResponse | PositionRowsResponse | ErrorResponse;
 /**
  * An entry in the type manifest
  */