2020-04-21 01:04:00 +00:00
|
|
|
syntax = "proto3";
|
|
|
|
|
|
|
|
package errdefs;
|
|
|
|
|
|
|
|
message Vertex {
|
2020-04-22 01:28:29 +00:00
|
|
|
string digest = 1;
|
2020-04-21 01:04:00 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
message Source {
|
|
|
|
repeated Range locations = 1;
|
|
|
|
string filename = 2;
|
|
|
|
string local = 3;
|
|
|
|
bytes data = 4;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Range {
|
|
|
|
Position start = 1;
|
|
|
|
Position end = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Position {
|
|
|
|
int32 Line = 1;
|
|
|
|
int32 Character = 2;
|
2020-04-23 01:30:19 +00:00
|
|
|
}
|