add tolerance param

Signed-off-by: Mathieu DEHARBE <mathieu.deharbe@rte-france.com>

src/main/java/org/gridsuite/securityanalysis/server/dto/ResourceFilterDTO.java

@@ -15,9 +15,13 @@
  * @param type the type of filter (contains, startsWith...)
  * @param value the value of the filter
  * @param column the column / field on which the filter will be applied
+ * @param tolerance precision/tolerance used for the comparisons (simulates the rounding of the database values) Only useful for numbers.
  * @author Kevin Le Saulnier <kevin.lesaulnier at rte-france.com>
  */
-public record ResourceFilterDTO(DataType dataType, Type type, Object value, String column) {
+public record ResourceFilterDTO(DataType dataType, Type type, Object value, String column, Double tolerance) {
+    public ResourceFilterDTO(DataType dataType, Type type, Object value, String column) {
+        this(dataType, type, value, column, null);
+    }
 
     public enum DataType {
         @JsonProperty("text")

src/main/java/org/gridsuite/securityanalysis/server/repositories/specifications/SpecificationUtils.java

@@ -150,16 +150,21 @@ private static <X> Specification<X> appendNumberFilterToSpecification(Specificat
     }
 
     private static <X> Specification<X> createNumberPredicate(Specification<X> specification, ResourceFilterDTO resourceFilter, String filterValue) {
-        // the reference for the comparison is the number of digits after the decimal point in filterValue
-        // extra digits are ignored, but the user may add '0's after the decimal point in order to get a better precision
-        String[] splitValue = filterValue.split("\\.");
-        int numberOfDecimalAfterDot = 0;
-        if (splitValue.length > 1) {
-            numberOfDecimalAfterDot = splitValue[1].length();
+        double tolerance;
+        if (resourceFilter.tolerance() != null) {
+            tolerance = resourceFilter.tolerance();
+        } else {
+            // the reference for the comparison is the number of digits after the decimal point in filterValue
+            // extra digits are ignored, but the user may add '0's after the decimal point in order to get a better precision
+            String[] splitValue = filterValue.split("\\.");
+            int numberOfDecimalAfterDot = 0;
+            if (splitValue.length > 1) {
+                numberOfDecimalAfterDot = splitValue[1].length();
+            }
+            // tolerance is multiplied by 0.5 to simulate the fact that the database value is rounded (in the front, from the user viewpoint)
+            // more than 13 decimal after dot will likely cause rounding errors due to double precision
+            tolerance = Math.pow(10, -numberOfDecimalAfterDot) * 0.5;
         }
-        // tolerance is multiplied by 0.5 to simulate the fact that the database value is rounded (in the front, from the user viewpoint)
-        // more than 13 decimal after dot will likely cause rounding errors due to double precision
-        final double tolerance = Math.pow(10, -numberOfDecimalAfterDot) * 0.5;
         Double valueDouble = Double.valueOf(filterValue);
         return switch (resourceFilter.type()) {
             case NOT_EQUAL -> specification.and(notEqual(resourceFilter.column(), valueDouble, tolerance));