From c16d9bbacb89e735e473ab8f5a94954c06261362 Mon Sep 17 00:00:00 2001 From: kjg Date: Mon, 16 Mar 2026 15:20:36 +0900 Subject: [PATCH 1/2] fix: correct Javadoc for float/double finite constraint and NonZero consistency Co-Authored-By: Claude Opus 4.6 (1M context) --- .../junggikim/refined/refined/numeric/NegativeDouble.java | 2 +- .../github/junggikim/refined/refined/numeric/NegativeFloat.java | 2 +- .../junggikim/refined/refined/numeric/NonNegativeDouble.java | 2 +- .../junggikim/refined/refined/numeric/NonNegativeFloat.java | 2 +- .../junggikim/refined/refined/numeric/NonPositiveDouble.java | 2 +- .../junggikim/refined/refined/numeric/NonPositiveFloat.java | 2 +- .../junggikim/refined/refined/numeric/NonZeroBigDecimal.java | 2 +- .../junggikim/refined/refined/numeric/NonZeroBigInteger.java | 2 +- .../github/junggikim/refined/refined/numeric/NonZeroDouble.java | 2 +- .../github/junggikim/refined/refined/numeric/NonZeroFloat.java | 2 +- .../junggikim/refined/refined/numeric/PositiveDouble.java | 2 +- .../github/junggikim/refined/refined/numeric/PositiveFloat.java | 2 +- 12 files changed, 12 insertions(+), 12 deletions(-) diff --git a/src/main/java/io/github/junggikim/refined/refined/numeric/NegativeDouble.java b/src/main/java/io/github/junggikim/refined/refined/numeric/NegativeDouble.java index d118284..927d7f6 100644 --- a/src/main/java/io/github/junggikim/refined/refined/numeric/NegativeDouble.java +++ b/src/main/java/io/github/junggikim/refined/refined/numeric/NegativeDouble.java @@ -7,7 +7,7 @@ import io.github.junggikim.refined.validation.Validation; import io.github.junggikim.refined.violation.Violation; -/** Wraps a {@code double} value that is strictly negative ({@code < 0}). */ +/** Wraps a finite {@code double} value that is strictly negative ({@code < 0}). */ public final class NegativeDouble extends AbstractRefined implements Newtype { private static final Constraint CONSTRAINT = RefinedSupport.negativeDouble(); diff --git a/src/main/java/io/github/junggikim/refined/refined/numeric/NegativeFloat.java b/src/main/java/io/github/junggikim/refined/refined/numeric/NegativeFloat.java index 2456d46..b701e8e 100644 --- a/src/main/java/io/github/junggikim/refined/refined/numeric/NegativeFloat.java +++ b/src/main/java/io/github/junggikim/refined/refined/numeric/NegativeFloat.java @@ -7,7 +7,7 @@ import io.github.junggikim.refined.validation.Validation; import io.github.junggikim.refined.violation.Violation; -/** Wraps a {@code float} value that is strictly negative ({@code < 0}). */ +/** Wraps a finite {@code float} value that is strictly negative ({@code < 0}). */ public final class NegativeFloat extends AbstractRefined implements Newtype { private static final Constraint CONSTRAINT = RefinedSupport.negativeFloat(); diff --git a/src/main/java/io/github/junggikim/refined/refined/numeric/NonNegativeDouble.java b/src/main/java/io/github/junggikim/refined/refined/numeric/NonNegativeDouble.java index ff66ec2..6831a6f 100644 --- a/src/main/java/io/github/junggikim/refined/refined/numeric/NonNegativeDouble.java +++ b/src/main/java/io/github/junggikim/refined/refined/numeric/NonNegativeDouble.java @@ -7,7 +7,7 @@ import io.github.junggikim.refined.validation.Validation; import io.github.junggikim.refined.violation.Violation; -/** Wraps a {@code double} value that is non-negative ({@code >= 0}). */ +/** Wraps a finite {@code double} value that is non-negative ({@code >= 0}). */ public final class NonNegativeDouble extends AbstractRefined implements Newtype { private static final Constraint CONSTRAINT = RefinedSupport.nonNegativeDouble(); diff --git a/src/main/java/io/github/junggikim/refined/refined/numeric/NonNegativeFloat.java b/src/main/java/io/github/junggikim/refined/refined/numeric/NonNegativeFloat.java index de3c782..dda28c7 100644 --- a/src/main/java/io/github/junggikim/refined/refined/numeric/NonNegativeFloat.java +++ b/src/main/java/io/github/junggikim/refined/refined/numeric/NonNegativeFloat.java @@ -7,7 +7,7 @@ import io.github.junggikim.refined.validation.Validation; import io.github.junggikim.refined.violation.Violation; -/** Wraps a {@code float} value that is non-negative ({@code >= 0}). */ +/** Wraps a finite {@code float} value that is non-negative ({@code >= 0}). */ public final class NonNegativeFloat extends AbstractRefined implements Newtype { private static final Constraint CONSTRAINT = RefinedSupport.nonNegativeFloat(); diff --git a/src/main/java/io/github/junggikim/refined/refined/numeric/NonPositiveDouble.java b/src/main/java/io/github/junggikim/refined/refined/numeric/NonPositiveDouble.java index 101ea6c..90f4391 100644 --- a/src/main/java/io/github/junggikim/refined/refined/numeric/NonPositiveDouble.java +++ b/src/main/java/io/github/junggikim/refined/refined/numeric/NonPositiveDouble.java @@ -7,7 +7,7 @@ import io.github.junggikim.refined.validation.Validation; import io.github.junggikim.refined.violation.Violation; -/** Wraps a {@code double} value that is non-positive ({@code <= 0}). */ +/** Wraps a finite {@code double} value that is non-positive ({@code <= 0}). */ public final class NonPositiveDouble extends AbstractRefined implements Newtype { private static final Constraint CONSTRAINT = RefinedSupport.nonPositiveDouble(); diff --git a/src/main/java/io/github/junggikim/refined/refined/numeric/NonPositiveFloat.java b/src/main/java/io/github/junggikim/refined/refined/numeric/NonPositiveFloat.java index f41a837..18fdaae 100644 --- a/src/main/java/io/github/junggikim/refined/refined/numeric/NonPositiveFloat.java +++ b/src/main/java/io/github/junggikim/refined/refined/numeric/NonPositiveFloat.java @@ -7,7 +7,7 @@ import io.github.junggikim.refined.validation.Validation; import io.github.junggikim.refined.violation.Violation; -/** Wraps a {@code float} value that is non-positive ({@code <= 0}). */ +/** Wraps a finite {@code float} value that is non-positive ({@code <= 0}). */ public final class NonPositiveFloat extends AbstractRefined implements Newtype { private static final Constraint CONSTRAINT = RefinedSupport.nonPositiveFloat(); diff --git a/src/main/java/io/github/junggikim/refined/refined/numeric/NonZeroBigDecimal.java b/src/main/java/io/github/junggikim/refined/refined/numeric/NonZeroBigDecimal.java index c73e91b..92a220c 100644 --- a/src/main/java/io/github/junggikim/refined/refined/numeric/NonZeroBigDecimal.java +++ b/src/main/java/io/github/junggikim/refined/refined/numeric/NonZeroBigDecimal.java @@ -8,7 +8,7 @@ import io.github.junggikim.refined.violation.Violation; import java.math.BigDecimal; -/** Wraps a {@code BigDecimal} value that is non-zero. */ +/** Wraps a {@code BigDecimal} value that is non-zero ({@code != 0}). */ public final class NonZeroBigDecimal extends AbstractRefined implements Newtype { private static final Constraint CONSTRAINT = RefinedSupport.nonZeroBigDecimal(); diff --git a/src/main/java/io/github/junggikim/refined/refined/numeric/NonZeroBigInteger.java b/src/main/java/io/github/junggikim/refined/refined/numeric/NonZeroBigInteger.java index 9cd938d..3bc58b9 100644 --- a/src/main/java/io/github/junggikim/refined/refined/numeric/NonZeroBigInteger.java +++ b/src/main/java/io/github/junggikim/refined/refined/numeric/NonZeroBigInteger.java @@ -8,7 +8,7 @@ import io.github.junggikim.refined.violation.Violation; import java.math.BigInteger; -/** Wraps a {@code BigInteger} value that is non-zero. */ +/** Wraps a {@code BigInteger} value that is non-zero ({@code != 0}). */ public final class NonZeroBigInteger extends AbstractRefined implements Newtype { private static final Constraint CONSTRAINT = RefinedSupport.nonZeroBigInteger(); diff --git a/src/main/java/io/github/junggikim/refined/refined/numeric/NonZeroDouble.java b/src/main/java/io/github/junggikim/refined/refined/numeric/NonZeroDouble.java index 8c71036..ffc9c72 100644 --- a/src/main/java/io/github/junggikim/refined/refined/numeric/NonZeroDouble.java +++ b/src/main/java/io/github/junggikim/refined/refined/numeric/NonZeroDouble.java @@ -7,7 +7,7 @@ import io.github.junggikim.refined.validation.Validation; import io.github.junggikim.refined.violation.Violation; -/** Wraps a {@code double} value that is non-zero ({@code != 0}). */ +/** Wraps a finite {@code double} value that is non-zero ({@code != 0}). */ public final class NonZeroDouble extends AbstractRefined implements Newtype { private static final Constraint CONSTRAINT = RefinedSupport.nonZeroDouble(); diff --git a/src/main/java/io/github/junggikim/refined/refined/numeric/NonZeroFloat.java b/src/main/java/io/github/junggikim/refined/refined/numeric/NonZeroFloat.java index f99c007..8cddbd9 100644 --- a/src/main/java/io/github/junggikim/refined/refined/numeric/NonZeroFloat.java +++ b/src/main/java/io/github/junggikim/refined/refined/numeric/NonZeroFloat.java @@ -7,7 +7,7 @@ import io.github.junggikim.refined.validation.Validation; import io.github.junggikim.refined.violation.Violation; -/** Wraps a {@code float} value that is non-zero ({@code != 0}). */ +/** Wraps a finite {@code float} value that is non-zero ({@code != 0}). */ public final class NonZeroFloat extends AbstractRefined implements Newtype { private static final Constraint CONSTRAINT = RefinedSupport.nonZeroFloat(); diff --git a/src/main/java/io/github/junggikim/refined/refined/numeric/PositiveDouble.java b/src/main/java/io/github/junggikim/refined/refined/numeric/PositiveDouble.java index 4ce5ec8..34f2456 100644 --- a/src/main/java/io/github/junggikim/refined/refined/numeric/PositiveDouble.java +++ b/src/main/java/io/github/junggikim/refined/refined/numeric/PositiveDouble.java @@ -7,7 +7,7 @@ import io.github.junggikim.refined.validation.Validation; import io.github.junggikim.refined.violation.Violation; -/** Wraps a {@code double} value that is strictly positive ({@code > 0}). */ +/** Wraps a finite {@code double} value that is strictly positive ({@code > 0}). */ public final class PositiveDouble extends AbstractRefined implements Newtype { private static final Constraint CONSTRAINT = RefinedSupport.positiveDouble(); diff --git a/src/main/java/io/github/junggikim/refined/refined/numeric/PositiveFloat.java b/src/main/java/io/github/junggikim/refined/refined/numeric/PositiveFloat.java index b791015..e30223c 100644 --- a/src/main/java/io/github/junggikim/refined/refined/numeric/PositiveFloat.java +++ b/src/main/java/io/github/junggikim/refined/refined/numeric/PositiveFloat.java @@ -7,7 +7,7 @@ import io.github.junggikim.refined.validation.Validation; import io.github.junggikim.refined.violation.Violation; -/** Wraps a {@code float} value that is strictly positive ({@code > 0}). */ +/** Wraps a finite {@code float} value that is strictly positive ({@code > 0}). */ public final class PositiveFloat extends AbstractRefined implements Newtype { private static final Constraint CONSTRAINT = RefinedSupport.positiveFloat(); From 43be1b0f5956d11b0e1267a8ca4f61e8fa63e29a Mon Sep 17 00:00:00 2001 From: kjg Date: Mon, 16 Mar 2026 15:38:10 +0900 Subject: [PATCH 2/2] fix: add finite constraint to ZeroToOne Javadoc Co-Authored-By: Claude Opus 4.6 (1M context) --- .../junggikim/refined/refined/numeric/ZeroToOneDouble.java | 2 +- .../junggikim/refined/refined/numeric/ZeroToOneFloat.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/java/io/github/junggikim/refined/refined/numeric/ZeroToOneDouble.java b/src/main/java/io/github/junggikim/refined/refined/numeric/ZeroToOneDouble.java index a3fe634..ab9fda2 100644 --- a/src/main/java/io/github/junggikim/refined/refined/numeric/ZeroToOneDouble.java +++ b/src/main/java/io/github/junggikim/refined/refined/numeric/ZeroToOneDouble.java @@ -7,7 +7,7 @@ import io.github.junggikim.refined.validation.Validation; import io.github.junggikim.refined.violation.Violation; -/** Wraps a {@code double} value in the range {@code [0, 1]}. */ +/** Wraps a finite {@code double} value in the range {@code [0, 1]}. */ public final class ZeroToOneDouble extends AbstractRefined implements Newtype { private static final Constraint CONSTRAINT = RefinedSupport.zeroToOneDouble(); diff --git a/src/main/java/io/github/junggikim/refined/refined/numeric/ZeroToOneFloat.java b/src/main/java/io/github/junggikim/refined/refined/numeric/ZeroToOneFloat.java index 23dacf4..9cdef31 100644 --- a/src/main/java/io/github/junggikim/refined/refined/numeric/ZeroToOneFloat.java +++ b/src/main/java/io/github/junggikim/refined/refined/numeric/ZeroToOneFloat.java @@ -7,7 +7,7 @@ import io.github.junggikim.refined.validation.Validation; import io.github.junggikim.refined.violation.Violation; -/** Wraps a {@code float} value in the range {@code [0, 1]}. */ +/** Wraps a finite {@code float} value in the range {@code [0, 1]}. */ public final class ZeroToOneFloat extends AbstractRefined implements Newtype { private static final Constraint CONSTRAINT = RefinedSupport.zeroToOneFloat();