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    optional string relative_worktree_path = 4;
27}
28
29message ActivateToolchain {
30    uint64 project_id = 1;
31    uint64 worktree_id = 2;
32    Toolchain toolchain = 3;
33    string language_name = 4;
34    optional string path = 5;
35}
36
37message ActiveToolchain {
38    uint64 project_id = 1;
39    uint64 worktree_id = 2;
40    string language_name = 3;
41    optional string path = 4;
42}
43
44message ActiveToolchainResponse {
45    optional Toolchain toolchain = 1;
46}
47
48message ResolveToolchain {
49    uint64 project_id = 1;
50    string abs_path = 2;
51    string language_name = 3;
52}
53
54message ResolveToolchainResponse {
55    oneof response {
56        Toolchain toolchain = 1;
57        string error = 2;
58    }
59}