@@ -44,32 +44,24 @@ export namespace PollIndexRequest {
44
44
45
45
// eslint-disable-next-line @typescript-eslint/no-namespace
46
46
export namespace WorkspaceSynchronizeRequest {
47
- export const method = "workspace/_synchronize " as const ;
47
+ export const method = "workspace/synchronize " as const ;
48
48
export const messageDirection : langclient . MessageDirection =
49
49
langclient . MessageDirection . clientToServer ;
50
50
export const type = new langclient . RequestType < object , object , never > ( method ) ;
51
51
}
52
-
53
52
export async function waitForIndex ( languageClientManager : LanguageClientManager ) : Promise < void > {
54
- if (
55
- languageClientManager . workspaceContext . swiftVersion . isGreaterThanOrEqual (
56
- new Version ( 6 , 2 , 0 )
53
+ const swiftVersion = languageClientManager . workspaceContext . swiftVersion ;
54
+ const requestType = swiftVersion . isGreaterThanOrEqual ( new Version ( 6 , 2 , 0 ) )
55
+ ? WorkspaceSynchronizeRequest . type
56
+ : PollIndexRequest . type ;
57
+
58
+ await languageClientManager . useLanguageClient ( async ( client , token ) =>
59
+ client . sendRequest (
60
+ requestType ,
61
+ requestType === WorkspaceSynchronizeRequest . type ? { index : true } : { } ,
62
+ token
57
63
)
58
- ) {
59
- await languageClientManager . useLanguageClient ( async ( client , token ) =>
60
- client . sendRequest (
61
- WorkspaceSynchronizeRequest . type ,
62
- {
63
- index : true ,
64
- } ,
65
- token
66
- )
67
- ) ;
68
- } else {
69
- await languageClientManager . useLanguageClient ( async ( client , token ) =>
70
- client . sendRequest ( PollIndexRequest . type , { } , token )
71
- ) ;
72
- }
64
+ ) ;
73
65
}
74
66
75
67
export async function waitForClientState (
0 commit comments