1 ------------------------------------------------------------------------------
3 -- GNAT RUN-TIME COMPONENTS --
5 -- S Y S T E M . S T R E A M _ A T T R I B U T E S --
9 -- Copyright (C) 1992-2009, 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.IO_Exceptions;
33 with Ada.Streams; use Ada.Streams;
34 with Ada.Unchecked_Conversion;
36 package body System.Stream_Attributes is
38 Err : exception renames Ada.IO_Exceptions.End_Error;
39 -- Exception raised if insufficient data read (note that the RM implies
40 -- that Data_Error might be the appropriate choice, but AI95-00132
41 -- decides with a binding interpretation that End_Error is preferred).
43 SU : constant := System.Storage_Unit;
45 subtype SEA is Ada.Streams.Stream_Element_Array;
46 subtype SEO is Ada.Streams.Stream_Element_Offset;
48 generic function UC renames Ada.Unchecked_Conversion;
50 -- Subtypes used to define Stream_Element_Array values that map
51 -- into the elementary types, using unchecked conversion.
53 Thin_Pointer_Size : constant := System.Address'Size;
54 Fat_Pointer_Size : constant := System.Address'Size * 2;
56 subtype S_AD is SEA (1 .. (Fat_Pointer_Size + SU - 1) / SU);
57 subtype S_AS is SEA (1 .. (Thin_Pointer_Size + SU - 1) / SU);
58 subtype S_B is SEA (1 .. (Boolean'Size + SU - 1) / SU);
59 subtype S_C is SEA (1 .. (Character'Size + SU - 1) / SU);
60 subtype S_F is SEA (1 .. (Float'Size + SU - 1) / SU);
61 subtype S_I is SEA (1 .. (Integer'Size + SU - 1) / SU);
62 subtype S_LF is SEA (1 .. (Long_Float'Size + SU - 1) / SU);
63 subtype S_LI is SEA (1 .. (Long_Integer'Size + SU - 1) / SU);
64 subtype S_LLF is SEA (1 .. (Long_Long_Float'Size + SU - 1) / SU);
65 subtype S_LLI is SEA (1 .. (Long_Long_Integer'Size + SU - 1) / SU);
66 subtype S_LLU is SEA (1 .. (UST.Long_Long_Unsigned'Size + SU - 1) / SU);
67 subtype S_LU is SEA (1 .. (UST.Long_Unsigned'Size + SU - 1) / SU);
68 subtype S_SF is SEA (1 .. (Short_Float'Size + SU - 1) / SU);
69 subtype S_SI is SEA (1 .. (Short_Integer'Size + SU - 1) / SU);
70 subtype S_SSI is SEA (1 .. (Short_Short_Integer'Size + SU - 1) / SU);
71 subtype S_SSU is SEA (1 .. (UST.Short_Short_Unsigned'Size + SU - 1) / SU);
72 subtype S_SU is SEA (1 .. (UST.Short_Unsigned'Size + SU - 1) / SU);
73 subtype S_U is SEA (1 .. (UST.Unsigned'Size + SU - 1) / SU);
74 subtype S_WC is SEA (1 .. (Wide_Character'Size + SU - 1) / SU);
75 subtype S_WWC is SEA (1 .. (Wide_Wide_Character'Size + SU - 1) / SU);
77 -- Unchecked conversions from the elementary type to the stream type
79 function From_AD is new UC (Fat_Pointer, S_AD);
80 function From_AS is new UC (Thin_Pointer, S_AS);
81 function From_F is new UC (Float, S_F);
82 function From_I is new UC (Integer, S_I);
83 function From_LF is new UC (Long_Float, S_LF);
84 function From_LI is new UC (Long_Integer, S_LI);
85 function From_LLF is new UC (Long_Long_Float, S_LLF);
86 function From_LLI is new UC (Long_Long_Integer, S_LLI);
87 function From_LLU is new UC (UST.Long_Long_Unsigned, S_LLU);
88 function From_LU is new UC (UST.Long_Unsigned, S_LU);
89 function From_SF is new UC (Short_Float, S_SF);
90 function From_SI is new UC (Short_Integer, S_SI);
91 function From_SSI is new UC (Short_Short_Integer, S_SSI);
92 function From_SSU is new UC (UST.Short_Short_Unsigned, S_SSU);
93 function From_SU is new UC (UST.Short_Unsigned, S_SU);
94 function From_U is new UC (UST.Unsigned, S_U);
95 function From_WC is new UC (Wide_Character, S_WC);
96 function From_WWC is new UC (Wide_Wide_Character, S_WWC);
98 -- Unchecked conversions from the stream type to elementary type
100 function To_AD is new UC (S_AD, Fat_Pointer);
101 function To_AS is new UC (S_AS, Thin_Pointer);
102 function To_F is new UC (S_F, Float);
103 function To_I is new UC (S_I, Integer);
104 function To_LF is new UC (S_LF, Long_Float);
105 function To_LI is new UC (S_LI, Long_Integer);
106 function To_LLF is new UC (S_LLF, Long_Long_Float);
107 function To_LLI is new UC (S_LLI, Long_Long_Integer);
108 function To_LLU is new UC (S_LLU, UST.Long_Long_Unsigned);
109 function To_LU is new UC (S_LU, UST.Long_Unsigned);
110 function To_SF is new UC (S_SF, Short_Float);
111 function To_SI is new UC (S_SI, Short_Integer);
112 function To_SSI is new UC (S_SSI, Short_Short_Integer);
113 function To_SSU is new UC (S_SSU, UST.Short_Short_Unsigned);
114 function To_SU is new UC (S_SU, UST.Short_Unsigned);
115 function To_U is new UC (S_U, UST.Unsigned);
116 function To_WC is new UC (S_WC, Wide_Character);
117 function To_WWC is new UC (S_WWC, Wide_Wide_Character);
123 function Block_IO_OK return Boolean is
132 function I_AD (Stream : not null access RST) return Fat_Pointer is
137 Ada.Streams.Read (Stream.all, T, L);
150 function I_AS (Stream : not null access RST) return Thin_Pointer is
155 Ada.Streams.Read (Stream.all, T, L);
168 function I_B (Stream : not null access RST) return Boolean is
173 Ada.Streams.Read (Stream.all, T, L);
178 return Boolean'Val (T (1));
186 function I_C (Stream : not null access RST) return Character is
191 Ada.Streams.Read (Stream.all, T, L);
196 return Character'Val (T (1));
204 function I_F (Stream : not null access RST) return Float is
209 Ada.Streams.Read (Stream.all, T, L);
222 function I_I (Stream : not null access RST) return Integer is
227 Ada.Streams.Read (Stream.all, T, L);
240 function I_LF (Stream : not null access RST) return Long_Float is
245 Ada.Streams.Read (Stream.all, T, L);
258 function I_LI (Stream : not null access RST) return Long_Integer is
263 Ada.Streams.Read (Stream.all, T, L);
276 function I_LLF (Stream : not null access RST) return Long_Long_Float is
281 Ada.Streams.Read (Stream.all, T, L);
294 function I_LLI (Stream : not null access RST) return Long_Long_Integer is
299 Ada.Streams.Read (Stream.all, T, L);
313 (Stream : not null access RST) return UST.Long_Long_Unsigned
319 Ada.Streams.Read (Stream.all, T, L);
332 function I_LU (Stream : not null access RST) return UST.Long_Unsigned is
337 Ada.Streams.Read (Stream.all, T, L);
350 function I_SF (Stream : not null access RST) return Short_Float is
355 Ada.Streams.Read (Stream.all, T, L);
368 function I_SI (Stream : not null access RST) return Short_Integer is
373 Ada.Streams.Read (Stream.all, T, L);
386 function I_SSI (Stream : not null access RST) return Short_Short_Integer is
391 Ada.Streams.Read (Stream.all, T, L);
405 (Stream : not null access RST) return UST.Short_Short_Unsigned
411 Ada.Streams.Read (Stream.all, T, L);
424 function I_SU (Stream : not null access RST) return UST.Short_Unsigned is
429 Ada.Streams.Read (Stream.all, T, L);
442 function I_U (Stream : not null access RST) return UST.Unsigned is
447 Ada.Streams.Read (Stream.all, T, L);
460 function I_WC (Stream : not null access RST) return Wide_Character is
465 Ada.Streams.Read (Stream.all, T, L);
478 function I_WWC (Stream : not null access RST) return Wide_Wide_Character is
483 Ada.Streams.Read (Stream.all, T, L);
496 procedure W_AD (Stream : not null access RST; Item : Fat_Pointer) is
497 T : constant S_AD := From_AD (Item);
499 Ada.Streams.Write (Stream.all, T);
506 procedure W_AS (Stream : not null access RST; Item : Thin_Pointer) is
507 T : constant S_AS := From_AS (Item);
509 Ada.Streams.Write (Stream.all, T);
516 procedure W_B (Stream : not null access RST; Item : Boolean) is
519 T (1) := Boolean'Pos (Item);
520 Ada.Streams.Write (Stream.all, T);
527 procedure W_C (Stream : not null access RST; Item : Character) is
530 T (1) := Character'Pos (Item);
531 Ada.Streams.Write (Stream.all, T);
538 procedure W_F (Stream : not null access RST; Item : Float) is
539 T : constant S_F := From_F (Item);
541 Ada.Streams.Write (Stream.all, T);
548 procedure W_I (Stream : not null access RST; Item : Integer) is
549 T : constant S_I := From_I (Item);
551 Ada.Streams.Write (Stream.all, T);
558 procedure W_LF (Stream : not null access RST; Item : Long_Float) is
559 T : constant S_LF := From_LF (Item);
561 Ada.Streams.Write (Stream.all, T);
568 procedure W_LI (Stream : not null access RST; Item : Long_Integer) is
569 T : constant S_LI := From_LI (Item);
571 Ada.Streams.Write (Stream.all, T);
578 procedure W_LLF (Stream : not null access RST; Item : Long_Long_Float) is
579 T : constant S_LLF := From_LLF (Item);
581 Ada.Streams.Write (Stream.all, T);
589 (Stream : not null access RST; Item : Long_Long_Integer)
591 T : constant S_LLI := From_LLI (Item);
593 Ada.Streams.Write (Stream.all, T);
601 (Stream : not null access RST; Item : UST.Long_Long_Unsigned)
603 T : constant S_LLU := From_LLU (Item);
605 Ada.Streams.Write (Stream.all, T);
613 (Stream : not null access RST; Item : UST.Long_Unsigned)
615 T : constant S_LU := From_LU (Item);
617 Ada.Streams.Write (Stream.all, T);
624 procedure W_SF (Stream : not null access RST; Item : Short_Float) is
625 T : constant S_SF := From_SF (Item);
627 Ada.Streams.Write (Stream.all, T);
634 procedure W_SI (Stream : not null access RST; Item : Short_Integer) is
635 T : constant S_SI := From_SI (Item);
637 Ada.Streams.Write (Stream.all, T);
645 (Stream : not null access RST; Item : Short_Short_Integer)
647 T : constant S_SSI := From_SSI (Item);
649 Ada.Streams.Write (Stream.all, T);
657 (Stream : not null access RST; Item : UST.Short_Short_Unsigned)
659 T : constant S_SSU := From_SSU (Item);
661 Ada.Streams.Write (Stream.all, T);
669 (Stream : not null access RST; Item : UST.Short_Unsigned)
671 T : constant S_SU := From_SU (Item);
673 Ada.Streams.Write (Stream.all, T);
680 procedure W_U (Stream : not null access RST; Item : UST.Unsigned) is
681 T : constant S_U := From_U (Item);
683 Ada.Streams.Write (Stream.all, T);
690 procedure W_WC (Stream : not null access RST; Item : Wide_Character) is
691 T : constant S_WC := From_WC (Item);
693 Ada.Streams.Write (Stream.all, T);
701 (Stream : not null access RST; Item : Wide_Wide_Character)
703 T : constant S_WWC := From_WWC (Item);
705 Ada.Streams.Write (Stream.all, T);
708 end System.Stream_Attributes;