Spring/spring-tools
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

GH-1535: avoid concurrent modification exception by synchronizing access to the list of symbols for a specific project

Browse Source 
Fixes GH-1535
This commit is contained in:
Martin Lippert
2025-04-10 15:48:48 +02:00
parent 8cf3836ed7
commit 7b795b54fc
1 changed files with 16 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

30
headless-services/spring-boot-language-server/src/main/java/org/springframework/ide/vscode/boot/app/SpringSymbolIndex.java
View File

@@ -605,23 +605,25 @@ public class SpringSymbolIndex implements InitializingBean, SpringIndex {
private Collection<? extends String> getDocsFromPath(IJavaProject project, String path) {
List<WorkspaceSymbol> allProjectSymbols = this.symbolsByProject.get(project.getElementName());
Set<String> result = new HashSet<>();
if (allProjectSymbols != null) {
for (WorkspaceSymbol symbol : allProjectSymbols) {
Either<Location, WorkspaceSymbolLocation> location = symbol.getLocation();
String docURI = null;
if (location.isLeft()) {
docURI = location.getLeft().getUri();
}
else if (location.isRight()) {
docURI = location.getRight().getUri();
}
if (docURI != null && docURI.startsWith(path)) {
result.add(docURI);
synchronized(allProjectSymbols) {
for (WorkspaceSymbol symbol : allProjectSymbols) {
Either<Location, WorkspaceSymbolLocation> location = symbol.getLocation();
String docURI = null;
if (location.isLeft()) {
docURI = location.getLeft().getUri();
}
else if (location.isRight()) {
docURI = location.getRight().getUri();
}
if (docURI != null && docURI.startsWith(path)) {
result.add(docURI);
}
}
}
}