From 9166688b6fca73217dada9bf7a7fca71f4034b95 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Deleuze?= Date: Wed, 30 Oct 2024 15:11:44 +0100 Subject: [PATCH] Remove the pure attribute from `@Contract` Closes gh-33820 --- .../src/main/java/org/springframework/lang/Contract.java | 6 ------ 1 file changed, 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 index 1967b6548f2f..6125b10fd83b 100644 --- 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; }