2020-10-01 20:31:33 -03:00
|
|
|
endpoint LanguageServer = 8001
|
2020-09-28 10:37:37 -03:00
|
|
|
{
|
|
|
|
|
Greet(String project_root) => (i32 client_id)
|
|
|
|
|
|
|
|
|
|
FileOpened(String file_name) =|
|
|
|
|
|
FileEditInsertText(String file_name, String text, i32 start_line, i32 start_column) =|
|
|
|
|
|
FileEditRemoveText(String file_name, i32 start_line, i32 start_column, i32 end_line, i32 end_column) =|
|
|
|
|
|
SetFileContent(String file_name, String content) =|
|
|
|
|
|
|
2020-10-01 20:31:33 -03:00
|
|
|
AutoCompleteSuggestions(String file_name, i32 cursor_line, i32 cursor_column) =|
|
2020-09-28 10:37:37 -03:00
|
|
|
}
|