(Call : Node_Id;
Subp : Entity_Id;
Scop : Entity_Id);
- -- The current unit U may depend semantically on some unit P which is not
+ -- The current unit U may depend semantically on some unit P that is not
-- in the current context. If there is an elaboration call that reaches P,
-- we need to indicate that P requires an Elaborate_All, but this is not
-- effective in U's ali file, if there is no with_clause for P. In this
-- If the call is in an instance, and the called entity is not
-- defined in the same instance, then the elaboration issue focuses
- -- around the unit containing the template, it is this unit which
+ -- around the unit containing the template, it is this unit that
-- requires an Elaborate_All.
-- However, if we are doing dynamic elaboration, we need to chase the
-- For the case where N is not an instance, and is not a call within
-- instance to other than a generic formal, we recompute E_Scope
-- for the error message, since we do NOT want to go to the unit
- -- which has the ultimate declaration in the case of renaming and
+ -- that has the ultimate declaration in the case of renaming and
-- derivation and we also want to go to the generic unit in the
-- case of an instance, and no further.
null;
-- Do not generate an Elaborate_All for finalization routines
- -- which perform partial clean up as part of initialization.
+ -- that perform partial clean up as part of initialization.
elsif In_Init_Proc and then Is_Finalization_Procedure (Ent) then
null;
return;
end if;
- -- Here we have a reference at elaboration time which must be checked
+ -- Here we have a reference at elaboration time that must be checked
if Debug_Flag_LL then
Write_Str (" Check_Elab_Ref: ");
procedure Collect_Tasks (Decls : List_Id);
-- Collect the types of the tasks that are to be activated in the given
-- list of declarations, in order to perform elaboration checks on the
- -- corresponding task procedures which are called implicitly here.
+ -- corresponding task procedures that are called implicitly here.
function Outer_Unit (E : Entity_Id) return Entity_Id;
-- find enclosing compilation unit of Entity, ignoring subunits, or