1 /* 2 * Copyright 2019 Raffaello Giulietti 3 * 4 * Permission is hereby granted, free of charge, to any person obtaining a copy 5 * of this software and associated documentation files (the "Software"), to deal 6 * in the Software without restriction, including without limitation the rights 7 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 8 * copies of the Software, and to permit persons to whom the Software is 9 * furnished to do so, subject to the following conditions: 10 * 11 * The above copyright notice and this permission notice shall be included in 12 * all copies or substantial portions of the Software. 13 * 14 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 15 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 16 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 17 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 18 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 19 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 20 * THE SOFTWARE. 21 */ 22 23 import jdk.internal.math.FloatToDecimalChecker; 24 import jdk.test.lib.RandomFactory; 25 26 /* 27 * @test 28 * @author Raffaello Giulietti 29 * @key randomness 30 * 31 * @modules java.base/jdk.internal.math 32 * @library /test/lib 33 * @library java.base 34 * @build jdk.test.lib.RandomFactory 35 * @build java.base/jdk.internal.math.* 36 * @run main FloatToDecimalTest 1_000_000 37 */ 38 public class FloatToDecimalTest { 39 40 private static final int RANDOM_COUNT = 100_000; 41 42 public static void main(String[] args) { 43 int count = RANDOM_COUNT; 44 if (args.length == 0) { 45 FloatToDecimalChecker.test(count, RandomFactory.getRandom()); 46 return; 47 } 48 if (args[0].equals("all")) { 49 FloatToDecimalChecker.testAll(); 50 return; 51 } 52 if (args[0].equals("positive")) { 53 FloatToDecimalChecker.testPositive(); 54 return; 55 } 56 try { 57 count = Integer.parseInt(args[0].replace("_", "")); 58 } catch (NumberFormatException ignored) { 59 } 60 FloatToDecimalChecker.test(count, RandomFactory.getRandom()); 61 } 62 63 }