File tree Expand file tree Collapse file tree 1 file changed +5
-1
lines changed
Expand file tree Collapse file tree 1 file changed +5
-1
lines changed Original file line number Diff line number Diff line change 1010import java .util .Set ;
1111import org .junit .Before ;
1212import org .junit .Test ;
13+ import org .javacs .lsp .DidCloseTextDocumentParams ;
1314import org .javacs .lsp .DidOpenTextDocumentParams ;
1415import org .javacs .lsp .TextDocumentItem ;
16+ import org .javacs .lsp .TextDocumentIdentifier ;
1517
1618public class FileStoreTest {
1719
1820 @ Before
1921 public void setWorkspaceRoot () {
20- FileStore .reset ();
2122 FileStore .setWorkspaceRoots (Set .of (LanguageServerFixture .DEFAULT_WORKSPACE_ROOT ));
2223 }
2324
@@ -56,6 +57,9 @@ public void inputReadersPreferActiveDocumentContents() throws IOException {
5657 assertThat (fromBufferedReader , containsString ("inMemory" ));
5758 assertThat (fromBufferedReader , not (containsString ("onDisk" )));
5859 } finally {
60+ var close = new DidCloseTextDocumentParams ();
61+ close .textDocument = new TextDocumentIdentifier (file .toUri ());
62+ FileStore .close (close );
5963 Files .deleteIfExists (file );
6064 }
6165 }
You can’t perform that action at this time.
0 commit comments