2018-07-12 20:08:30 +03:00
|
|
|
// This file was generated by proto-gen. Do not edit by hand.
|
2018-05-30 18:20:02 +03:00
|
|
|
syntax = "proto3";
|
2018-07-04 00:21:56 +03:00
|
|
|
|
2018-06-28 23:11:15 +03:00
|
|
|
package github.semantic;
|
2018-07-04 00:21:56 +03:00
|
|
|
|
2018-06-27 20:12:56 +03:00
|
|
|
option java_package = "com.github.semantic.types";
|
|
|
|
option go_package = "github.com/semantic/types;types";
|
2018-07-04 00:21:56 +03:00
|
|
|
|
|
|
|
enum Language {
|
|
|
|
UNKNOWN = 0;
|
|
|
|
GO = 1;
|
|
|
|
HASKELL = 2;
|
|
|
|
JAVA = 3;
|
|
|
|
JAVASCRIPT = 4;
|
|
|
|
JSON = 5;
|
|
|
|
JSX = 6;
|
|
|
|
MARKDOWN = 7;
|
|
|
|
PYTHON = 8;
|
|
|
|
RUBY = 9;
|
|
|
|
TYPESCRIPT = 10;
|
|
|
|
PHP = 11;
|
|
|
|
}
|
|
|
|
|
|
|
|
enum VertexType {
|
|
|
|
PACKAGE = 0;
|
|
|
|
MODULE = 1;
|
|
|
|
VARIABLE = 2;
|
2018-07-23 21:03:08 +03:00
|
|
|
METHOD = 3;
|
|
|
|
FUNCTION = 4;
|
2018-07-04 00:21:56 +03:00
|
|
|
}
|
|
|
|
|
2018-07-16 22:29:29 +03:00
|
|
|
message BlobPair {
|
|
|
|
Blob before = 1;
|
|
|
|
Blob after = 2;
|
|
|
|
}
|
|
|
|
|
2018-07-04 00:21:56 +03:00
|
|
|
message Blob {
|
|
|
|
bytes blobSource = 1;
|
|
|
|
string blobPath = 2;
|
|
|
|
Language blobLanguage = 3;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Edge {
|
|
|
|
uint64 edgeFrom = 1;
|
|
|
|
uint64 edgeTo = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message ErrorSite {
|
|
|
|
string errorMessage = 1;
|
|
|
|
SrcLoc errorLocation = 2;
|
|
|
|
}
|
|
|
|
|
2018-07-17 18:35:03 +03:00
|
|
|
message AdjacencyList {
|
2018-07-04 00:21:56 +03:00
|
|
|
repeated Vertex graphVertices = 1;
|
|
|
|
repeated Edge graphEdges = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Pos {
|
|
|
|
int64 posLine = 1;
|
|
|
|
int64 posColumn = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Project {
|
|
|
|
string projectRootDir = 1;
|
|
|
|
repeated Blob projectBlobs = 2;
|
|
|
|
Language projectLanguage = 3;
|
|
|
|
repeated string projectExcludeDirs = 4[packed = false] ;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Span {
|
|
|
|
Pos spanStart = 1;
|
|
|
|
Pos spanEnd = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message SrcLoc {
|
|
|
|
string srcLocPackage = 1;
|
|
|
|
string srcLocModule = 2;
|
|
|
|
string srcLocFile = 3;
|
|
|
|
int64 srcLocStartLine = 4;
|
|
|
|
int64 srcLocStartCol = 5;
|
|
|
|
int64 srcLocEndLine = 6;
|
|
|
|
int64 srcLocEndCol = 7;
|
|
|
|
}
|
|
|
|
|
|
|
|
message Vertex {
|
|
|
|
VertexType vertexType = 1;
|
|
|
|
string vertexContents = 2;
|
|
|
|
uint64 vertexTag = 3;
|
|
|
|
}
|