[lang] Deprecate setDefaultContextUUID in Bootstrap.

The replacement function is `setSpecificContextUUID`. Signed-off-by: Stéphane Galland <galland@arakhne.org>
sarl · Dec 24, 2018 · 85e1f21 · 85e1f21
1 parent 64908d5
commit 85e1f21
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/main/coreplugins/io.sarl.lang.core/src/io/sarl/bootstrap/SREBootstrap.java b/main/coreplugins/io.sarl.lang.core/src/io/sarl/bootstrap/SREBootstrap.java
@@ -136,8 +136,17 @@ default void setBootAgentTypeContextUUID() {
 	 * <p>This function has no effect if the agent framework is already launched.
 	 *
 	 * @since 0.7
+	 * @see #setUniverseContextUUID(UUID)
+	 * @see #getUniverseContextUUID()
+	 * @see #setUniverseSpaceUUID(UUID)
+	 * @see #getUniverseSpaceUUID()
+	 * @deprecated see {@link #setSpecificContextUUID()}
 	 */
+	@Deprecated
 	default void setDefaultContextUUID() {
+		setSpecificContextUUID();
+	}
+
 	/**
 	 * Force the SRE platform to use the identifier hard-coded in the source code for its default context.
 	 *

diff --git a/sre/io.janusproject/io.janusproject.plugin/src/io/janusproject/Bootstrap.java b/sre/io.janusproject/io.janusproject.plugin/src/io/janusproject/Bootstrap.java
@@ -121,7 +121,7 @@ public void setBootAgentTypeContextUUID() {
 	}
 
 	@Override
-	public void setDefaultContextUUID() {
+	public void setSpecificContextUUID() {
 		Boot.setDefaultContextUUID();
 	}