Pref_Id := Entity (P);
-- Either both the prefix and the annotated spec must be
- -- generic functions, or they both must be non-generic
+ -- generic functions, or they both must be nongeneric
-- functions, or the prefix must be generic and the spec
- -- must be non-generic (i.e. it must denote an instance).
+ -- must be nongeneric (i.e. it must denote an instance).
if (Ekind_In (Pref_Id, E_Function, E_Generic_Function)
- and then Ekind (Pref_Id) = Ekind (Spec_Id))
- or else
- (Ekind (Pref_Id) = E_Generic_Function
- and then Ekind (Spec_Id) = E_Function)
+ and then Ekind (Pref_Id) = Ekind (Spec_Id))
+ or else
+ (Ekind (Pref_Id) = E_Generic_Function
+ and then Ekind (Spec_Id) = E_Function)
then
if Denote_Same_Function (Pref_Id, Spec_Id) then
-- First foldable possibility is a scalar or array type (RM 4.9(7))
-- that is not generic (generic types are eliminated by RM 4.9(25)).
- -- Note we allow non-static non-generic types at this stage as further
+ -- Note we allow nonstatic nongeneric types at this stage as further
-- described below.
if Is_Type (P_Entity)
-- Only formals of the subprogram itself can appear
-- in Relaxed_Initialization aspect expression, not
-- formals of the enclosing generic unit. (This is
- -- different that in Precondition or Depends aspects,
+ -- different than in Precondition or Depends aspects,
-- where both kinds of formals are allowed.)
Install_Formals (E);
-- corresponding class-wide condition was analyzed.
-- The body of the original condition may contain references to
- -- the formals of Spec_Id. In the body of the classwide clone,
+ -- the formals of Spec_Id. In the body of the class-wide clone,
-- these must be replaced with the corresponding formals of
-- the clone.