tests/libjava-mauve/src/gnu/testlet/java/text/ChoiceFormat/next.java
branchjk_new_structure
changeset 1541 75c2e24dea9a
parent 1540 92ac284961c1
child 1542 be11db817bcf
equal deleted inserted replaced
1540:92ac284961c1 1541:75c2e24dea9a
     1 // Test nextDouble and previousDouble.
       
     2 
       
     3 // Copyright (c) 1999  Cygnus Solutions
       
     4 // Written by Tom Tromey <tromey@cygnus.com>
       
     5 
       
     6 // This file is part of Mauve.
       
     7 
       
     8 // Mauve is free software; you can redistribute it and/or modify
       
     9 // it under the terms of the GNU General Public License as published by
       
    10 // the Free Software Foundation; either version 2, or (at your option)
       
    11 // any later version.
       
    12 
       
    13 // Mauve is distributed in the hope that it will be useful,
       
    14 // but WITHOUT ANY WARRANTY; without even the implied warranty of
       
    15 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
       
    16 // GNU General Public License for more details.
       
    17 
       
    18 // You should have received a copy of the GNU General Public License
       
    19 // along with Mauve; see the file COPYING.  If not, write to
       
    20 // the Free Software Foundation, 59 Temple Place - Suite 330,
       
    21 // Boston, MA 02111-1307, USA.
       
    22 
       
    23 // Tags: JDK1.1
       
    24 
       
    25 package gnu.testlet.java.text.ChoiceFormat;
       
    26 
       
    27 import gnu.testlet.Testlet;
       
    28 import gnu.testlet.TestHarness;
       
    29 
       
    30 import java.text.ChoiceFormat;
       
    31 
       
    32 public class next implements Testlet
       
    33 {
       
    34   public void test (TestHarness harness)
       
    35     {
       
    36       String oneplus = "1.0000000000000002";
       
    37       harness.check (ChoiceFormat.nextDouble (1.0) + "", oneplus);
       
    38       harness.check (ChoiceFormat.nextDouble (1.0, true) + "", oneplus);
       
    39     }
       
    40 }