toolchain.proto

 1syntax = "proto3";
 2package zed.messages;
 3
 4message ListToolchains {
 5    uint64 project_id = 1;
 6    uint64 worktree_id = 2;
 7    string language_name = 3;
 8    optional string path = 4;
 9}
10
11message Toolchain {
12    string name = 1;
13    string path = 2;
14    string raw_json = 3;
15}
16
17message ToolchainGroup {
18    uint64 start_index = 1;
19    string name = 2;
20}
21
22message ListToolchainsResponse {
23    repeated Toolchain toolchains = 1;
24    bool has_values = 2;
25    repeated ToolchainGroup groups = 3;
26}
27
28message ActivateToolchain {
29    uint64 project_id = 1;
30    uint64 worktree_id = 2;
31    Toolchain toolchain = 3;
32    string language_name = 4;
33    optional string path = 5;
34}
35
36message ActiveToolchain {
37    uint64 project_id = 1;
38    uint64 worktree_id = 2;
39    string language_name = 3;
40    optional string path = 4;
41}
42
43message ActiveToolchainResponse {
44    optional Toolchain toolchain = 1;
45}