forked from intitni/CopilotForXcode
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathCodeiumRequest.swift
More file actions
98 lines (78 loc) · 2.88 KB
/
CodeiumRequest.swift
File metadata and controls
98 lines (78 loc) · 2.88 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
import Foundation
import JSONRPC
import LanguageServerProtocol
import SuggestionModel
protocol CodeiumRequestType {
associatedtype Response: Codable
func makeURLRequest(server: String) -> URLRequest
}
extension CodeiumRequestType {
func assembleURLRequest(server: String, method: String, body: Data?) -> URLRequest {
var request = URLRequest(url: .init(
string: "\(server)/exa.language_server_pb.LanguageServerService/\(method)"
)!)
request.setValue("application/json", forHTTPHeaderField: "Content-Type")
request.httpMethod = "POST"
request.httpBody = body
return request
}
}
struct CodeiumResponseError: Codable, Error, LocalizedError {
var code: String
var message: String
var errorDescription: String? { message }
}
enum CodeiumRequest {
struct GetCompletion: CodeiumRequestType {
struct Response: Codable {
var state: State
var completionItems: [CodeiumCompletionItem]?
}
struct RequestBody: Codable {
var metadata: Metadata
var document: CodeiumDocument
var editor_options: CodeiumEditorOptions
var other_documents: [CodeiumDocument]
}
var requestBody: RequestBody
func makeURLRequest(server: String) -> URLRequest {
let data = (try? JSONEncoder().encode(requestBody)) ?? Data()
return assembleURLRequest(server: server, method: "GetCompletions", body: data)
}
}
struct CancelRequest: CodeiumRequestType {
struct Response: Codable {}
struct RequestBody: Codable {
var request_id: UInt64
var session_id: String
}
var requestBody: RequestBody
func makeURLRequest(server: String) -> URLRequest {
let data = (try? JSONEncoder().encode(requestBody)) ?? Data()
return assembleURLRequest(server: server, method: "CancelRequest", body: data)
}
}
struct AcceptCompletion: CodeiumRequestType {
struct Response: Codable {}
struct RequestBody: Codable {
var metadata: Metadata
var completion_id: String
}
var requestBody: RequestBody
func makeURLRequest(server: String) -> URLRequest {
let data = (try? JSONEncoder().encode(requestBody)) ?? Data()
return assembleURLRequest(server: server, method: "AcceptCompletion", body: data)
}
}
struct Heartbeat: CodeiumRequestType {
struct Response: Codable {}
struct RequestBody: Codable {
var metadata: Metadata
}
var requestBody: RequestBody
func makeURLRequest(server: String) -> URLRequest {
let data = (try? JSONEncoder().encode(requestBody)) ?? Data()
return assembleURLRequest(server: server, method: "Heartbeat", body: data)
}
}
}