// Copyright (C) 2000 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library.  This library 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, or (at your option)
// any later version.

// This library 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 library; see the file COPYING.  If not, write to the Free
// Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307,
// USA.

// 27.8.1.3 filebuf member functions

// various tests for filebuf::open() and filebuf::close() including
// the non-portable functionality in the libstdc++-v3 IO library

#include <fstream>
#include <cassert>
#include <unistd.h>
#include <fcntl.h>


// verify that std::filebuf doesn't close files that it didn't open
// when using the following std::filebuf ctor:
//
//      std::filebuf(int __fd,
//                   const char* __unused,
//                   ios_base::openmode __mode);
//
// thanks to "George T. Talbot" <george@moberg.com> for uncovering
// this bug/situation. 

const char name_01[] = "testsuite/filebuf_members-1.tst";
const char name_02[] = "testsuite/filebuf_members-1.txt";

int
test_01()
{
  bool test = true;
  int close_num;

  // read (ext)
  int fd = open(name_01, O_RDONLY);
  test &= fd >= 0;

  {
    std::filebuf fb(fd, "double_read", std::ios_base::in);
  }
  
  close_num = close(fd);
  test &= close_num == 0;


  // read (standard)
  FILE* f = fopen(name_01, "r");
  test &= !f;

  {
    std::ifstream ifstream1(name_01);
    test &= ifstream1.is_open();
    std::ios_base::iostate st01 = ifstream1.rdstate();
    test &= st01 == std::ios_base::goodbit;
  }
  
  close_num = fclose(f);
  test &= close_num == 0;

  
#ifdef DEBUG_ASSERT
  assert(test);
#endif

  return test;
}


int
main()
{
  test_01();
  return 0;
}