| /* |
| * Copyright (C) 2011 The Guava Authors |
| * |
| * Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except |
| * in compliance with the License. You may obtain a copy of the License at |
| * |
| * http://www.apache.org/licenses/LICENSE-2.0 |
| * |
| * Unless required by applicable law or agreed to in writing, software distributed under the License |
| * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express |
| * or implied. See the License for the specific language governing permissions and limitations under |
| * the License. |
| */ |
| |
| package com.google.common.math; |
| |
| import com.google.common.annotations.GwtCompatible; |
| import com.google.errorprone.annotations.CanIgnoreReturnValue; |
| import java.math.BigInteger; |
| import java.math.RoundingMode; |
| import org.checkerframework.checker.nullness.compatqual.NullableDecl; |
| |
| /** |
| * A collection of preconditions for math functions. |
| * |
| * @author Louis Wasserman |
| */ |
| @GwtCompatible |
| @CanIgnoreReturnValue |
| final class MathPreconditions { |
| static int checkPositive(@NullableDecl String role, int x) { |
| if (x <= 0) { |
| throw new IllegalArgumentException(role + " (" + x + ") must be > 0"); |
| } |
| return x; |
| } |
| |
| static long checkPositive(@NullableDecl String role, long x) { |
| if (x <= 0) { |
| throw new IllegalArgumentException(role + " (" + x + ") must be > 0"); |
| } |
| return x; |
| } |
| |
| static BigInteger checkPositive(@NullableDecl String role, BigInteger x) { |
| if (x.signum() <= 0) { |
| throw new IllegalArgumentException(role + " (" + x + ") must be > 0"); |
| } |
| return x; |
| } |
| |
| static int checkNonNegative(@NullableDecl String role, int x) { |
| if (x < 0) { |
| throw new IllegalArgumentException(role + " (" + x + ") must be >= 0"); |
| } |
| return x; |
| } |
| |
| static long checkNonNegative(@NullableDecl String role, long x) { |
| if (x < 0) { |
| throw new IllegalArgumentException(role + " (" + x + ") must be >= 0"); |
| } |
| return x; |
| } |
| |
| static BigInteger checkNonNegative(@NullableDecl String role, BigInteger x) { |
| if (x.signum() < 0) { |
| throw new IllegalArgumentException(role + " (" + x + ") must be >= 0"); |
| } |
| return x; |
| } |
| |
| static double checkNonNegative(@NullableDecl String role, double x) { |
| if (!(x >= 0)) { // not x < 0, to work with NaN. |
| throw new IllegalArgumentException(role + " (" + x + ") must be >= 0"); |
| } |
| return x; |
| } |
| |
| static void checkRoundingUnnecessary(boolean condition) { |
| if (!condition) { |
| throw new ArithmeticException("mode was UNNECESSARY, but rounding was necessary"); |
| } |
| } |
| |
| static void checkInRangeForRoundingInputs(boolean condition, double input, RoundingMode mode) { |
| if (!condition) { |
| throw new ArithmeticException( |
| "rounded value is out of range for input " + input + " and rounding mode " + mode); |
| } |
| } |
| |
| static void checkNoOverflow(boolean condition, String methodName, int a, int b) { |
| if (!condition) { |
| throw new ArithmeticException("overflow: " + methodName + "(" + a + ", " + b + ")"); |
| } |
| } |
| |
| static void checkNoOverflow(boolean condition, String methodName, long a, long b) { |
| if (!condition) { |
| throw new ArithmeticException("overflow: " + methodName + "(" + a + ", " + b + ")"); |
| } |
| } |
| |
| private MathPreconditions() {} |
| } |