From 85e1f21ec63fa3a383a5f50e27839191c547fc29 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Galland?= Date: Mon, 24 Dec 2018 09:46:04 +0100 Subject: [PATCH] [lang] Deprecate setDefaultContextUUID in Bootstrap. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The replacement function is `setSpecificContextUUID`. Signed-off-by: Stéphane Galland --- .../src/io/sarl/bootstrap/SREBootstrap.java | 9 +++++++++ .../src/io/janusproject/Bootstrap.java | 2 +- 2 files changed, 10 insertions(+), 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 index a27fb95bb4..bb08a3457d 100644 --- 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() { *

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 index b4f8bf4d53..c4e2d32067 100644 --- 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(); }