Commit 2e215573 by Robert Dewar Committed by Arnaud Charlet

sem_ch5.adb, [...]: Minor reformatting.

2014-10-17  Robert Dewar  <dewar@adacore.com>

	* sem_ch5.adb, sem_ch7.adb, prj-nmsc.adb, sem_ch13.adb, exp_ch3.adb:
	Minor reformatting.

From-SVN: r216381
parent ac2ea5c5
2014-10-17 Robert Dewar <dewar@adacore.com>
* sem_ch5.adb, sem_ch7.adb, prj-nmsc.adb, sem_ch13.adb, exp_ch3.adb:
Minor reformatting.
2014-10-17 Ed Schonberg <schonberg@adacore.com> 2014-10-17 Ed Schonberg <schonberg@adacore.com>
* exp_ch3.adb (Build_Component_Invariant_Call): Retrieve Invariant * exp_ch3.adb (Build_Component_Invariant_Call): Retrieve Invariant
......
...@@ -3720,7 +3720,7 @@ package body Exp_Ch3 is ...@@ -3720,7 +3720,7 @@ package body Exp_Ch3 is
end if; end if;
end if; end if;
-- The aspect is type-specific, so retrieve it from the base type. -- The aspect is type-specific, so retrieve it from the base type
Call := Call :=
Make_Procedure_Call_Statement (Loc, Make_Procedure_Call_Statement (Loc,
......
...@@ -5032,7 +5032,8 @@ package body Prj.Nmsc is ...@@ -5032,7 +5032,8 @@ package body Prj.Nmsc is
if OK then if OK then
for J in 1 .. Name_Len loop for J in 1 .. Name_Len loop
if Name_Buffer (J) = '/' if Name_Buffer (J) = '/'
or else Name_Buffer (J) = Directory_Separator or else
Name_Buffer (J) = Directory_Separator
then then
OK := False; OK := False;
exit; exit;
...@@ -5498,15 +5499,16 @@ package body Prj.Nmsc is ...@@ -5498,15 +5499,16 @@ package body Prj.Nmsc is
Dir_Exists : Boolean; Dir_Exists : Boolean;
No_Sources : constant Boolean := No_Sources : constant Boolean :=
Project.Qualifier = Abstract_Project Project.Qualifier = Abstract_Project
or else or else (((not Source_Files.Default
(((not Source_Files.Default and then Source_Files.Values = Nil_String)
and then Source_Files.Values = Nil_String) or else
or else (not Source_Dirs.Default (not Source_Dirs.Default
and then Source_Dirs.Values = Nil_String) and then Source_Dirs.Values = Nil_String)
or else (not Languages.Default or else
and then Languages.Values = Nil_String)) (not Languages.Default
and then Project.Extends = No_Project); and then Languages.Values = Nil_String))
and then Project.Extends = No_Project);
-- Start of processing for Get_Directories -- Start of processing for Get_Directories
...@@ -6305,7 +6307,7 @@ package body Prj.Nmsc is ...@@ -6305,7 +6307,7 @@ package body Prj.Nmsc is
Dir_Exists := Is_Directory (Full_Path_Name.all); Dir_Exists := Is_Directory (Full_Path_Name.all);
if not Must_Exist or else Dir_Exists then if not Must_Exist or Dir_Exists then
declare declare
Normed : constant String := Normed : constant String :=
Normalize_Pathname Normalize_Pathname
...@@ -6484,7 +6486,8 @@ package body Prj.Nmsc is ...@@ -6484,7 +6486,8 @@ package body Prj.Nmsc is
for J in 1 .. Last loop for J in 1 .. Last loop
if Line (J) = '/' if Line (J) = '/'
or else Line (J) = Directory_Separator or else
Line (J) = Directory_Separator
then then
Error_Msg_File_1 := Name; Error_Msg_File_1 := Name;
Error_Msg Error_Msg
...@@ -6598,7 +6601,8 @@ package body Prj.Nmsc is ...@@ -6598,7 +6601,8 @@ package body Prj.Nmsc is
for J in 1 .. Name_Len loop for J in 1 .. Name_Len loop
if Name_Buffer (J) = '/' if Name_Buffer (J) = '/'
or else Name_Buffer (J) = Directory_Separator or else
Name_Buffer (J) = Directory_Separator
then then
Error_Msg_File_1 := Name; Error_Msg_File_1 := Name;
Error_Msg Error_Msg
......
...@@ -3903,15 +3903,13 @@ package body Sem_Ch13 is ...@@ -3903,15 +3903,13 @@ package body Sem_Ch13 is
if Ctrl = Ent if Ctrl = Ent
or else Ctrl = Class_Wide_Type (Ent) or else Ctrl = Class_Wide_Type (Ent)
or else or else
(Ekind (Ctrl) = E_Anonymous_Access_Type (Ekind (Ctrl) = E_Anonymous_Access_Type
and then and then (Designated_Type (Ctrl) = Ent
(Designated_Type (Ctrl) = Ent or else
or else Designated_Type (Ctrl) = Class_Wide_Type (Ent))) Designated_Type (Ctrl) = Class_Wide_Type (Ent)))
then then
null; null;
else else
return False; return False;
end if; end if;
......
...@@ -1839,7 +1839,7 @@ package body Sem_Ch5 is ...@@ -1839,7 +1839,7 @@ package body Sem_Ch5 is
else else
Typ := Etype (Iter_Name); Typ := Etype (Iter_Name);
-- Verify that the expression produces an iterator. -- Verify that the expression produces an iterator
if not Of_Present (N) and then not Is_Iterator (Typ) if not Of_Present (N) and then not Is_Iterator (Typ)
and then not Is_Array_Type (Typ) and then not Is_Array_Type (Typ)
...@@ -1847,7 +1847,7 @@ package body Sem_Ch5 is ...@@ -1847,7 +1847,7 @@ package body Sem_Ch5 is
then then
Error_Msg_N Error_Msg_N
("expect object that implements iterator interface", ("expect object that implements iterator interface",
Iter_Name); Iter_Name);
end if; end if;
end if; end if;
......
...@@ -1383,6 +1383,9 @@ package body Sem_Ch7 is ...@@ -1383,6 +1383,9 @@ package body Sem_Ch7 is
Inherit_Default_Init_Cond_Procedure (E); Inherit_Default_Init_Cond_Procedure (E);
end if; end if;
-- If invariants are present, build the invariant procedure for a
-- private type, but not any of its subtypes.
if Has_Invariants (E) then if Has_Invariants (E) then
if Ekind (E) = E_Private_Subtype then if Ekind (E) = E_Private_Subtype then
null; null;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment