/*
 * Copyright 1997 Sun Microsystems, Inc.  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.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompanied this code).
 *
 * You should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 *
 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
 * CA 95054 USA or visit www.sun.com if you need additional information or
 * have any questions.
 */

/*
  @test
  @bug 4017728 4079849
  @summary Check for correct Array Bounds check in read of FileInputStream and
  RandomAccessFile
  */

import java.io.*;


/*
 * The test calls the read(byte buf[] , int off , int len) of FileInputStream with
 * different values of off and len to see if the ArrayOutOfBoundsException is
 * thrown according to the JLS1.0 specification.  The read(...) method calls
 * readBytes(...) in native code(io_util.c).  The read(...) method in RandomAccessFile
 * also calls the same native method.  So one should see similar results.
 */


public class ReadBytesBounds {

    public static void main(String argv[]) throws Exception{

        int num_test_cases = 12;
        int off[] =     {-1 , -1 ,  0 , 0  , 33 , 33 , 0  , 32 , 32 , 4  , 1  , 0};
        int len[] =     {-1 ,  0 , -1 , 33 , 0  , 4  , 32 , 0  , 4  , 16 , 31 , 0};
        boolean results[] = { false ,  false ,  false , false  , false  , false  ,
                              true  , true  , false  , true  , true  , true};


        FileInputStream fis = null;
        RandomAccessFile raf = null;
        byte b[] = new byte[32];

        int num_good = 0;
        int num_bad = 0;

        String dir = System.getProperty("test.src", ".");
        File testFile = new File(dir, "input.txt");
        fis = new FileInputStream(testFile);
        for(int i = 0; i < num_test_cases; i++) {

            try {
                int bytes_read = fis.read(b , off[i] , len[i]);
            } catch(IndexOutOfBoundsException aiobe) {
                if (results[i]) {
                    throw new RuntimeException("Unexpected result");
                }
                else {
                    num_good++;
                }
                continue;
            }

            if (results[i]) {
                num_good++;
            }
            else {
                throw new RuntimeException("Unexpected result");
            }

        }
        System.out.println("Results for FileInputStream.read");
        System.out.println("\nTotal number of test cases = " + num_test_cases +
                           "\nNumber succeded = " + num_good +
                           "\nNumber failed   = " + num_bad);


        num_good = 0;
        num_bad = 0;

        raf = new RandomAccessFile(testFile , "r");
        for(int i = 0; i < num_test_cases; i++) {

            try {
                int bytes_read = raf.read(b , off[i] , len[i]);
            } catch(IndexOutOfBoundsException aiobe) {
                if (results[i]) {
                    throw new RuntimeException("Unexpected result");
                }
                else {
                    num_good++;
                }
                continue;
            }

            if (results[i]) {
                num_good++;
            }
            else {
                throw new RuntimeException("Unexpected result");
            }

        }

        System.out.println("Results for RandomAccessFile.read");
        System.out.println("\nTotal number of test cases = " + num_test_cases +
                           "\nNumber succeded = " + num_good +
                           "\nNumber failed   = " + num_bad);


    }

}