1111//===----------------------------------------------------------------------===//
1212import LanguageServerProtocol
1313
14+ public typealias URI = DocumentURI
15+
1416/// The workspace build targets request is sent from the client to the server to
1517/// ask for the list of all available build targets in the workspace.
1618public struct BuildTargets : RequestType , Hashable {
@@ -38,7 +40,7 @@ public struct BuildTarget: Codable, Hashable {
3840 /// allowed to map to the same base directory, and a build target is not
3941 /// required to have a base directory. A base directory does not determine the
4042 /// sources of a target, see buildTarget/sources.
41- public var baseDirectory : URL ?
43+ public var baseDirectory : URI ?
4244
4345 /// Free-form string tags to categorize or label this build target.
4446 /// For example, can be used by the client to:
@@ -62,7 +64,7 @@ public struct BuildTarget: Codable, Hashable {
6264
6365 public init ( id: BuildTargetIdentifier ,
6466 displayName: String ? ,
65- baseDirectory: URL ? ,
67+ baseDirectory: URI ? ,
6668 tags: [ BuildTargetTag ] ,
6769 capabilities: BuildTargetCapabilities ,
6870 languageIds: [ Language ] ,
@@ -78,9 +80,9 @@ public struct BuildTarget: Codable, Hashable {
7880}
7981
8082public struct BuildTargetIdentifier : Codable , Hashable {
81- public var uri : URL
83+ public var uri : URI
8284
83- public init ( uri: URL ) {
85+ public init ( uri: URI ) {
8486 self . uri = uri
8587 }
8688}
@@ -166,7 +168,7 @@ public struct SourceItem: Codable, Hashable {
166168 /// Either a text document or a directory. A directory entry must end with a
167169 /// forward slash "/" and a directory entry implies that every nested text
168170 /// document within the directory belongs to this source item.
169- public var uri : URL
171+ public var uri : URI
170172
171173 /// Type of file of the source item, such as whether it is file or directory.
172174 public var kind : SourceItemKind
@@ -205,7 +207,7 @@ public struct OutputsItem: Codable, Hashable {
205207 public var target : BuildTargetIdentifier
206208
207209 /// The output paths for sources that belong to this build target.
208- public var outputPaths : [ URL ]
210+ public var outputPaths : [ URI ]
209211}
210212
211213/// The build target changed notification is sent from the server to the client
0 commit comments