+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
then
declare
Bod : constant Node_Id := Body_To_Inline (N);
+
begin
Set_Has_Completion (Subp, False);
Append_Freeze_Action (Subp, Bod);
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);
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);
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;
-- 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