/*************************************************************************
/* Unread.java - Test basic unread functionality of PushbackReader
/*
/* 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.java.io.PushbackReader;

import gnu.testlet.Testlet;
import gnu.testlet.TestHarness;
import java.io.*;

public class Unread 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 selling 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 soaked.  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), 15);

      char[] read_buf1 = new char[12]; 
      char[] read_buf2 = new char[12]; 
      
      boolean passed = true;

	  harness.check(prt.ready(), "ready()");
	  harness.check(!prt.markSupported(), "markSupported()");

      prt.read(read_buf1); 
      prt.unread(read_buf1);
      prt.read(read_buf2);
      
      for (int i = 0; i < read_buf1.length; i++)
        {
          if (read_buf1[i] != read_buf2[i])
            throw new IOException("Re-reading bytes gave different results");
        }

      prt.unread(read_buf2, 1, read_buf2.length - 1);      
      prt.unread(read_buf2[0]);

      int chars_read, total_read = 0;
      while ((chars_read = prt.read(read_buf1)) != -1)
        {
          harness.debug(new String(read_buf1, 0, chars_read), false);
          total_read += chars_read;
        }

      harness.check(total_read, str.length(), "total_read == str.length()");

	  prt.close();
	  harness.check(true, "close()");
    }
  catch(IOException e)
    {
      harness.debug(e);
      harness.check(false);
    }
} 

} // class Unread