1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
5 -- I N T E R F A C E S . C _ S T R E A M S --
9 -- Copyright (C) 1996-2014, Free Software Foundation, Inc. --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. --
18 -- As a special exception under Section 7 of GPL version 3, you are granted --
19 -- additional permissions described in the GCC Runtime Library Exception, --
20 -- version 3.1, as published by the Free Software Foundation. --
22 -- You should have received a copy of the GNU General Public License and --
23 -- a copy of the GCC Runtime Library Exception along with this program; --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
25 -- <http://www.gnu.org/licenses/>. --
27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
30 ------------------------------------------------------------------------------
32 with Ada
.Unchecked_Conversion
;
34 package body Interfaces
.C_Streams
is
36 use type System
.CRTL
.size_t
;
38 ----------------------------
39 -- Interfaced C functions --
40 ----------------------------
46 stream
: FILEs
) return size_t
;
47 pragma Import
(C
, C_fread
, "fread");
53 stream
: FILEs
) return size_t
;
54 pragma Import
(C
, C_fwrite
, "fwrite");
60 size
: size_t
) return int
;
61 pragma Import
(C
, C_setvbuf
, "setvbuf");
71 stream
: FILEs
) return size_t
74 return C_fread
(buffer
, size
, count
, stream
);
81 -- The following declarations should really be nested within fread, but
82 -- limitations in front end inlining make this undesirable right now ???
84 type Byte_Buffer
is array (0 .. size_t
'Last / 2 - 1) of Unsigned_8
;
85 -- This should really be 0 .. size_t'last, but there is a problem
86 -- in gigi in handling such types (introduced in GCC 3 Sep 2001)
87 -- since the size in bytes of this array overflows ???
89 type Acc_Bytes
is access all Byte_Buffer
;
91 function To_Acc_Bytes
is new Ada
.Unchecked_Conversion
(voids
, Acc_Bytes
);
98 stream
: FILEs
) return size_t
102 (To_Acc_Bytes
(buffer
) (index
* size
)'Address, size
, count
, stream
);
113 stream
: FILEs
) return size_t
116 return C_fwrite
(buffer
, size
, count
, stream
);
127 size
: size_t
) return int
130 return C_setvbuf
(stream
, buffer
, mode
, size
);
133 end Interfaces
.C_Streams
;