1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
-- GHDL Run Time (GRT) - stdio binding.
-- Copyright (C) 2002, 2003, 2004, 2005 Tristan Gingold
--
-- GHDL 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.
--
-- GHDL 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 GCC; see the file COPYING. If not, write to the Free
-- Software Foundation, 59 Temple Place - Suite 330, Boston, MA
-- 02111-1307, USA.
with System;
with Grt.C; use Grt.C;
-- This package provides a thin binding to the stdio.h of the C library.
-- It mimics GNAT package Interfaces.C_Streams.
-- The purpose of this package is to remove dependencies on the GNAT run time.
package Grt.Stdio is
pragma Preelaborate (Grt.Stdio);
-- Type FILE *.
type FILEs is new System.Address;
-- NULL for a stream.
NULL_Stream : constant FILEs;
-- Predefined streams.
function stdout return FILEs;
function stderr return FILEs;
function stdin return FILEs;
-- The following subprograms are translation of the C prototypes.
function fopen (path: chars; mode : chars) return FILEs;
function fwrite (buffer : voids;
size : size_t;
count : size_t;
stream : FILEs)
return size_t;
function fread (buffer : voids;
size : size_t;
count : size_t;
stream : FILEs)
return size_t;
function fputc (c : int; stream : FILEs) return int;
procedure fputc (c : int; stream : FILEs);
function fputs (s : chars; stream : FILEs) return int;
function fgetc (stream : FILEs) return int;
function fgets (s : chars; size : int; stream : FILEs) return chars;
function ungetc (c : int; stream : FILEs) return int;
function fflush (stream : FILEs) return int;
procedure fflush (stream : FILEs);
function feof (stream : FILEs) return int;
function ftell (stream : FILEs) return long;
function fclose (stream : FILEs) return int;
procedure fclose (Stream : FILEs);
private
-- This is a little bit dubious, but this package should be preelaborated,
-- and Null_Address is not static (since defined in the private part
-- of System).
-- I am pretty sure the C definition of NULL is 0.
NULL_Stream : constant FILEs := FILEs (System'To_Address (0));
pragma Import (C, fopen);
pragma Import (C, fwrite);
pragma Import (C, fread);
pragma Import (C, fputs);
pragma Import (C, fputc);
pragma Import (C, fgetc);
pragma Import (C, fgets);
pragma Import (C, ungetc);
pragma Import (C, fflush);
pragma Import (C, feof);
pragma Import (C, ftell);
pragma Import (C, fclose);
pragma Import (C, stdout, "__ghdl_get_stdout");
pragma Import (C, stderr, "__ghdl_get_stderr");
pragma Import (C, stdin, "__ghdl_get_stdin");
end Grt.Stdio;
|
