// Copyright {Jagger Software Limited} 2003

#ifndef IO_FILE_SIZE_INCLUDED
#define IO_FILE_SIZE_INCLUDED

#include <cstdio>
#include <stddef.h>

namespace io
{
    size_t file_size(FILE * stream);
}

#endif

//-------------------------------------------------
// Example of use

#if 0

#include "io/file_size.hpp"
#include "io/FILE_iterator.hpp"
#include "ownership/array_deleter.hpp"
#include "ownership/scoped.hpp"
#include "ownership/fcloser.hpp"
#include <cstdio>
#include <algorithm>

using namespace ::ownership;
using namespace ::std;

int main(int argc, char * argv[])
{
    scoped<fcloser, FILE*> stream(fopen(argv[1], "rb"));
    
    const size_t file_size = file_size(stream.get());

    scoped<array_deleter, char*> source(new char[file_size]);

    copy(FILE_iterator(stream.get()), end, source.get());

    //...    

    return 0;
}

#endif