First import from sources

1 files changed, 110 insertions, 0 deletions

diff --git a/translate/grt/grt-stdio.ads b/translate/grt/grt-stdio.ads
new file mode 100644
index 0000000..fad3322
--- /dev/null
+++ b/translate/grt/grt-stdio.ads
@@ -0,0 +1,110 @@
+--  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;
+
+--  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;
+
+   --  Type void * and char *.
+   subtype voids is System.Address;
+   subtype chars is System.Address;
+   subtype long is Long_Integer;
+
+   --  Type size_t.
+   type size_t is mod 2 ** Standard'Address_Size;
+
+   --  Type int.  It is an alias on Integer for simplicity.
+   subtype int is Integer;
+
+   --  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;