+2013-04-23 Robert Dewar <dewar@adacore.com>
+
+ * a-envvar.adb, a-envvar.ads, exp_util.adb, sem_ch12.adb: Minor
+ reformatting.
+
2013-04-23 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Analyze_Object_Declarations): Undo previous patch.
-- --
------------------------------------------------------------------------------
+-- The implementation of this package is as defined in the Ada 2012 RM, but
+-- it is available in Ada 95 and Ada 2005 modes as well.
+
package Ada.Environment_Variables is
pragma Preelaborate (Environment_Variables);
-- then Set first clears any existing environment variable with the given
-- name, and then defines a single new environment variable with the given
-- name and value. Otherwise Program_Error is propagated.
+ --
-- If implementation-defined circumstances prohibit the definition of an
- -- environment variable with the given name and value, then
+ -- environment variable with the given name and value, then exception
-- Constraint_Error is propagated.
+ --
-- It is implementation defined whether there exist values for which the
-- call Set (Name, Value) has the same effect as Clear (Name).
Literal_Typ => Exp_Typ)))));
-- If the type of the expression is an internally generated type it
- -- may not be necessary to create a new subtype. However there are
- -- two exceptions : references to the current instances, and aliased
- -- array object declarations, for which the back-end needs to create
- -- a template.
+ -- may not be necessary to create a new subtype. However there are two
+ -- exceptions: references to the current instances, and aliased array
+ -- object declarations for which the backend needs to create a template.
elsif Is_Constrained (Exp_Typ)
and then not Is_Class_Wide_Type (Unc_Type)
and then
(Nkind (N) /= N_Object_Declaration
- or else not Is_Entity_Name (Expression (N))
- or else not Comes_From_Source (Entity (Expression (N)))
- or else not Is_Array_Type (Exp_Typ)
- or else not Aliased_Present (N))
+ or else not Is_Entity_Name (Expression (N))
+ or else not Comes_From_Source (Entity (Expression (N)))
+ or else not Is_Array_Type (Exp_Typ)
+ or else not Aliased_Present (N))
then
if Is_Itype (Exp_Typ) then
return First_Elmt (Access_Disp_Table (Typ));
else
- ADT :=
- Next_Elmt (Next_Elmt (First_Elmt (Access_Disp_Table (Typ))));
+ ADT := Next_Elmt (Next_Elmt (First_Elmt (Access_Disp_Table (Typ))));
while Present (ADT)
and then Present (Related_Type (Node (ADT)))
and then Related_Type (Node (ADT)) /= Iface