/*************************************************************************
/* BufferOverflow.java - Test PushbackReader buffer overflows
/*
/* Copyright (c) 1998 Free Software Foundation, Inc.
/* Written by Aaron M. Renn (arenn@urbanophile.com)
/*
/* This program is free software; you can redistribute it and/or modify
/* it under the terms of the GNU General Public License as published
/* by the Free Software Foundation, either version 2 of the License, or
/* (at your option) any later version.
/*
/* This program 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 for more details.
/*
/* You should have received a copy of the GNU General Public License
/* along with this program; if not, write to the Free Software Foundation
/* Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307 USA
/*************************************************************************/
// Tags: JDK1.1
package gnu.testlet.wonka.io.PushbackReader;
import gnu.testlet.Testlet;
import gnu.testlet.TestHarness;
import java.io.*;
public class BufferOverflow implements Testlet
{
public void
test(TestHarness harness)
{
String str = "I used to idolize my older cousin Kurt. I wanted to be\n" +
"just like him when I was a kid. (Now we are as different as night\n" +
"and day - but still like each other). One thing he did for a while\n" +
"was set traps for foxes thinking he would make money off sellnig furs.\n" +
"Now I never saw a fox in all my years of Southern Indiana. That\n" +
"didn't deter us. One time we went out in the middle of winter to\n" +
"check our traps. It was freezing and I stepped onto a frozen over\n" +
"stream. The ice broke and I got my foot soak. Despite the fact that\n" +
"it made me look like a girl, I turned around and went straight home.\n" +
"Good thing too since I couldn't even feel my foot by the time I got\n" +
"there.\n";
try
{
PushbackReader prt = new PushbackReader(new StringReader(str), 10);
char[] read_buf = new char[12];
prt.read(read_buf);
prt.unread(read_buf);
harness.debug("Did not throw expected buffer overflow exception");
harness.check(false);
}
catch(IOException e)
{
harness.check(true); // Yes, we expect this exception
}
}
} // class BufferOverflow