a-strbou.ads, [...] (From_String): New procedure (for use by Stream_Convert)
authorRobert Dewar <dewar@adacore.com>
Tue, 8 Apr 2008 06:47:40 +0000 (08:47 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 8 Apr 2008 06:47:40 +0000 (08:47 +0200)
2008-04-08  Robert Dewar  <dewar@adacore.com>

* a-strbou.ads, a-strbou.adb (From_String): New procedure (for use by
Stream_Convert)

* sem_ch13.ads (Rep_Item_Too_Late): Document that Stream_Convert sets
FOnly

From-SVN: r134019

gcc/ada/a-strbou.adb
gcc/ada/a-strbou.ads
gcc/ada/sem_ch13.ads

index 015123a8fafea235cb041232b677aeeaa21fcaf6..d7ddc5878e750f754ca37714b7cc53569663405c 100644 (file)
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2005, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, Free Software Foundation, Inc.         --
 --                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
@@ -60,6 +60,15 @@ package body Ada.Strings.Bounded is
          return Times (Left, Right, Max_Length);
       end "*";
 
+      -----------------
+      -- From_String --
+      -----------------
+
+      function From_String (Source : String) return Bounded_String is
+      begin
+         return To_Super_String (Source, Max_Length, Error);
+      end From_String;
+
       ---------------
       -- Replicate --
       ---------------
index 13f51a4e81ec2972e41f418b28d33fcf3f3b7fea..9961b638b76cf70c00fbd4c47aed25bbd2140714 100644 (file)
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1992-2006, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, Free Software Foundation, Inc.         --
 --                                                                          --
 -- This specification is derived from the Ada Reference Manual for use with --
 -- GNAT. The copyright notice above, and the license provisions that follow --
@@ -469,6 +469,12 @@ package Ada.Strings.Bounded is
       --  the generic instantiation is compatible with the Super_String
       --  type declared in the Superbounded package.
 
+      function From_String (Source : String) return Bounded_String;
+      --  Private routine used only by Stream_Convert
+
+      pragma Stream_Convert (Bounded_String, From_String, To_String);
+      --  Provide stream routines without dragging in Ada.Streams
+
       Null_Bounded_String : constant Bounded_String :=
                               (Max_Length     => Max_Length,
                                Current_Length => 0,
index 3c5681c7bf26a394e06bf8d2d7d98c5faba658ed..204a08325497526bb24c6e53702a66274820dc99 100644 (file)
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, Free Software Foundation, Inc.         --
 --                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
@@ -121,7 +121,8 @@ package Sem_Ch13 is
    --  stream attributes, which, although certainly not subtype related
    --  attributes, clearly should not be subject to the para 10 restrictions
    --  (see AI95-00137). Similarly, we also skip the para 10 restrictions for
-   --  the Storage_Size case where they also clearly do not apply.
+   --  the Storage_Size case where they also clearly do not apply, and for
+   --  Stream_Convert which is in the same category as the strem attributes.
    --
    --  If the rep item is too late, an appropriate message is output and
    --  True is returned, which is a signal that the caller should abandon