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 }