+++ /dev/null
-------------------------------------------------------------------------------
--- --
--- GNAT COMPILER COMPONENTS --
--- --
--- S E M . C H 7 --
--- --
--- B o d y --
--- --
--- $Revision: 1.4.10.1 $
--- --
--- Copyright (C) 1992-2001, Free Software Foundation, Inc. --
--- --
--- GNAT is free software; you can redistribute it and/or modify it under --
--- terms of the GNU General Public License as published by the Free Soft- --
--- ware Foundation; either version 2, or (at your option) any later ver- --
--- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
--- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
--- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
--- for more details. You should have received a copy of the GNU General --
--- Public License distributed with GNAT; see file COPYING. If not, write --
--- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
--- MA 02111-1307, USA. --
--- --
--- GNAT was originally developed by the GNAT team at New York University. --
--- Extensive contributions were provided by Ada Core Technologies Inc. --
--- --
-------------------------------------------------------------------------------
-
--- This package contains the routines to process package specifications and
--- bodies. The most important semantic aspects of package processing are the
--- handling of private and full declarations, and the construction of
--- dispatch tables for tagged types.
-
-with Atree; use Atree;
-with Debug; use Debug;
-with Einfo; use Einfo;
-with Elists; use Elists;
-with Errout; use Errout;
-with Exp_Disp; use Exp_Disp;
-with Exp_Dbug; use Exp_Dbug;
-with Lib; use Lib;
-with Lib.Xref; use Lib.Xref;
-with Namet; use Namet;
-with Nmake; use Nmake;
-with Nlists; use Nlists;
-with Opt; use Opt;
-with Output; use Output;
-with Sem; use Sem;
-with Sem_Cat; use Sem_Cat;
-with Sem_Ch3; use Sem_Ch3;
-with Sem_Ch6; use Sem_Ch6;
-with Sem_Ch8; use Sem_Ch8;
-with Sem_Ch12; use Sem_Ch12;
-with Sem_Util; use Sem_Util;
-with Sem_Warn; use Sem_Warn;
-with Snames; use Snames;
-with Stand; use Stand;
-with Sinfo; use Sinfo;
-with Sinput; use Sinput;
-with Style;
-
-package body Sem_Ch7 is
-
- -----------------------------------
- -- Handling private declarations --
- -----------------------------------
-
- -- The principle that each entity has a single defining occurrence clashes
- -- with the presence of two separate definitions for private types: the
- -- first is the private type declaration, and the second is the full type
- -- declaration. It is important that all references to the type point to
- -- the same defining occurrence, namely the first one. To enforce the two
- -- separate views of the entity, the corresponding information is swapped
- -- between the two declarations. Outside of the package, the defining
- -- occurrence only contains the private declaration information, while in
- -- the private part and the body of the package the defining occurrence
- -- contains the full declaration. To simplify the swap, the defining
- -- occurrence that currently holds the private declaration points to the
- -- full declaration. During semantic processing the defining occurrence
- -- also points to a list of private dependents, that is to say access types
- -- or composite types whose designated types or component types are
- -- subtypes or derived types of the private type in question. After the
- -- full declaration has been seen, the private dependents are updated to
- -- indicate that they have full definitions.
-
- -----------------------
- -- Local Subprograms --
- -----------------------
-
- procedure Install_Composite_Operations (P : Entity_Id);
- -- Composite types declared in the current scope may depend on
- -- types that were private at the point of declaration, and whose
- -- full view is now in scope. Indicate that the corresponding
- -- operations on the composite type are available.
-
- function Is_Private_Base_Type (E : Entity_Id) return Boolean;
- -- True for a private type that is not a subtype.
-
- function Is_Visible_Dependent (Dep : Entity_Id) return Boolean;
- -- If the private dependent is a private type whose full view is
- -- derived from the parent type, its full properties are revealed
- -- only if we are in the immediate scope of the private dependent.
- -- Should this predicate be tightened further???
-
- procedure Preserve_Full_Attributes (Priv, Full : Entity_Id);
- -- Copy to the private declaration the attributes of the full view
- -- that need to be available for the partial view also.
-
- procedure Declare_Inherited_Private_Subprograms (Id : Entity_Id);
- -- Called upon entering the private part of a public child package
- -- and the body of a nested package, to potentially declare certain
- -- inherited subprograms that were inherited by types in the visible
- -- part, but whose declaration was deferred because the parent
- -- operation was private and not visible at that point. These
- -- subprograms are located by traversing the visible part declarations
- -- looking for nonprivate type extensions and then examining each of
- -- the primitive operations of such types to find those that were
- -- inherited but declared with a special internal name. Each such
- -- operation is now declared as an operation with a normal name (using
- -- the name of the parent operation) and replaces the previous implicit
- -- operation in the primitive operations list of the type. If the
- -- inherited private operation has been overridden, then it's
- -- replaced by the overriding operation.
-
- --------------------------
- -- Analyze_Package_Body --
- --------------------------
-
- procedure Analyze_Package_Body (N : Node_Id) is
- Loc : constant Source_Ptr := Sloc (N);
- HSS : Node_Id;
- Body_Id : Entity_Id;
- Spec_Id : Entity_Id;
- Last_Spec_Entity : Entity_Id;
- New_N : Node_Id;
- Pack_Decl : Node_Id;
-
- begin
- -- Find corresponding package specification, and establish the
- -- current scope. The visible defining entity for the package is the
- -- defining occurrence in the spec. On exit from the package body, all
- -- body declarations are attached to the defining entity for the body,
- -- but the later is never used for name resolution. In this fashion
- -- there is only one visible entity that denotes the package.
-
- if Debug_Flag_C then
- Write_Str ("==== Compiling package body ");
- Write_Name (Chars (Defining_Entity (N)));
- Write_Str (" from ");
- Write_Location (Loc);
- Write_Eol;
- end if;
-
- -- Set Body_Id. Note that this will be reset to point to the
- -- generic copy later on in the generic case.
-
- Body_Id := Defining_Entity (N);
-
- if Present (Corresponding_Spec (N)) then
-
- -- Body is body of package instantiation. Corresponding spec
- -- has already been set.
-
- Spec_Id := Corresponding_Spec (N);
- Pack_Decl := Unit_Declaration_Node (Spec_Id);
-
- else
- Spec_Id := Current_Entity_In_Scope (Defining_Entity (N));
-
- if Present (Spec_Id)
- and then Is_Package (Spec_Id)
- then
- Pack_Decl := Unit_Declaration_Node (Spec_Id);
-
- if Nkind (Pack_Decl) = N_Package_Renaming_Declaration then
- Error_Msg_N ("cannot supply body for package renaming", N);
- return;
-
- elsif Present (Corresponding_Body (Pack_Decl)) then
- Error_Msg_N ("redefinition of package body", N);
- return;
- end if;
-
- else
- Error_Msg_N ("missing specification for package body", N);
- return;
- end if;
-
- if Is_Package (Spec_Id)
- and then
- (Scope (Spec_Id) = Standard_Standard
- or else Is_Child_Unit (Spec_Id))
- and then not Unit_Requires_Body (Spec_Id)
- then
- if Ada_83 then
- Error_Msg_N
- ("optional package body (not allowed in Ada 95)?", N);
- else
- Error_Msg_N
- ("spec of this package does not allow a body", N);
- end if;
- end if;
- end if;
-
- Set_Is_Compilation_Unit (Body_Id, Is_Compilation_Unit (Spec_Id));
- Style.Check_Identifier (Body_Id, Spec_Id);
-
- if Is_Child_Unit (Spec_Id) then
-
- if Nkind (Parent (N)) /= N_Compilation_Unit then
- Error_Msg_NE
- ("body of child unit& cannot be an inner package", N, Spec_Id);
- end if;
-
- Set_Is_Child_Unit (Body_Id);
- end if;
-
- -- Generic package case
-
- if Ekind (Spec_Id) = E_Generic_Package then
-
- -- Disable expansion and perform semantic analysis on copy.
- -- The unannotated body will be used in all instantiations.
-
- Body_Id := Defining_Entity (N);
- Set_Ekind (Body_Id, E_Package_Body);
- Set_Scope (Body_Id, Scope (Spec_Id));
- Set_Body_Entity (Spec_Id, Body_Id);
- Set_Spec_Entity (Body_Id, Spec_Id);
-
- New_N := Copy_Generic_Node (N, Empty, Instantiating => False);
- Rewrite (N, New_N);
-
- -- Update Body_Id to point to the copied node for the remainder
- -- of the processing.
-
- Body_Id := Defining_Entity (N);
- Start_Generic;
- end if;
-
- -- The Body_Id is that of the copied node in the generic case, the
- -- current node otherwise. Note that N was rewritten above, so we
- -- must be sure to get the latest Body_Id value.
-
- Set_Ekind (Body_Id, E_Package_Body);
- Set_Body_Entity (Spec_Id, Body_Id);
- Set_Spec_Entity (Body_Id, Spec_Id);
-
- -- Defining name for the package body is not a visible entity: Only
- -- the defining name for the declaration is visible.
-
- Set_Etype (Body_Id, Standard_Void_Type);
- Set_Scope (Body_Id, Scope (Spec_Id));
- Set_Corresponding_Spec (N, Spec_Id);
- Set_Corresponding_Body (Pack_Decl, Body_Id);
-
- -- The body entity is not used for semantics or code generation, but
- -- it is attached to the entity list of the enclosing scope to simplify
- -- the listing of back-annotations for the types it main contain.
-
- if Scope (Spec_Id) /= Standard_Standard then
- Append_Entity (Body_Id, Scope (Spec_Id));
- end if;
-
- -- Indicate that we are currently compiling the body of the package.
-
- Set_In_Package_Body (Spec_Id);
- Set_Has_Completion (Spec_Id);
- Last_Spec_Entity := Last_Entity (Spec_Id);
-
- New_Scope (Spec_Id);
-
- Set_Categorization_From_Pragmas (N);
-
- Install_Visible_Declarations (Spec_Id);
- Install_Private_Declarations (Spec_Id);
- Install_Composite_Operations (Spec_Id);
-
- if Ekind (Spec_Id) = E_Generic_Package then
- Set_Use (Generic_Formal_Declarations (Pack_Decl));
- end if;
-
- Set_Use (Visible_Declarations (Specification (Pack_Decl)));
- Set_Use (Private_Declarations (Specification (Pack_Decl)));
-
- -- This is a nested package, so it may be necessary to declare
- -- certain inherited subprograms that are not yet visible because
- -- the parent type's subprograms are now visible.
-
- if Ekind (Scope (Spec_Id)) = E_Package
- and then Scope (Spec_Id) /= Standard_Standard
- then
- Declare_Inherited_Private_Subprograms (Spec_Id);
- end if;
-
- if Present (Declarations (N)) then
- Analyze_Declarations (Declarations (N));
- end if;
-
- HSS := Handled_Statement_Sequence (N);
-
- if Present (HSS) then
- Process_End_Label (HSS, 't');
- Analyze (HSS);
-
- -- Check that elaboration code in a preelaborable package body is
- -- empty other than null statements and labels (RM 10.2.1(6)).
-
- Validate_Null_Statement_Sequence (N);
- end if;
-
- Validate_Categorization_Dependency (N, Spec_Id);
- Check_Completion (Body_Id);
-
- -- Generate start of body reference. Note that we do this fairly late,
- -- because the call will use In_Extended_Main_Source_Unit as a check,
- -- and we want to make sure that Corresponding_Stub links are set
-
- Generate_Reference (Spec_Id, Body_Id, 'b');
-
- -- For a generic package, collect global references and mark
- -- them on the original body so that they are not resolved
- -- again at the point of instantiation.
-
- if Ekind (Spec_Id) /= E_Package then
- Save_Global_References (Original_Node (N));
- End_Generic;
- end if;
-
- -- The entities of the package body have so far been chained onto
- -- the declaration chain for the spec. That's been fine while we
- -- were in the body, since we wanted them to be visible, but now
- -- that we are leaving the package body, they are no longer visible,
- -- so we remove them from the entity chain of the package spec entity,
- -- and copy them to the entity chain of the package body entity, where
- -- they will never again be visible.
-
- if Present (Last_Spec_Entity) then
- Set_First_Entity (Body_Id, Next_Entity (Last_Spec_Entity));
- Set_Next_Entity (Last_Spec_Entity, Empty);
- Set_Last_Entity (Body_Id, Last_Entity (Spec_Id));
- Set_Last_Entity (Spec_Id, Last_Spec_Entity);
-
- else
- Set_First_Entity (Body_Id, First_Entity (Spec_Id));
- Set_Last_Entity (Body_Id, Last_Entity (Spec_Id));
- Set_First_Entity (Spec_Id, Empty);
- Set_Last_Entity (Spec_Id, Empty);
- end if;
-
- End_Package_Scope (Spec_Id);
-
- -- All entities declared in body are not visible.
-
- declare
- E : Entity_Id;
-
- begin
- E := First_Entity (Body_Id);
-
- while Present (E) loop
- Set_Is_Immediately_Visible (E, False);
- Set_Is_Potentially_Use_Visible (E, False);
- Set_Is_Hidden (E);
-
- -- Child units may appear on the entity list (for example if
- -- they appear in the context of a subunit) but they are not
- -- body entities.
-
- if not Is_Child_Unit (E) then
- Set_Is_Package_Body_Entity (E);
- end if;
-
- Next_Entity (E);
- end loop;
- end;
-
- Check_References (Body_Id);
-
- -- The processing so far has made all entities of the package body
- -- public (i.e. externally visible to the linker). This is in general
- -- necessary, since inlined or generic bodies, for which code is
- -- generated in other units, may need to see these entities. The
- -- following loop runs backwards from the end of the entities of the
- -- package body making these entities invisible until we reach a
- -- referencer, i.e. a declaration that could reference a previous
- -- declaration, a generic body or an inlined body, or a stub (which
- -- may contain either of these). This is of course an approximation,
- -- but it is conservative and definitely correct.
-
- -- We only do this at the outer (library) level non-generic packages.
- -- The reason is simply to cut down on the number of external symbols
- -- generated, so this is simply an optimization of the efficiency
- -- of the compilation process. It has no other effect.
-
- if (Scope (Spec_Id) = Standard_Standard or else Is_Child_Unit (Spec_Id))
- and then not Is_Generic_Unit (Spec_Id)
- and then Present (Declarations (N))
- then
- Make_Non_Public_Where_Possible : declare
- Discard : Boolean;
-
- function Has_Referencer
- (L : List_Id;
- Outer : Boolean)
- return Boolean;
- -- Traverse the given list of declarations in reverse order.
- -- Return True as soon as a referencer is reached. Return
- -- False if none is found. The Outer parameter is True for
- -- the outer level call, and False for inner level calls for
- -- nested packages. If Outer is True, then any entities up
- -- to the point of hitting a referencer get their Is_Public
- -- flag cleared, so that the entities will be treated as
- -- static entities in the C sense, and need not have fully
- -- qualified names. For inner levels, we need all names to
- -- be fully qualified to deal with the same name appearing
- -- in parallel packages (right now this is tied to their
- -- being external).
-
- --------------------
- -- Has_Referencer --
- --------------------
-
- function Has_Referencer
- (L : List_Id;
- Outer : Boolean)
- return Boolean
- is
- D : Node_Id;
- E : Entity_Id;
- K : Node_Kind;
- S : Entity_Id;
-
- begin
- if No (L) then
- return False;
- end if;
-
- D := Last (L);
-
- while Present (D) loop
- K := Nkind (D);
-
- if K in N_Body_Stub then
- return True;
-
- elsif K = N_Subprogram_Body then
- if Acts_As_Spec (D) then
- E := Defining_Entity (D);
-
- -- An inlined body acts as a referencer. Note also
- -- that we never reset Is_Public for an inlined
- -- subprogram. Gigi requires Is_Public to be set.
-
- -- Note that we test Has_Pragma_Inline here rather
- -- than Is_Inlined. We are compiling this for a
- -- client, and it is the client who will decide
- -- if actual inlining should occur, so we need to
- -- assume that the procedure could be inlined for
- -- the purpose of accessing global entities.
-
- if Has_Pragma_Inline (E) then
- return True;
- else
- Set_Is_Public (E, False);
- end if;
-
- else
- E := Corresponding_Spec (D);
-
- if Present (E)
- and then (Is_Generic_Unit (E)
- or else Has_Pragma_Inline (E)
- or else Is_Inlined (E))
- then
- return True;
- end if;
- end if;
-
- -- Processing for package bodies
-
- elsif K = N_Package_Body
- and then Present (Corresponding_Spec (D))
- then
- E := Corresponding_Spec (D);
-
- -- Generic package body is a referencer. It would
- -- seem that we only have to consider generics that
- -- can be exported, i.e. where the corresponding spec
- -- is the spec of the current package, but because of
- -- nested instantiations, a fully private generic
- -- body may export other private body entities.
-
- if Is_Generic_Unit (E) then
- return True;
-
- -- For non-generic package body, recurse into body
- -- unless this is an instance, we ignore instances
- -- since they cannot have references that affect
- -- outer entities.
-
- elsif not Is_Generic_Instance (E) then
- if Has_Referencer
- (Declarations (D), Outer => False)
- then
- return True;
- end if;
- end if;
-
- -- Processing for package specs, recurse into declarations.
- -- Again we skip this for the case of generic instances.
-
- elsif K = N_Package_Declaration then
- S := Specification (D);
-
- if not Is_Generic_Unit (Defining_Entity (S)) then
- if Has_Referencer
- (Private_Declarations (S), Outer => False)
- then
- return True;
- elsif Has_Referencer
- (Visible_Declarations (S), Outer => False)
- then
- return True;
- end if;
- end if;
-
- -- Objects and exceptions need not be public if we have
- -- not encountered a referencer so far. We only reset
- -- the flag for outer level entities that are not
- -- imported/exported, and which have no interface name.
-
- elsif K = N_Object_Declaration
- or else K = N_Exception_Declaration
- or else K = N_Subprogram_Declaration
- then
- E := Defining_Entity (D);
-
- if Outer
- and then not Is_Imported (E)
- and then not Is_Exported (E)
- and then No (Interface_Name (E))
- then
- Set_Is_Public (E, False);
- end if;
- end if;
-
- Prev (D);
- end loop;
-
- return False;
- end Has_Referencer;
-
- -- Start of processing for Make_Non_Public_Where_Possible
-
- begin
- Discard := Has_Referencer (Declarations (N), Outer => True);
- end Make_Non_Public_Where_Possible;
- end if;
-
- -- If expander is not active, then here is where we turn off the
- -- In_Package_Body flag, otherwise it is turned off at the end of
- -- the corresponding expansion routine. If this is an instance body,
- -- we need to qualify names of local entities, because the body may
- -- have been compiled as a preliminary to another instantiation.
-
- if not Expander_Active then
- Set_In_Package_Body (Spec_Id, False);
-
- if Is_Generic_Instance (Spec_Id)
- and then Operating_Mode = Generate_Code
- then
- Qualify_Entity_Names (N);
- end if;
- end if;
- end Analyze_Package_Body;
-
- ---------------------------------
- -- Analyze_Package_Declaration --
- ---------------------------------
-
- procedure Analyze_Package_Declaration (N : Node_Id) is
- Id : constant Node_Id := Defining_Entity (N);
- PF : Boolean;
-
- begin
- Generate_Definition (Id);
- Enter_Name (Id);
- Set_Ekind (Id, E_Package);
- Set_Etype (Id, Standard_Void_Type);
- New_Scope (Id);
-
- PF := Is_Pure (Enclosing_Lib_Unit_Entity);
- Set_Is_Pure (Id, PF);
-
- Set_Categorization_From_Pragmas (N);
-
- if Debug_Flag_C then
- Write_Str ("==== Compiling package spec ");
- Write_Name (Chars (Id));
- Write_Str (" from ");
- Write_Location (Sloc (N));
- Write_Eol;
- end if;
-
- Analyze (Specification (N));
- Validate_Categorization_Dependency (N, Id);
- End_Package_Scope (Id);
-
- -- For a compilation unit, indicate whether it needs a body, and
- -- whether elaboration warnings may be meaningful on it.
-
- if Nkind (Parent (N)) = N_Compilation_Unit then
- Set_Body_Required (Parent (N), Unit_Requires_Body (Id));
-
- if not Body_Required (Parent (N)) then
- Set_Suppress_Elaboration_Warnings (Id);
- end if;
-
- Validate_RT_RAT_Component (N);
- end if;
-
- -- Clear Not_Source_Assigned on all variables in the package spec,
- -- because at this stage some client, or the body, or a child package,
- -- may modify variables in the declaration. Note that we wait till now
- -- to reset these flags, because during analysis of the declaration,
- -- the flags correctly indicated the status up to that point. We
- -- similarly clear any Is_True_Constant indications.
-
- declare
- E : Entity_Id;
-
- begin
- E := First_Entity (Id);
- while Present (E) loop
- if Ekind (E) = E_Variable then
- Set_Not_Source_Assigned (E, False);
- Set_Is_True_Constant (E, False);
- end if;
-
- Next_Entity (E);
- end loop;
- end;
- end Analyze_Package_Declaration;
-
- -----------------------------------
- -- Analyze_Package_Specification --
- -----------------------------------
-
- procedure Analyze_Package_Specification (N : Node_Id) is
- Id : constant Entity_Id := Defining_Entity (N);
- Orig_Decl : constant Node_Id := Original_Node (Parent (N));
- Vis_Decls : constant List_Id := Visible_Declarations (N);
- Priv_Decls : constant List_Id := Private_Declarations (N);
- E : Entity_Id;
- L : Entity_Id;
- Public_Child : Boolean := False;
-
- function Is_Public_Child (Child, Unit : Entity_Id) return Boolean;
- -- Child and Unit are entities of compilation units. True if Child
- -- is a public child of Parent as defined in 10.1.1
-
- function Is_Public_Child (Child, Unit : Entity_Id) return Boolean is
- begin
- if not Is_Private_Descendant (Child) then
- return True;
- else
- if Child = Unit then
- return not Private_Present (
- Parent (Unit_Declaration_Node (Child)));
- else
- return Is_Public_Child (Scope (Child), Unit);
- end if;
- end if;
- end Is_Public_Child;
-
- -- Start of processing for Analyze_Package_Specification
-
- begin
- if Present (Vis_Decls) then
- Analyze_Declarations (Vis_Decls);
- end if;
-
- -- Verify that incomplete types have received full declarations.
-
- E := First_Entity (Id);
-
- while Present (E) loop
- if Ekind (E) = E_Incomplete_Type
- and then No (Full_View (E))
- then
- Error_Msg_N ("no declaration in visible part for incomplete}", E);
- end if;
-
- Next_Entity (E);
- end loop;
-
- if Is_Remote_Call_Interface (Id)
- and then Nkind (Parent (Parent (N))) = N_Compilation_Unit
- then
- Validate_RCI_Declarations (Id);
- end if;
-
- -- Save global references in the visible declarations, before
- -- installing private declarations of parent unit if there is one,
- -- because the privacy status of types defined in the parent will
- -- change. This is only relevant for generic child units, but is
- -- done in all cases for uniformity.
-
- if Ekind (Id) = E_Generic_Package
- and then Nkind (Orig_Decl) = N_Generic_Package_Declaration
- then
- declare
- Orig_Spec : constant Node_Id := Specification (Orig_Decl);
- Save_Priv : constant List_Id := Private_Declarations (Orig_Spec);
-
- begin
- Set_Private_Declarations (Orig_Spec, Empty_List);
- Save_Global_References (Orig_Decl);
- Set_Private_Declarations (Orig_Spec, Save_Priv);
- end;
- end if;
-
- -- If package is a public child unit, then make the private
- -- declarations of the parent visible.
-
- if Present (Parent_Spec (Parent (N))) then
- declare
- Par : Entity_Id := Id;
- Pack_Decl : Node_Id;
-
- begin
- while Scope (Par) /= Standard_Standard
- and then Is_Public_Child (Id, Par)
- loop
- Public_Child := True;
- Par := Scope (Par);
- Install_Private_Declarations (Par);
- Pack_Decl := Unit_Declaration_Node (Par);
- Set_Use (Private_Declarations (Specification (Pack_Decl)));
- end loop;
- end;
- end if;
-
- -- Analyze private part if present. The flag In_Private_Part is
- -- reset in End_Package_Scope.
-
- L := Last_Entity (Id);
-
- if Present (Priv_Decls) then
- L := Last_Entity (Id);
- Set_In_Private_Part (Id);
-
- -- Upon entering a public child's private part, it may be
- -- necessary to declare subprograms that were derived in
- -- the package visible part but not yet made visible.
-
- if Public_Child then
- Declare_Inherited_Private_Subprograms (Id);
- end if;
-
- Analyze_Declarations (Priv_Decls);
-
- -- The first private entity is the immediate follower of the last
- -- visible entity, if there was one.
-
- if Present (L) then
- Set_First_Private_Entity (Id, Next_Entity (L));
- else
- Set_First_Private_Entity (Id, First_Entity (Id));
- end if;
-
- -- There may be inherited private subprograms that need to be
- -- declared, even in the absence of an explicit private part.
- -- If there are any public declarations in the package and
- -- the package is a public child unit, then an implicit private
- -- part is assumed.
-
- elsif Present (L) and then Public_Child then
- Set_In_Private_Part (Id);
- Declare_Inherited_Private_Subprograms (Id);
- Set_First_Private_Entity (Id, Next_Entity (L));
- end if;
-
- -- Check rule of 3.6(11), which in general requires
- -- waiting till all full types have been seen.
-
- E := First_Entity (Id);
- while Present (E) loop
- if Ekind (E) = E_Record_Type or else Ekind (E) = E_Array_Type then
- Check_Aliased_Component_Types (E);
- end if;
-
- Next_Entity (E);
- end loop;
-
- if Ekind (Id) = E_Generic_Package
- and then Nkind (Orig_Decl) = N_Generic_Package_Declaration
- and then Present (Priv_Decls)
- then
- -- Save global references in private declarations, ignoring the
- -- visible declarations that were processed earlier.
-
- declare
- Orig_Spec : constant Node_Id := Specification (Orig_Decl);
- Save_Vis : constant List_Id := Visible_Declarations (Orig_Spec);
- Save_Form : constant List_Id :=
- Generic_Formal_Declarations (Orig_Decl);
-
- begin
- Set_Visible_Declarations (Orig_Spec, Empty_List);
- Set_Generic_Formal_Declarations (Orig_Decl, Empty_List);
- Save_Global_References (Orig_Decl);
- Set_Generic_Formal_Declarations (Orig_Decl, Save_Form);
- Set_Visible_Declarations (Orig_Spec, Save_Vis);
- end;
- end if;
-
- Process_End_Label (N, 'e');
- end Analyze_Package_Specification;
-
- --------------------------------------
- -- Analyze_Private_Type_Declaration --
- --------------------------------------
-
- procedure Analyze_Private_Type_Declaration (N : Node_Id) is
- PF : constant Boolean := Is_Pure (Enclosing_Lib_Unit_Entity);
- Id : Entity_Id := Defining_Identifier (N);
-
- begin
- Generate_Definition (Id);
- Set_Is_Pure (Id, PF);
- Init_Size_Align (Id);
-
- if (Ekind (Current_Scope) /= E_Package
- and then Ekind (Current_Scope) /= E_Generic_Package)
- or else In_Private_Part (Current_Scope)
- then
- Error_Msg_N ("invalid context for private declaration", N);
- end if;
-
- New_Private_Type (N, Id, N);
- Set_Depends_On_Private (Id);
- Set_Has_Delayed_Freeze (Id);
-
- end Analyze_Private_Type_Declaration;
-
- -------------------------------------------
- -- Declare_Inherited_Private_Subprograms --
- -------------------------------------------
-
- procedure Declare_Inherited_Private_Subprograms (Id : Entity_Id) is
- E : Entity_Id;
-
- begin
- E := First_Entity (Id);
-
- while Present (E) loop
-
- -- If the entity is a nonprivate type extension whose parent
- -- type is declared in an open scope, then the type may have
- -- inherited operations that now need to be made visible.
- -- Ditto if the entity is a formal derived type in a child unit.
-
- if Is_Tagged_Type (E)
- and then
- ((Is_Derived_Type (E) and then not Is_Private_Type (E))
- or else
- (Nkind (Parent (E)) = N_Private_Extension_Declaration
- and then Is_Generic_Type (E)))
- and then In_Open_Scopes (Scope (Etype (E)))
- and then E = Base_Type (E)
- then
- declare
- Op_List : constant Elist_Id := Primitive_Operations (E);
- Op_Elmt : Elmt_Id := First_Elmt (Op_List);
- Op_Elmt_2 : Elmt_Id;
- Prim_Op : Entity_Id;
- New_Op : Entity_Id := Empty;
- Parent_Subp : Entity_Id;
- Found_Explicit : Boolean;
- Decl_Privates : Boolean := False;
-
- begin
- while Present (Op_Elmt) loop
- Prim_Op := Node (Op_Elmt);
-
- -- If the primitive operation is an implicit operation
- -- with an internal name whose parent operation has
- -- a normal name, then we now need to either declare the
- -- operation (i.e., make it visible), or replace it
- -- by an overriding operation if one exists.
-
- if Present (Alias (Prim_Op))
- and then not Comes_From_Source (Prim_Op)
- and then Is_Internal_Name (Chars (Prim_Op))
- and then not Is_Internal_Name (Chars (Alias (Prim_Op)))
- then
- Parent_Subp := Alias (Prim_Op);
-
- Found_Explicit := False;
- Op_Elmt_2 := Next_Elmt (Op_Elmt);
- while Present (Op_Elmt_2) loop
- if Chars (Node (Op_Elmt_2)) = Chars (Parent_Subp)
- and then Type_Conformant (Prim_Op, Node (Op_Elmt_2))
- then
- -- The private inherited operation has been
- -- overridden by an explicit subprogram, so
- -- change the private op's list element to
- -- designate the explicit so the explicit
- -- one will get the right dispatching slot.
-
- New_Op := Node (Op_Elmt_2);
- Replace_Elmt (Op_Elmt, New_Op);
- Remove_Elmt (Op_List, Op_Elmt_2);
- Found_Explicit := True;
- Decl_Privates := True;
- exit;
- end if;
-
- Next_Elmt (Op_Elmt_2);
- end loop;
-
- if not Found_Explicit then
- Derive_Subprogram
- (New_Op, Alias (Prim_Op), E, Etype (E));
-
- pragma Assert
- (Is_Dispatching_Operation (New_Op)
- and then Node (Last_Elmt (Op_List)) = New_Op);
-
- -- Substitute the new operation for the old one
- -- in the type's primitive operations list. Since
- -- the new operation was also just added to the end
- -- of list, the last element must be removed.
-
- -- (Question: is there a simpler way of declaring
- -- the operation, say by just replacing the name
- -- of the earlier operation, reentering it in the
- -- in the symbol table (how?), and marking it as
- -- private???)
-
- Replace_Elmt (Op_Elmt, New_Op);
- Remove_Last_Elmt (Op_List);
- Decl_Privates := True;
- end if;
- end if;
-
- Next_Elmt (Op_Elmt);
- end loop;
-
- -- The type's DT attributes need to be recalculated
- -- in the case where private dispatching operations
- -- have been added or overridden. Normally this action
- -- occurs during type freezing, but we force it here
- -- since the type may already have been frozen (e.g.,
- -- if the type's package has an empty private part).
- -- This can only be done if expansion is active, otherwise
- -- Tag may not be present.
-
- if Decl_Privates
- and then Expander_Active
- then
- Set_All_DT_Position (E);
- end if;
- end;
- end if;
-
- Next_Entity (E);
- end loop;
- end Declare_Inherited_Private_Subprograms;
-
- -----------------------
- -- End_Package_Scope --
- -----------------------
-
- procedure End_Package_Scope (P : Entity_Id) is
- begin
- Uninstall_Declarations (P);
- Pop_Scope;
- end End_Package_Scope;
-
- ---------------------------
- -- Exchange_Declarations --
- ---------------------------
-
- procedure Exchange_Declarations (Id : Entity_Id) is
- Full_Id : constant Entity_Id := Full_View (Id);
- H1 : constant Entity_Id := Homonym (Id);
- Next1 : constant Entity_Id := Next_Entity (Id);
- H2 : Entity_Id;
- Next2 : Entity_Id;
-
- begin
- -- If missing full declaration for type, nothing to exchange
-
- if No (Full_Id) then
- return;
- end if;
-
- -- Otherwise complete the exchange, and preserve semantic links
-
- Next2 := Next_Entity (Full_Id);
- H2 := Homonym (Full_Id);
-
- -- Reset full declaration pointer to reflect the switched entities
- -- and readjust the next entity chains.
-
- Exchange_Entities (Id, Full_Id);
-
- Set_Next_Entity (Id, Next1);
- Set_Homonym (Id, H1);
-
- Set_Full_View (Full_Id, Id);
- Set_Next_Entity (Full_Id, Next2);
- Set_Homonym (Full_Id, H2);
- end Exchange_Declarations;
-
- ----------------------------------
- -- Install_Composite_Operations --
- ----------------------------------
-
- procedure Install_Composite_Operations (P : Entity_Id) is
- Id : Entity_Id;
-
- begin
- Id := First_Entity (P);
-
- while Present (Id) loop
-
- if Is_Type (Id)
- and then (Is_Limited_Composite (Id)
- or else Is_Private_Composite (Id))
- and then No (Private_Component (Id))
- then
- Set_Is_Limited_Composite (Id, False);
- Set_Is_Private_Composite (Id, False);
- end if;
-
- Next_Entity (Id);
- end loop;
- end Install_Composite_Operations;
-
- ----------------------------
- -- Install_Package_Entity --
- ----------------------------
-
- procedure Install_Package_Entity (Id : Entity_Id) is
- begin
- if not Is_Internal (Id) then
- if Debug_Flag_E then
- Write_Str ("Install: ");
- Write_Name (Chars (Id));
- Write_Eol;
- end if;
-
- if not Is_Child_Unit (Id) then
- Set_Is_Immediately_Visible (Id);
- end if;
-
- end if;
- end Install_Package_Entity;
-
- ----------------------------------
- -- Install_Private_Declarations --
- ----------------------------------
-
- procedure Install_Private_Declarations (P : Entity_Id) is
- Id : Entity_Id;
- Priv_Elmt : Elmt_Id;
- Priv : Entity_Id;
- Full : Entity_Id;
-
- begin
- -- First exchange declarations for private types, so that the
- -- full declaration is visible. For each private type, we check
- -- its Private_Dependents list and also exchange any subtypes of
- -- or derived types from it. Finally, if this is a Taft amendment
- -- type, the incomplete declaration is irrelevant, and we want to
- -- link the eventual full declaration with the original private
- -- one so we also skip the exchange.
-
- Id := First_Entity (P);
-
- while Present (Id) and then Id /= First_Private_Entity (P) loop
-
- if Is_Private_Base_Type (Id)
- and then Comes_From_Source (Full_View (Id))
- and then Present (Full_View (Id))
- and then Scope (Full_View (Id)) = Scope (Id)
- and then Ekind (Full_View (Id)) /= E_Incomplete_Type
- then
- Priv_Elmt := First_Elmt (Private_Dependents (Id));
-
- -- If there is a use-type clause on the private type, set the
- -- full view accordingly.
-
- Set_In_Use (Full_View (Id), In_Use (Id));
- Full := Full_View (Id);
-
- if Is_Private_Base_Type (Full)
- and then Has_Private_Declaration (Full)
- and then Nkind (Parent (Full)) = N_Full_Type_Declaration
- and then In_Open_Scopes (Scope (Etype (Full)))
- and then In_Package_Body (Current_Scope)
- and then not Is_Private_Type (Etype (Full))
- then
- -- This is the completion of a private type by a derivation
- -- from another private type which is not private anymore. This
- -- can only happen in a package nested within a child package,
- -- when the parent type is defined in the parent unit. At this
- -- point the current type is not private either, and we have to
- -- install the underlying full view, which is now visible.
-
- if No (Full_View (Full))
- and then Present (Underlying_Full_View (Full))
- then
- Set_Full_View (Id, Underlying_Full_View (Full));
- Set_Underlying_Full_View (Full, Empty);
- Set_Is_Frozen (Full_View (Id));
- end if;
- end if;
-
- Exchange_Declarations (Id);
- Set_Is_Immediately_Visible (Id);
-
- while Present (Priv_Elmt) loop
- Priv := Node (Priv_Elmt);
-
- -- Before the exchange, verify that the presence of the
- -- Full_View field. It will be empty if the entity
- -- has already been installed due to a previous call.
-
- if Present (Full_View (Priv))
- and then Is_Visible_Dependent (Priv)
- then
-
- -- For each subtype that is swapped, we also swap the
- -- reference to it in Private_Dependents, to allow access
- -- to it when we swap them out in End_Package_Scope.
-
- Replace_Elmt (Priv_Elmt, Full_View (Priv));
- Exchange_Declarations (Priv);
- Set_Is_Immediately_Visible
- (Priv, In_Open_Scopes (Scope (Priv)));
- Set_Is_Potentially_Use_Visible
- (Priv, Is_Potentially_Use_Visible (Node (Priv_Elmt)));
- end if;
-
- Next_Elmt (Priv_Elmt);
- end loop;
-
- null;
- end if;
-
- Next_Entity (Id);
- end loop;
-
- -- Next make other declarations in the private part visible as well.
-
- Id := First_Private_Entity (P);
-
- while Present (Id) loop
- Install_Package_Entity (Id);
- Next_Entity (Id);
- end loop;
-
- -- Indicate that the private part is currently visible, so it can be
- -- properly reset on exit.
-
- Set_In_Private_Part (P);
- end Install_Private_Declarations;
-
- ----------------------------------
- -- Install_Visible_Declarations --
- ----------------------------------
-
- procedure Install_Visible_Declarations (P : Entity_Id) is
- Id : Entity_Id;
-
- begin
- Id := First_Entity (P);
-
- while Present (Id) and then Id /= First_Private_Entity (P) loop
- Install_Package_Entity (Id);
- Next_Entity (Id);
- end loop;
- end Install_Visible_Declarations;
-
- ----------------------
- -- Is_Fully_Visible --
- ----------------------
-
- -- The full declaration of a private type is visible in the private
- -- part of the package declaration, and in the package body, at which
- -- point the full declaration must have been given.
-
- function Is_Fully_Visible (Type_Id : Entity_Id) return Boolean is
- S : constant Entity_Id := Scope (Type_Id);
-
- begin
- if Is_Generic_Type (Type_Id) then
- return False;
-
- elsif In_Private_Part (S) then
- return Present (Full_View (Type_Id));
-
- else
- return In_Package_Body (S);
- end if;
- end Is_Fully_Visible;
-
- --------------------------
- -- Is_Private_Base_Type --
- --------------------------
-
- function Is_Private_Base_Type (E : Entity_Id) return Boolean is
- begin
- return Ekind (E) = E_Private_Type
- or else Ekind (E) = E_Limited_Private_Type
- or else Ekind (E) = E_Record_Type_With_Private;
- end Is_Private_Base_Type;
-
- --------------------------
- -- Is_Visible_Dependent --
- --------------------------
-
- function Is_Visible_Dependent (Dep : Entity_Id) return Boolean
- is
- S : constant Entity_Id := Scope (Dep);
-
- begin
- -- Renamings created for actual types have the visibility of the
- -- actual.
-
- if Ekind (S) = E_Package
- and then Is_Generic_Instance (S)
- and then (Is_Generic_Actual_Type (Dep)
- or else Is_Generic_Actual_Type (Full_View (Dep)))
- then
- return True;
-
- elsif not (Is_Derived_Type (Dep))
- and then Is_Derived_Type (Full_View (Dep))
- then
- return In_Open_Scopes (S);
- else
- return True;
- end if;
- end Is_Visible_Dependent;
-
- ----------------------------
- -- May_Need_Implicit_Body --
- ----------------------------
-
- procedure May_Need_Implicit_Body (E : Entity_Id) is
- P : constant Node_Id := Unit_Declaration_Node (E);
- S : constant Node_Id := Parent (P);
- B : Node_Id;
- Decls : List_Id;
-
- begin
- if not Has_Completion (E)
- and then Nkind (P) = N_Package_Declaration
- and then Present (Activation_Chain_Entity (P))
- then
- B :=
- Make_Package_Body (Sloc (E),
- Defining_Unit_Name => Make_Defining_Identifier (Sloc (E),
- Chars => Chars (E)),
- Declarations => New_List);
-
- if Nkind (S) = N_Package_Specification then
- if Present (Private_Declarations (S)) then
- Decls := Private_Declarations (S);
- else
- Decls := Visible_Declarations (S);
- end if;
- else
- Decls := Declarations (S);
- end if;
-
- Append (B, Decls);
- Analyze (B);
- end if;
- end May_Need_Implicit_Body;
-
- ----------------------
- -- New_Private_Type --
- ----------------------
-
- procedure New_Private_Type (N : Node_Id; Id : Entity_Id; Def : Node_Id) is
- begin
- Enter_Name (Id);
-
- if Limited_Present (Def) then
- Set_Ekind (Id, E_Limited_Private_Type);
- else
- Set_Ekind (Id, E_Private_Type);
- end if;
-
- Set_Etype (Id, Id);
- Set_Has_Delayed_Freeze (Id);
- Set_Is_First_Subtype (Id);
- Init_Size_Align (Id);
-
- Set_Is_Constrained (Id,
- No (Discriminant_Specifications (N))
- and then not Unknown_Discriminants_Present (N));
-
- -- Set tagged flag before processing discriminants, to catch
- -- illegal usage.
-
- Set_Is_Tagged_Type (Id, Tagged_Present (Def));
-
- Set_Discriminant_Constraint (Id, No_Elist);
- Set_Girder_Constraint (Id, No_Elist);
-
- if Present (Discriminant_Specifications (N)) then
- New_Scope (Id);
- Process_Discriminants (N);
- End_Scope;
-
- elsif Unknown_Discriminants_Present (N) then
- Set_Has_Unknown_Discriminants (Id);
- end if;
-
- Set_Private_Dependents (Id, New_Elmt_List);
-
- if Tagged_Present (Def) then
- Set_Ekind (Id, E_Record_Type_With_Private);
- Make_Class_Wide_Type (Id);
- Set_Primitive_Operations (Id, New_Elmt_List);
- Set_Is_Abstract (Id, Abstract_Present (Def));
- Set_Is_Limited_Record (Id, Limited_Present (Def));
- Set_Has_Delayed_Freeze (Id, True);
-
- elsif Abstract_Present (Def) then
- Error_Msg_N ("only a tagged type can be abstract", N);
- end if;
- end New_Private_Type;
-
- ------------------------------
- -- Preserve_Full_Attributes --
- ------------------------------
-
- procedure Preserve_Full_Attributes (Priv, Full : Entity_Id) is
- Priv_Is_Base_Type : constant Boolean := Priv = Base_Type (Priv);
-
- begin
- Set_Size_Info (Priv, (Full));
- Set_RM_Size (Priv, RM_Size (Full));
- Set_Size_Known_At_Compile_Time (Priv, Size_Known_At_Compile_Time
- (Full));
-
- if Priv_Is_Base_Type then
- Set_Is_Controlled (Priv, Is_Controlled (Base_Type (Full)));
- Set_Has_Task (Priv, Has_Task (Base_Type (Full)));
- Set_Finalize_Storage_Only (Priv, Finalize_Storage_Only
- (Base_Type (Full)));
- Set_Has_Controlled_Component (Priv, Has_Controlled_Component
- (Base_Type (Full)));
- end if;
-
- Set_Freeze_Node (Priv, Freeze_Node (Full));
-
- if Is_Tagged_Type (Priv)
- and then Is_Tagged_Type (Full)
- and then not Error_Posted (Full)
- then
- if Priv_Is_Base_Type then
- Set_Access_Disp_Table (Priv, Access_Disp_Table
- (Base_Type (Full)));
- end if;
-
- Set_First_Entity (Priv, First_Entity (Full));
- Set_Last_Entity (Priv, Last_Entity (Full));
- end if;
- end Preserve_Full_Attributes;
-
- ----------------------------
- -- Uninstall_Declarations --
- ----------------------------
-
- procedure Uninstall_Declarations (P : Entity_Id) is
- Id : Entity_Id;
- Decl : Node_Id := Unit_Declaration_Node (P);
- Full : Entity_Id;
- Priv_Elmt : Elmt_Id;
- Priv_Sub : Entity_Id;
-
- function Type_In_Use (T : Entity_Id) return Boolean;
- -- Check whether type or base type appear in an active use_type clause.
-
- function Type_In_Use (T : Entity_Id) return Boolean is
- begin
- return Scope (Base_Type (T)) = P
- and then (In_Use (T) or else In_Use (Base_Type (T)));
- end Type_In_Use;
-
- -- Start of processing for Uninstall_Declarations
-
- begin
- Id := First_Entity (P);
-
- while Present (Id) and then Id /= First_Private_Entity (P) loop
- if Debug_Flag_E then
- Write_Str ("unlinking visible entity ");
- Write_Int (Int (Id));
- Write_Eol;
- end if;
-
- -- On exit from the package scope, we must preserve the visibility
- -- established by use clauses in the current scope. Two cases:
-
- -- a) If the entity is an operator, it may be a primitive operator of
- -- a type for which there is a visible use-type clause.
-
- -- b) for other entities, their use-visibility is determined by a
- -- visible use clause for the package itself. For a generic instance,
- -- the instantiation of the formals appears in the visible part,
- -- but the formals are private and remain so.
-
- if Ekind (Id) = E_Function
- and then Is_Operator_Symbol_Name (Chars (Id))
- and then not Is_Hidden (Id)
- then
- Set_Is_Potentially_Use_Visible (Id,
- In_Use (P)
- or else Type_In_Use (Etype (Id))
- or else Type_In_Use (Etype (First_Formal (Id)))
- or else (Present (Next_Formal (First_Formal (Id)))
- and then
- Type_In_Use
- (Etype (Next_Formal (First_Formal (Id))))));
- else
- Set_Is_Potentially_Use_Visible (Id,
- In_Use (P) and not Is_Hidden (Id));
- end if;
-
- -- Local entities are not immediately visible outside of the package.
-
- Set_Is_Immediately_Visible (Id, False);
-
- if Is_Tagged_Type (Id) and then Ekind (Id) = E_Record_Type then
- Check_Abstract_Overriding (Id);
- end if;
-
- if (Ekind (Id) = E_Private_Type
- or else Ekind (Id) = E_Limited_Private_Type)
- and then No (Full_View (Id))
- and then not Is_Generic_Type (Id)
- and then not Is_Derived_Type (Id)
- then
- Error_Msg_N ("missing full declaration for private type&", Id);
-
- elsif Ekind (Id) = E_Record_Type_With_Private
- and then not Is_Generic_Type (Id)
- and then No (Full_View (Id))
- then
- if Nkind (Parent (Id)) = N_Private_Type_Declaration then
- Error_Msg_N ("missing full declaration for private type&", Id);
- else
- Error_Msg_N
- ("missing full declaration for private extension", Id);
- end if;
-
- elsif Ekind (Id) = E_Constant
- and then No (Constant_Value (Id))
- and then No (Full_View (Id))
- and then not Is_Imported (Id)
- and then (Nkind (Parent (Id)) /= N_Object_Declaration
- or else not No_Initialization (Parent (Id)))
- then
- Error_Msg_N ("missing full declaration for deferred constant", Id);
- end if;
-
- Next_Entity (Id);
- end loop;
-
- -- If the specification was installed as the parent of a public child
- -- unit, the private declarations were not installed, and there is
- -- nothing to do.
-
- if not In_Private_Part (P) then
- return;
- else
- Set_In_Private_Part (P, False);
- end if;
-
- -- Make private entities invisible and exchange full and private
- -- declarations for private types.
-
- while Present (Id) loop
- if Debug_Flag_E then
- Write_Str ("unlinking private entity ");
- Write_Int (Int (Id));
- Write_Eol;
- end if;
-
- if Is_Tagged_Type (Id) and then Ekind (Id) = E_Record_Type then
- Check_Abstract_Overriding (Id);
- end if;
-
- Set_Is_Immediately_Visible (Id, False);
-
- if Is_Private_Base_Type (Id)
- and then Present (Full_View (Id))
- then
- Full := Full_View (Id);
-
- -- If the partial view is not declared in the visible part
- -- of the package (as is the case when it is a type derived
- -- from some other private type in the private part if the
- -- current package), no exchange takes place.
-
- if No (Parent (Id))
- or else List_Containing (Parent (Id))
- /= Visible_Declarations (Specification (Decl))
- then
- goto Next_Id;
- end if;
-
- -- The entry in the private part points to the full declaration,
- -- which is currently visible. Exchange them so only the private
- -- type declaration remains accessible, and link private and
- -- full declaration in the opposite direction. Before the actual
- -- exchange, we copy back attributes of the full view that
- -- must be available to the partial view too.
-
- Preserve_Full_Attributes (Id, Full);
-
- Set_Is_Potentially_Use_Visible (Id, In_Use (P));
-
- if Is_Indefinite_Subtype (Full)
- and then not Is_Indefinite_Subtype (Id)
- then
- Error_Msg_N
- ("full view of type must be definite subtype", Full);
- end if;
-
- Priv_Elmt := First_Elmt (Private_Dependents (Id));
- Exchange_Declarations (Id);
-
- -- Swap out the subtypes and derived types of Id that were
- -- compiled in this scope, or installed previously by
- -- Install_Private_Declarations.
- -- Before we do the swap, we verify the presence of the
- -- Full_View field which may be empty due to a swap by
- -- a previous call to End_Package_Scope (e.g. from the
- -- freezing mechanism).
-
- while Present (Priv_Elmt) loop
- Priv_Sub := Node (Priv_Elmt);
-
- if Present (Full_View (Priv_Sub)) then
-
- if Scope (Priv_Sub) = P
- or else not In_Open_Scopes (Scope (Priv_Sub))
- then
- Set_Is_Immediately_Visible (Priv_Sub, False);
- end if;
-
- if Is_Visible_Dependent (Priv_Sub) then
- Preserve_Full_Attributes
- (Priv_Sub, Full_View (Priv_Sub));
- Replace_Elmt (Priv_Elmt, Full_View (Priv_Sub));
- Exchange_Declarations (Priv_Sub);
- end if;
- end if;
-
- Next_Elmt (Priv_Elmt);
- end loop;
-
- elsif Ekind (Id) = E_Incomplete_Type
- and then No (Full_View (Id))
- then
- -- Mark Taft amendment types
-
- Set_Has_Completion_In_Body (Id);
-
- elsif not Is_Child_Unit (Id)
- and then (not Is_Private_Type (Id)
- or else No (Full_View (Id)))
- then
- Set_Is_Hidden (Id);
- Set_Is_Potentially_Use_Visible (Id, False);
- end if;
-
- <<Next_Id>>
- Next_Entity (Id);
- end loop;
-
- end Uninstall_Declarations;
-
- ------------------------
- -- Unit_Requires_Body --
- ------------------------
-
- function Unit_Requires_Body (P : Entity_Id) return Boolean is
- E : Entity_Id;
-
- begin
- -- Imported entity never requires body. Right now, only
- -- subprograms can be imported, but perhaps in the future
- -- we will allow import of packages.
-
- if Is_Imported (P) then
- return False;
-
- -- Body required if library package with pragma Elaborate_Body
-
- elsif Has_Pragma_Elaborate_Body (P) then
- return True;
-
- -- Body required if subprogram
-
- elsif (Is_Subprogram (P)
- or else
- Ekind (P) = E_Generic_Function
- or else
- Ekind (P) = E_Generic_Procedure)
- then
- return True;
-
- -- Treat a block as requiring a body
-
- elsif Ekind (P) = E_Block then
- return True;
-
- elsif Ekind (P) = E_Package
- and then Nkind (Parent (P)) = N_Package_Specification
- and then Present (Generic_Parent (Parent (P)))
- then
- declare
- G_P : Entity_Id := Generic_Parent (Parent (P));
-
- begin
- if Has_Pragma_Elaborate_Body (G_P) then
- return True;
- end if;
- end;
- end if;
-
- -- Otherwise search entity chain for entity requiring completion.
-
- E := First_Entity (P);
- while Present (E) loop
-
- -- Always ignore child units. Child units get added to the entity
- -- list of a parent unit, but are not original entities of the
- -- parent, and so do not affect whether the parent needs a body.
-
- if Is_Child_Unit (E) then
- null;
-
- -- Otherwise test to see if entity requires a completion
-
- elsif (Is_Overloadable (E)
- and then Ekind (E) /= E_Enumeration_Literal
- and then Ekind (E) /= E_Operator
- and then not Is_Abstract (E)
- and then not Has_Completion (E))
-
- or else
- (Ekind (E) = E_Package
- and then E /= P
- and then not Has_Completion (E)
- and then Unit_Requires_Body (E))
-
- or else
- (Ekind (E) = E_Incomplete_Type and then No (Full_View (E)))
-
- or else
- ((Ekind (E) = E_Task_Type or else
- Ekind (E) = E_Protected_Type)
- and then not Has_Completion (E))
-
- or else
- (Ekind (E) = E_Generic_Package and then E /= P
- and then not Has_Completion (E)
- and then Unit_Requires_Body (E))
-
- or else
- (Ekind (E) = E_Generic_Function
- and then not Has_Completion (E))
-
- or else
- (Ekind (E) = E_Generic_Procedure
- and then not Has_Completion (E))
-
- then
- return True;
-
- -- Entity that does not require completion
-
- else
- null;
- end if;
-
- Next_Entity (E);
- end loop;
-
- return False;
- end Unit_Requires_Body;
-
-end Sem_Ch7;