test/java/lang/Double/ParseHexFloatingPoint.java

rev 11823 : 8078672: Print and allow setting by Java property seeds used to initialize Random instances in java.lang numerics tests
Summary: Add ability to initial the random number generator from the system property "seed" and print to STDOUT the seed value actually used.
Reviewed-by: XXX

*** 1,7 ****
  /*
!  * Copyright (c) 2003, 2011, Oracle and/or its affiliates. All rights reserved.
   * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   *
   * This code is free software; you can redistribute it and/or modify it
   * under the terms of the GNU General Public License version 2 only, as
   * published by the Free Software Foundation.
--- 1,7 ----
  /*
!  * Copyright (c) 2003, 2015, Oracle and/or its affiliates. All rights reserved.
   * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   *
   * This code is free software; you can redistribute it and/or modify it
   * under the terms of the GNU General Public License version 2 only, as
   * published by the Free Software Foundation.
*** 21,39 ****
   * questions.
   */
  
  /*
   * @test
!  * @bug 4826774
!  * @summary Numerical tests for hexadecimal inputs to parseDouble, parseFloat
   * @author Joseph D. Darcy
   * @key randomness
   */
  
- 
- import java.util.regex.*;
- 
  public class ParseHexFloatingPoint {
      private ParseHexFloatingPoint(){}
  
      public static final double infinityD = Double.POSITIVE_INFINITY;
      public static final double NaND = Double.NaN;
--- 21,39 ----
   * questions.
   */
  
  /*
   * @test
!  * @library /lib/testlibrary/
!  * @build jdk.testlibrary.*
!  * @run main ParseHexFloatingPoint
!  * @bug 4826774 8078672
!  * @summary Numerical tests for hexadecimal inputs to parse{Double, Float} (use -Dseed=X to set PRNG seed)
   * @author Joseph D. Darcy
   * @key randomness
   */
  
  public class ParseHexFloatingPoint {
      private ParseHexFloatingPoint(){}
  
      public static final double infinityD = Double.POSITIVE_INFINITY;
      public static final double NaND = Double.NaN;
*** 254,264 ****
          }
  
          failures += significandAlignmentTests();
  
          {
!             java.util.Random rand = new java.util.Random();
              // Consistency check; double => hexadecimal => double
              // preserves the original value.
              for(int i = 0; i < 1000; i++) {
                  double d = rand.nextDouble();
                  failures += testCase(Double.toHexString(d), d);
--- 254,264 ----
          }
  
          failures += significandAlignmentTests();
  
          {
!             java.util.Random rand = RandomFactory.getRandom();
              // Consistency check; double => hexadecimal => double
              // preserves the original value.
              for(int i = 0; i < 1000; i++) {
                  double d = rand.nextDouble();
                  failures += testCase(Double.toHexString(d), d);