diff options
| author | Pierre-Charles David | 2017-08-22 15:23:32 +0000 |
|---|---|---|
| committer | Pierre-Charles David | 2017-08-28 12:48:59 +0000 |
| commit | adaec6b4aab67d60ff93b54bae7ade95aa8fbadc (patch) | |
| tree | 27bf9f0e884c982753ba78a7b0383b2d3c298a3b | |
| parent | 8e96cc411a8e3a2d5bf2bf36a064fb3eb5444fba (diff) | |
| download | org.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.java | 10 |
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(); |
