exp_ch6.adb, [...]: Minor reformatting
authorRobert Dewar <dewar@adacore.com>
Thu, 25 Jun 2009 08:17:18 +0000 (08:17 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 25 Jun 2009 08:17:18 +0000 (10:17 +0200)
2009-06-25  Robert Dewar  <dewar@adacore.com>

* exp_ch6.adb, g-socket.ads, g-socket.adb, sem_ch3.adb: Minor
reformatting

From-SVN: r148928

gcc/ada/ChangeLog
gcc/ada/exp_ch6.adb
gcc/ada/g-socket.adb
gcc/ada/g-socket.ads
gcc/ada/sem_ch3.adb

index 5d58ca37cf6d37fe06925aaf788546ce892af83f..11542429f1a4f3458086a31ccbcca3740ba1821c 100644 (file)
@@ -1,3 +1,8 @@
+2009-06-25  Robert Dewar  <dewar@adacore.com>
+
+       * exp_ch6.adb, g-socket.ads, g-socket.adb, sem_ch3.adb: Minor
+       reformatting
+
 2009-06-24  Robert Dewar  <dewar@adacore.com>
 
        * prj-nmsc.adb, prj-nmsc.ads, prj-proc.adb, prj.adb: Minor reformatting
index 0b4ea237961f89a20895af9bf4df3aed2db20329..d1a5630ab3e6d29f57b0975d88b3948094b7ee27 100644 (file)
@@ -4450,6 +4450,7 @@ package body Exp_Ch6 is
       then
          declare
             Bod : constant Node_Id := Body_To_Inline (N);
+
          begin
             Set_Has_Completion (Subp, False);
             Append_Freeze_Action (Subp, Bod);
index 909cf0dec30112486c48833f6c8f1f5e3700c81d..a473aadc7b564d0667584560531a5f65356de487 100644 (file)
@@ -1622,6 +1622,7 @@ package body GNAT.Sockets is
       then
          --  No data sent and first index is first Stream_Element_Offset'First
          --  Last is set to Stream_Element_Offset'Last.
+
          Last := Ada.Streams.Stream_Element_Offset'Last;
       else
          Last := Item'First + Ada.Streams.Stream_Element_Offset (Res - 1);
@@ -1902,6 +1903,7 @@ package body GNAT.Sockets is
       then
          --  No data sent and first index is first Stream_Element_Offset'First
          --  Last is set to Stream_Element_Offset'Last.
+
          Last := Ada.Streams.Stream_Element_Offset'Last;
       else
          Last := Item'First + Ada.Streams.Stream_Element_Offset (Res - 1);
index 593c96e48136e30eab0b1bacd54a7f4f8d1eefc8..c5bf4730e1895e00ab49a3180e9829f7907384dd 100644 (file)
@@ -935,15 +935,14 @@ package GNAT.Sockets is
       Flags  : Request_Flag_Type := No_Request_Flag);
    pragma Inline (Send_Socket);
    --  Transmit a message over a socket. For a datagram socket, the address
-   --  is given by To.all. For a stream socket, To must be null. Last is
-   --  the index value such that Item (Last) is the last character
-   --  sent. Note that Last is set to Item'First - 1 (or to
-   --  Stream_Element_Array'Last if Item'First is
-   --  Stream_Element_Offset'First) when the socket has been closed by
-   --  peer.  This is not an error and no exception is raised. Flags allows
-   --  to control the transmission. Raises Socket_Error on error.  Note:
-   --  this subprogram is inlined because it is also used to implement the
-   --  two variants below.
+   --  is given by To.all. For a stream socket, To must be null. Last
+   --  is the index value such that Item (Last) is the last character
+   --  sent. Note that Last is set to Item'First - 1 (if Item'First is
+   --  Stream_Element_Offset'First, to Stream_Element_Array'Last) when the
+   --  socket has been closed by peer. This is not an error and no exception
+   --  is raised. Flags allows control of the transmission. Raises exception
+   --  Socket_Error on error. Note: this subprogram is inlined because it is
+   --  also used to implement the two variants below.
 
    procedure Send_Socket
      (Socket : Socket_Type;
index 828babdd2acadb3f6686032cfd6f1ef446dbb980..ff702a6a10750ea07dd7d0836d09a55d9243125a 100644 (file)
@@ -8610,8 +8610,11 @@ package body Sem_Ch3 is
          --  which has to have the flag Comes_From_Source for other purposes):
          --  we assume that the expander will provide the missing completion.
          --  In case of previous errors, other expansion actions that provide
-         --  bodies for null procedures with not be invoked. so inhibit message
+         --  bodies for null procedures with not be invoked, so inhibit message
          --  in those cases.
+         --  Note that E_Operator is not in the list that follows, because
+         --  this kind is reserved for predefined operators, that are
+         --  intrinsic and do not need completion.
 
          elsif     Ekind (E) = E_Function
            or else Ekind (E) = E_Procedure