Bug fix: in SearchIterator.checkRmRangeSearchParameters() a casting e…

…rror from Double to float was raised (milvus-io#887) The error occurred when SearchIterator was created via withParams called with a JSON configured with real numbers - see Issue milvus-io#887 for more details Signed-off-by: PiercarloSlavazza <[email protected]>
PiercarloSlavazza · May 9, 2024 · 4ba8b28 · 4ba8b28
1 parent 7674ae4
commit 4ba8b28
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/java/io/milvus/orm/iterator/SearchIterator.java b/src/main/java/io/milvus/orm/iterator/SearchIterator.java
@@ -140,8 +140,8 @@ private void checkForSpecialIndexParam() {
 
     private void checkRmRangeSearchParameters() {
         if (params.containsKey(RADIUS) && params.containsKey(RANGE_FILTER)) {
-            float radius = (float) params.get(RADIUS);
-            float rangeFilter = (float) params.get(RANGE_FILTER);
+            double radius = (double) params.get(RADIUS);
+            double rangeFilter = (double) params.get(RANGE_FILTER);
             if (metricsPositiveRelated(metricType) && radius <= rangeFilter) {
                 String msg = String.format("for metrics:%s, radius must be larger than range_filter, please adjust your parameter", metricType);
                 ExceptionUtils.throwUnExpectedException(msg);