Refresh saved java files to update compilation errors in the workspace. Fixes eclipse-jdtls#187

Signed-off-by: Fred Bricon <[email protected]>

Author: fbricon

org.eclipse.jdt.ls.core/src/org/eclipse/jdt/ls/core/internal/handlers/DocumentLifeCycleHandler.java

@@ -27,6 +27,8 @@
 import org.eclipse.jdt.ls.core.internal.JavaClientConnection;
 import org.eclipse.jdt.ls.core.internal.JavaLanguageServerPlugin;
 import org.eclipse.jdt.ls.core.internal.SharedASTProvider;
+import org.eclipse.jdt.ls.core.internal.managers.ProjectsManager;
+import org.eclipse.jdt.ls.core.internal.managers.ProjectsManager.CHANGE_TYPE;
 import org.eclipse.jdt.ls.core.internal.preferences.PreferenceManager;
 import org.eclipse.jdt.ls.core.internal.preferences.Preferences;
 import org.eclipse.jdt.ls.core.internal.preferences.Preferences.Severity;
@@ -49,6 +51,7 @@ public class DocumentLifeCycleHandler {
 
 	private JavaClientConnection connection;
 	private PreferenceManager preferenceManager;
+	private ProjectsManager projectsManager;
 
 
 	void didClose(DidCloseTextDocumentParams params){
@@ -91,11 +94,22 @@ public void run(IProgressMonitor monitor) throws CoreException {
 	}
 
 	void didSave(DidSaveTextDocumentParams params){
+		try {
+			ResourcesPlugin.getWorkspace().run(new IWorkspaceRunnable() {
+				@Override
+				public void run(IProgressMonitor monitor) throws CoreException {
+					handleSaved(params);
+				}
+			}, new NullProgressMonitor());
+		} catch (CoreException e) {
+			JavaLanguageServerPlugin.logException("Handle document save ", e);
+		}
 	}
 
-	public DocumentLifeCycleHandler(JavaClientConnection connection, PreferenceManager preferenceManager) {
+	public DocumentLifeCycleHandler(JavaClientConnection connection, PreferenceManager preferenceManager, ProjectsManager projectsManager) {
 		this.connection = connection;
 		this.preferenceManager = preferenceManager;
+		this.projectsManager = projectsManager;
 	}
 
 	private void handleOpen(DidOpenTextDocumentParams params) {
@@ -192,4 +206,14 @@ private void handleClosed(DidCloseTextDocumentParams params) {
 		} catch (CoreException e) {
 		}
 	}
+
+	private void handleSaved(DidSaveTextDocumentParams params) {
+		JavaLanguageServerPlugin.logInfo("DocumentLifeCycleHandler.handleSaved");
+		String uri = params.getTextDocument().getUri();
+		ICompilationUnit unit = JDTUtils.resolveCompilationUnit(uri);
+		if (unit != null && unit.isWorkingCopy()) {
+			projectsManager.fileChanged(uri, CHANGE_TYPE.CHANGED);
+		}
+	}
+
 }

org.eclipse.jdt.ls.core/src/org/eclipse/jdt/ls/core/internal/handlers/JDTLanguageServer.java

@@ -331,7 +331,7 @@ public CompletableFuture<WorkspaceEdit> rename(RenameParams params) {
 	@Override
 	public void didOpen(DidOpenTextDocumentParams params) {
 		logInfo(">> document/didOpen");
-		DocumentLifeCycleHandler handler = new DocumentLifeCycleHandler(client, preferenceManager);
+		DocumentLifeCycleHandler handler = new DocumentLifeCycleHandler(client, preferenceManager, pm);
 		handler.didOpen(params);
 	}
 
@@ -341,7 +341,7 @@ public void didOpen(DidOpenTextDocumentParams params) {
 	@Override
 	public void didChange(DidChangeTextDocumentParams params) {
 		logInfo(">> document/didChange");
-		DocumentLifeCycleHandler handler = new DocumentLifeCycleHandler(client, preferenceManager);
+		DocumentLifeCycleHandler handler = new DocumentLifeCycleHandler(client, preferenceManager, pm);
 		handler.didChange(params);
 	}
 
@@ -351,7 +351,7 @@ public void didChange(DidChangeTextDocumentParams params) {
 	@Override
 	public void didClose(DidCloseTextDocumentParams params) {
 		logInfo(">> document/didClose");
-		DocumentLifeCycleHandler handler = new DocumentLifeCycleHandler(client, preferenceManager);
+		DocumentLifeCycleHandler handler = new DocumentLifeCycleHandler(client, preferenceManager, pm);
 		handler.didClose(params);
 	}
 
@@ -361,7 +361,7 @@ public void didClose(DidCloseTextDocumentParams params) {
 	@Override
 	public void didSave(DidSaveTextDocumentParams params) {
 		logInfo(">> document/didSave");
-		DocumentLifeCycleHandler handler = new DocumentLifeCycleHandler(client, preferenceManager);
+		DocumentLifeCycleHandler handler = new DocumentLifeCycleHandler(client, preferenceManager, pm);
 		handler.didSave(params);
 	}