Remove the pure attribute from @Contract

Closes spring-projectsgh-33820
sdeleuze · Oct 30, 2024 · 9166688 · 9166688
1 parent da89251
commit 9166688
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/spring-core/src/main/java/org/springframework/lang/Contract.java b/spring-core/src/main/java/org/springframework/lang/Contract.java
@@ -72,10 +72,4 @@
 	 * Contains the contract clauses describing causal relations between call arguments and the returned value.
 	 */
 	String value() default "";
-
-	/**
-	 * Specifies if this method is pure, i.e. has no visible side effects. This may be used for more precise data flow analysis, and
-	 * to check that the method's return value is actually used in the call place.
-	 */
-	boolean pure() default false;
 }