sem_ch6.ads (Check_Subtype_Conformant): Add ??? comment for undocumented formal.

2009-04-10  Thomas Quinot  <quinot@adacore.com>

	* sem_ch6.ads (Check_Subtype_Conformant): Add ??? comment for
	undocumented formal.
	Minor reformatting

	* a-direio.ads: Fix typo in comment

	* sem_ch3.adb, g-dirope.adb, sem_type.adb, sem_ch12.adb, sem_case.adb,
	errout.adb, sem_ch4.adb, sem_ch11.adb, exp_dist.adb, sem_ch13.adb:
	Use uniform phrasing for comment at start of subprogram body.

	* xsnamest.adb: Add note to explain why we use specific names for the
	newly generated files instead of generating snames.{ads,adb,h} directly

From-SVN: r145918
This commit is contained in:
Thomas Quinot 2009-04-10 15:12:15 +00:00 committed by Arnaud Charlet
parent f559e62f20
commit d8221f4558
14 changed files with 40 additions and 18 deletions

View File

@ -1,3 +1,18 @@
2009-04-10 Thomas Quinot <quinot@adacore.com>
* sem_ch6.ads (Check_Subtype_Conformant): Add ??? comment for
undocumented formal.
Minor reformatting
* a-direio.ads: Fix typo in comment
* sem_ch3.adb, g-dirope.adb, sem_type.adb, sem_ch12.adb, sem_case.adb,
errout.adb, sem_ch4.adb, sem_ch11.adb, exp_dist.adb, sem_ch13.adb:
Use uniform phrasing for comment at start of subprogram body.
* xsnamest.adb: Add note to explain why we use specific names for the
newly generated files instead of generating snames.{ads,adb,h} directly
2009-04-10 Sergey Rybin <rybin@adacore.com>
* vms_data.ads:

View File

@ -170,7 +170,7 @@ private
-- Size of an element in storage units. The Max operation here is to ensure
-- that we allocate a single byte for zero-sized elements. It's a bit weird
-- to instantiate Direct_IO with zero sized elements, but it is legal and
-- this adjustment ensures that we don't get anomolous behavior.
-- this adjustment ensures that we don't get anomalous behavior.
pragma Inline (Close);
pragma Inline (Create);

View File

@ -278,7 +278,7 @@ package body Errout is
return;
end if;
-- Start processing of new message
-- Start of processing for new message
Sindex := Get_Source_File_Index (Flag_Location);
Test_Style_Warning_Serious_Msg (Msg);

View File

@ -9595,7 +9595,7 @@ package body Exp_Dist is
return Nod;
end Make_Discriminant_Reference;
-- Start processing for Variant_Part
-- Start of processing for Variant_Part
begin
Append_To (Stmts,

View File

@ -146,7 +146,7 @@ package body GNAT.Directory_Operations is
end Check_For_Standard_Dirs;
end Basename;
-- Start processing for Base_Name
-- Start of processing for Base_Name
begin
if Path'Length <= Suffix'Length then

View File

@ -203,7 +203,7 @@ package body Sem_Case is
Lo : Uint;
Prev_Hi : Uint;
-- Start processing for Check_Choices
-- Start of processing for Check_Choices
begin
-- Choice_Table must start at 0 which is an unused location used

View File

@ -156,7 +156,7 @@ package body Sem_Ch11 is
return False;
end Others_Present;
-- Start processing for Analyze_Exception_Handlers
-- Start of processing for Analyze_Exception_Handlers
begin
Handler := First (L);

View File

@ -6158,12 +6158,13 @@ package body Sem_Ch12 is
while Present (E1) and then E1 /= Instance loop
if Ekind (E1) = E_Package
and then Nkind (Parent (E1)) = N_Package_Renaming_Declaration
and then Renamed_Object (E1) = Pack
then
return True;
if Renamed_Object (E1) = Pack then
return True;
elsif Renamed_Object (E1) = P then
return False;
elsif Renamed_Object (E1) = P then
return False;
end if;
end if;
Next_Entity (E1);
@ -6172,7 +6173,7 @@ package body Sem_Ch12 is
return False;
end Is_Actual_Of_Previous_Formal;
-- Start processing of Denotes_Formal_Package
-- Start of processing for Denotes_Formal_Package
begin
if On_Exit then

View File

@ -4051,7 +4051,7 @@ package body Sem_Ch13 is
end if;
end Same_Rep;
-- Start processing for Record_Case
-- Start of processing for Record_Case
begin
if Has_Discriminants (T1) then

View File

@ -8434,7 +8434,7 @@ package body Sem_Ch3 is
end if;
end Post_Error;
-- Start processing for Check_Completion
-- Start of processing for Check_Completion
begin
E := First_Entity (Current_Scope);
@ -13243,7 +13243,7 @@ package body Sem_Ch3 is
end if;
end Tag_Mismatch;
-- Start processing for Find_Type_Name
-- Start of processing for Find_Type_Name
begin
-- Find incomplete declaration, if one was given

View File

@ -4395,7 +4395,7 @@ package body Sem_Ch4 is
end if;
end Check_Right_Argument;
-- Start processing for Find_Arithmetic_Types
-- Start of processing for Find_Arithmetic_Types
begin
if not Is_Overloaded (L) then
@ -4576,7 +4576,7 @@ package body Sem_Ch4 is
end if;
end Try_One_Interp;
-- Start processing for Find_Comparison_Types
-- Start of processing for Find_Comparison_Types
begin
-- If left operand is aggregate, the right operand has to

View File

@ -116,9 +116,10 @@ package Sem_Ch6 is
Err_Loc : Node_Id := Empty;
Skip_Controlling_Formals : Boolean := False);
-- Check that two callable entities (subprograms, entries, literals)
-- are subtype conformant, post error message if not (RM 6.3.1(16))
-- are subtype conformant, post error message if not (RM 6.3.1(16)),
-- the flag being placed on the Err_Loc node if it is specified, and
-- on the appropriate component of the New_Id construct if not.
-- What is the semantics of Skip_Controlling_Formals???
procedure Check_Type_Conformant
(New_Id : Entity_Id;

View File

@ -2416,7 +2416,7 @@ package body Sem_Type is
end if;
end Check_Right_Argument;
-- Start processing for Intersect_Types
-- Start of processing for Intersect_Types
begin
if Etype (L) = Any_Type or else Etype (R) = Any_Type then

View File

@ -185,6 +185,11 @@ begin
Open (InB, In_File, "snames.adb-tmpl");
Open (InH, In_File, "snames.h-tmpl");
-- Note that we do not generate snames.{ads,adb,h} directly. Instead
-- we output them to snames.n{s,b,h} so that Makefiles can use
-- move-if-change to not touch previously generated files if the
-- new ones are identical.
Create (OutS, Out_File, "snames.ns");
Create (OutB, Out_File, "snames.nb");
Create (OutH, Out_File, "snames.nh");