/*
 * Copyright 2001 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 4450867
 * @summary Although technically the behavior of ObjectInputStream following a
 *          UTFDataFormatException is unspecified, verify that
 *          ObjectInputStream consumes at most the expected number of utf
 *          bytes, even if the last byte(s) of the utf string indicate that the
 *          string overflows its expected length.
 */

import java.io.*;
import java.util.Random;

public class CorruptedUTFConsumption {

    static Random rand = new Random(System.currentTimeMillis());

    public static void main(String[] args) throws Exception {
        StringBuffer sbuf = new StringBuffer();
        ByteArrayOutputStream bout = new ByteArrayOutputStream();
        DataOutputStream dout = new DataOutputStream(bout);

        for (int i = 0; i < 1200; i++) {
            sbuf.append(i % 10);
            bout.reset();
            dout.writeUTF(sbuf.toString());
            byte[] utf = bout.toByteArray();

            // set last byte to first byte of 2-char sequence
            utf[utf.length - 1] = (byte) (0xC0 | rand.nextInt() & 0x1F);
            checkConsume(utf);

            // set last byte to first byte of 3-char sequence
            utf[utf.length - 1] = (byte) (0xE0 | rand.nextInt() & 0x0F);
            checkConsume(utf);

            if (utf.length >= 4) {      // don't touch utf length bytes
                // set last 2 bytes to first, second byte of 3-char sequence
                utf[utf.length - 2] = (byte) (0xE0 | rand.nextInt() & 0x0F);
                utf[utf.length - 1] = (byte) (0x80 | rand.nextInt() & 0x3F);
                checkConsume(utf);
            }
        }
    }

    static void checkConsume(byte[] utf) throws Exception {
        ByteArrayOutputStream bout = new ByteArrayOutputStream();
        ObjectOutputStream oout = new ObjectOutputStream(bout);
        oout.write(utf);
        oout.writeByte(0);      // leave one byte of padding
        oout.close();
        ObjectInputStream oin = new ObjectInputStream(
            new ByteArrayInputStream(bout.toByteArray()));
        try {
            oin.readUTF();
            throw new Error();
        } catch (UTFDataFormatException ex) {
        }
        // if readUTF consumed padding byte, readByte will throw EOFException
        oin.readByte();
    }
}