exp_ch6.adb, [...]: Minor reformatting
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
This commit is contained in:
parent
5a82ecd999
commit
d6533e74c2
@ -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
|
||||
|
@ -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);
|
||||
|
@ -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);
|
||||
|
@ -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;
|
||||
|
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user