+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>
* exp_ch3.adb (Build_Component_Invariant_Call): Retrieve Invariant
if OK then
for J in 1 .. Name_Len loop
if Name_Buffer (J) = '/'
- or else Name_Buffer (J) = Directory_Separator
+ or else
+ Name_Buffer (J) = Directory_Separator
then
OK := False;
exit;
Dir_Exists : Boolean;
No_Sources : constant Boolean :=
- Project.Qualifier = Abstract_Project
- or else
- (((not Source_Files.Default
- and then Source_Files.Values = Nil_String)
- or else (not Source_Dirs.Default
- and then Source_Dirs.Values = Nil_String)
- or else (not Languages.Default
- and then Languages.Values = Nil_String))
- and then Project.Extends = No_Project);
+ Project.Qualifier = Abstract_Project
+ or else (((not Source_Files.Default
+ and then Source_Files.Values = Nil_String)
+ or else
+ (not Source_Dirs.Default
+ and then Source_Dirs.Values = Nil_String)
+ or else
+ (not Languages.Default
+ and then Languages.Values = Nil_String))
+ and then Project.Extends = No_Project);
-- Start of processing for Get_Directories
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
Normed : constant String :=
Normalize_Pathname
for J in 1 .. Last loop
if Line (J) = '/'
- or else Line (J) = Directory_Separator
+ or else
+ Line (J) = Directory_Separator
then
Error_Msg_File_1 := Name;
Error_Msg
for J in 1 .. Name_Len loop
if Name_Buffer (J) = '/'
- or else Name_Buffer (J) = Directory_Separator
+ or else
+ Name_Buffer (J) = Directory_Separator
then
Error_Msg_File_1 := Name;
Error_Msg
if Ctrl = Ent
or else Ctrl = Class_Wide_Type (Ent)
-
or else
(Ekind (Ctrl) = E_Anonymous_Access_Type
- and then
- (Designated_Type (Ctrl) = Ent
- or else Designated_Type (Ctrl) = Class_Wide_Type (Ent)))
+ and then (Designated_Type (Ctrl) = Ent
+ or else
+ Designated_Type (Ctrl) = Class_Wide_Type (Ent)))
then
null;
-
else
return False;
end if;
else
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)
and then not Is_Array_Type (Typ)
then
Error_Msg_N
("expect object that implements iterator interface",
- Iter_Name);
+ Iter_Name);
end if;
end if;
Inherit_Default_Init_Cond_Procedure (E);
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 Ekind (E) = E_Private_Subtype then
null;