[lang] Remove invalid @pure annotation on toString(JsonBuffer).

Signed-off-by: Stéphane Galland <galland@arakhne.org>
sarl · Feb 21, 2021 · f7dfc75 · f7dfc75
1 parent ca77aab
commit f7dfc75
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/main/coreplugins/io.sarl.lang.core/src/io/sarl/lang/core/AgentProtectedAPIObject.java b/main/coreplugins/io.sarl.lang.core/src/io/sarl/lang/core/AgentProtectedAPIObject.java
@@ -49,7 +49,6 @@ public final String toString() {
 	 * @param builder the string builder.
 	 * @since 0.7
 	 */
-	@Pure
 	protected abstract void toString(ToStringBuilder builder);
 
 	/** Replies the skill corresponding to the given capacity.

diff --git a/main/coreplugins/io.sarl.lang.core/src/io/sarl/lang/core/AgentTrait.java b/main/coreplugins/io.sarl.lang.core/src/io/sarl/lang/core/AgentTrait.java
@@ -55,7 +55,6 @@ protected AgentTrait() {
 	}
 
 	@Override
-	@Pure
 	protected void toString(ToStringBuilder builder) {
 		builder.add("type", getClass().getSimpleName()); //$NON-NLS-1$
 		builder.add("owner", getOwner()); //$NON-NLS-1$