Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPierre-Charles David2017-08-22 15:23:32 +0000
committerPierre-Charles David2017-08-28 12:48:59 +0000
commitadaec6b4aab67d60ff93b54bae7ade95aa8fbadc (patch)
tree27bf9f0e884c982753ba78a7b0383b2d3c298a3b
parent8e96cc411a8e3a2d5bf2bf36a064fb3eb5444fba (diff)
downloadorg.eclipse.sirius-adaec6b4aab67d60ff93b54bae7ade95aa8fbadc.tar.gz
org.eclipse.sirius-adaec6b4aab67d60ff93b54bae7ade95aa8fbadc.tar.xz
org.eclipse.sirius-adaec6b4aab67d60ff93b54bae7ade95aa8fbadc.zip
[495962] Make JavaExtensionsManager more thread-safe
Bug: 495962 Change-Id: I4476bea52372c72bb0032e69544da4a84c5e0b1f Signed-off-by: Pierre-Charles David <pierre-charles.david@obeo.fr>
-rw-r--r--plugins/org.eclipse.sirius.common/src/org/eclipse/sirius/common/tools/api/interpreter/JavaExtensionsManager.java10
1 files changed, 5 insertions, 5 deletions
diff --git a/plugins/org.eclipse.sirius.common/src/org/eclipse/sirius/common/tools/api/interpreter/JavaExtensionsManager.java b/plugins/org.eclipse.sirius.common/src/org/eclipse/sirius/common/tools/api/interpreter/JavaExtensionsManager.java
index 0791a516e3..81c06032b7 100644
--- a/plugins/org.eclipse.sirius.common/src/org/eclipse/sirius/common/tools/api/interpreter/JavaExtensionsManager.java
+++ b/plugins/org.eclipse.sirius.common/src/org/eclipse/sirius/common/tools/api/interpreter/JavaExtensionsManager.java
@@ -1,5 +1,5 @@
/*******************************************************************************
- * Copyright (c) 2013, 2016 Obeo.
+ * Copyright (c) 2013, 2017 Obeo.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
@@ -452,7 +452,7 @@ public final class JavaExtensionsManager {
* the Java qualified name of a class to consider as a Java
* Extension.
*/
- public void addImport(String classQualifiedName) {
+ public synchronized void addImport(String classQualifiedName) {
if (classQualifiedName != null && SourceVersion.isName(classQualifiedName)) {
boolean newImport = this.imports.add(classQualifiedName);
if (newImport) {
@@ -468,7 +468,7 @@ public final class JavaExtensionsManager {
* the Java qualified name of a class to remove as a Java
* Extension.
*/
- public void removeImport(String classQualifiedName) {
+ public synchronized void removeImport(String classQualifiedName) {
if (this.imports.contains(classQualifiedName)) {
couldNotBeLoaded.remove(classQualifiedName);
Set<String> removedImport = Sets.newLinkedHashSet();
@@ -483,14 +483,14 @@ public final class JavaExtensionsManager {
*
* @return the current list of class qualified name used as Java Extensions.
*/
- public Collection<String> getImports() {
+ public synchronized Collection<String> getImports() {
return ImmutableList.copyOf(this.imports);
}
/**
* Unload the already known Java Extensions.
*/
- public void clearImports() {
+ public synchronized void clearImports() {
unloadJavaExtensions(this.imports);
this.imports.clear();
this.couldNotBeLoaded.clear();

Back to the top