1- using System ;
1+ using System ;
22using System . IO ;
33using OmniSharp . Extensions . LanguageServer . Client . Utilities ;
4+ using OmniSharp . Extensions . LanguageServer . Protocol . Models ;
45
56namespace OmniSharp . Extensions . LanguageServer . Client . Clients
67{
@@ -26,7 +27,7 @@ public partial class TextDocumentClient
2627 /// </remarks>
2728 public void DidOpen ( string filePath , string languageId , int version = 0 )
2829 {
29- if ( String . IsNullOrWhiteSpace ( filePath ) )
30+ if ( string . IsNullOrWhiteSpace ( filePath ) )
3031 throw new ArgumentException ( $ "Argument cannot be null, empty, or entirely composed of whitespace: { nameof ( filePath ) } .", nameof ( filePath ) ) ;
3132
3233 string text = null ;
@@ -58,7 +59,7 @@ public void DidOpen(string filePath, string languageId, int version = 0)
5859 /// </param>
5960 public void DidOpen ( string filePath , string languageId , string text , int version = 0 )
6061 {
61- if ( String . IsNullOrWhiteSpace ( filePath ) )
62+ if ( string . IsNullOrWhiteSpace ( filePath ) )
6263 throw new ArgumentException ( $ "Argument cannot be null, empty, or entirely composed of whitespace: { nameof ( filePath ) } .", nameof ( filePath ) ) ;
6364
6465 Uri documentUri = DocumentUri . FromFileSystemPath ( filePath ) ;
@@ -117,7 +118,7 @@ public void DidOpen(Uri documentUri, string languageId, string text, int version
117118 /// </remarks>
118119 public void DidChange ( string filePath , string languageId , int version = 0 )
119120 {
120- if ( String . IsNullOrWhiteSpace ( filePath ) )
121+ if ( string . IsNullOrWhiteSpace ( filePath ) )
121122 throw new ArgumentException ( $ "Argument cannot be null, empty, or entirely composed of whitespace: { nameof ( filePath ) } .", nameof ( filePath ) ) ;
122123
123124 string text = null ;
@@ -152,7 +153,7 @@ public void DidChange(string filePath, string languageId, int version = 0)
152153 /// </remarks>
153154 public void DidChange ( string filePath , string languageId , string text , int version = 0 )
154155 {
155- if ( String . IsNullOrWhiteSpace ( filePath ) )
156+ if ( string . IsNullOrWhiteSpace ( filePath ) )
156157 throw new ArgumentException ( $ "Argument cannot be null, empty, or entirely composed of whitespace: { nameof ( filePath ) } .", nameof ( filePath ) ) ;
157158
158159 Uri documentUri = DocumentUri . FromFileSystemPath ( filePath ) ;
@@ -208,7 +209,7 @@ public void DidChange(Uri documentUri, string languageId, string text, int versi
208209 /// </param>
209210 public void DidClose ( string filePath )
210211 {
211- if ( String . IsNullOrWhiteSpace ( filePath ) )
212+ if ( string . IsNullOrWhiteSpace ( filePath ) )
212213 throw new ArgumentException ( $ "Argument cannot be null, empty, or entirely composed of whitespace: { nameof ( filePath ) } .", nameof ( filePath ) ) ;
213214
214215 DidClose (
@@ -244,7 +245,7 @@ public void DidClose(Uri documentUri)
244245 /// </param>
245246 public void DidSave ( string filePath )
246247 {
247- if ( String . IsNullOrWhiteSpace ( filePath ) )
248+ if ( string . IsNullOrWhiteSpace ( filePath ) )
248249 throw new ArgumentException ( $ "Argument cannot be null, empty, or entirely composed of whitespace: { nameof ( filePath ) } .", nameof ( filePath ) ) ;
249250
250251 DidSave (
0 commit comments