home *** CD-ROM | disk | FTP | other *** search
/ Geek Gadgets 1 / ADE-1.bin / ade-dist / gnat-2.06-src.tgz / tar.out / fsf / gnat / ada / sem_ch8.ads < prev    next >
Text File  |  1996-09-28  |  7KB  |  133 lines
  1. ------------------------------------------------------------------------------
  2. --                                                                          --
  3. --                         GNAT COMPILER COMPONENTS                         --
  4. --                                                                          --
  5. --                              S E M _ C H 8                               --
  6. --                                                                          --
  7. --                                 S p e c                                  --
  8. --                                                                          --
  9. --                            $Revision: 1.20 $                             --
  10. --                                                                          --
  11. --           Copyright (c) 1992,1993,1994 NYU, All Rights Reserved          --
  12. --                                                                          --
  13. -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  14. -- terms of the  GNU General Public License as published  by the Free Soft- --
  15. -- ware  Foundation;  either version 2,  or (at your option) any later ver- --
  16. -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  17. -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  18. -- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
  19. -- for  more details.  You should have  received  a copy of the GNU General --
  20. -- Public License  distributed with GNAT;  see file COPYING.  If not, write --
  21. -- to the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. --
  22. --                                                                          --
  23. ------------------------------------------------------------------------------
  24.  
  25. with Types; use Types;
  26. package Sem_Ch8  is
  27.  
  28.    procedure Analyze_Exception_Renaming                 (N : Node_Id);
  29.    procedure Analyze_Generic_Function_Renaming          (N : Node_Id);
  30.    procedure Analyze_Generic_Package_Renaming           (N : Node_Id);
  31.    procedure Analyze_Generic_Procedure_Renaming         (N : Node_Id);
  32.    procedure Analyze_Object_Renaming                    (N : Node_Id);
  33.    procedure Analyze_Package_Renaming                   (N : Node_Id);
  34.    procedure Analyze_Subprogram_Renaming                (N : Node_Id);
  35.    procedure Analyze_Use_Package                        (N : Node_Id);
  36.    procedure Analyze_Use_Type                           (N : Node_Id);
  37.  
  38.    procedure End_Scope;
  39.    --  Called at end of scope. On exit On exit from blocks and bodies
  40.    --  (subprogram, package, task, and protected bodies), the name of the
  41.    --  current scope must be removed from the scope stack, and the local
  42.    --  entities must be removed from their homonym chains. On exit from
  43.    --  record declarations, from package specifications, and from tasks
  44.    --  and protected type specifications, more specialized procedures
  45.    --  are invoked.
  46.  
  47.    procedure End_Use_Package (N : Node_Id);
  48.    procedure End_Use_Type    (N : Node_Id);
  49.    --  Subsidiaries of End_Use_Clause, which is internal to this package.
  50.    --  Also called directly for use clauses in context clauses.
  51.  
  52.    procedure Find_Direct_Name (N : Node_Id);
  53.    --  Given a direct name (Identifier or Operator_Symbol), this routine
  54.    --  scans the homonym chain for the name searching for corresponding
  55.    --  visible entities to find the referenced entity (or in the case of
  56.    --  overloading), entities. On return, the Entity, and Etype fields
  57.    --  are set. In the non-overloaded case, these are the correct final
  58.    --  entries. In the overloaded case, Is_Overloaded is set, Etype and
  59.    --  Entity refer to an arbitrary element of the overloads set, and
  60.    --  an appropriate list of entries has been made in the overload
  61.    --  interpretation table (to be disambiguated in the resolve phase).
  62.  
  63.    procedure Find_Expanded_Name (N : Node_Id);
  64.    --  Selected component is known to be expanded name. Verify legality
  65.    --  of selector given the scope denoted by prefix.
  66.  
  67.    procedure Find_Selected_Component (N : Node_Id);
  68.    --  Resolve various cases of selected components, recognize expanded names
  69.  
  70.    procedure Find_Type (N : Node_Id);
  71.    --  Perform name resolution, and verify that the name found is that of a
  72.    --  type. On return the Entity and Etype fields of the node N are set
  73.    --  appropriately. If it is an incomplete type whose full declaration has
  74.    --  been seen, return the entity in the full declaration. Similarly, if
  75.    --  the type is private, it has receivd a full declaration, and we are
  76.    --  in the private part or body of the package, return the full
  77.    --  declaration as well. Special processing for Class types as well.
  78.  
  79.    function Get_Full_View (T_Name : Entity_Id) return Entity_Id;
  80.    --  If T_Name is an incomplete type and the full declaration has been
  81.    --  seen, or is the name of a class_wide type whose root is incomplete.
  82.    --  return the corresponding full declaration.
  83.  
  84.    function Has_Implicit_Operator (N : Node_Id) return Boolean;
  85.    --  N is an expanded name whose selector is an operator name (eg P."+").
  86.    --  A declarative part contains an implicit declaration of an operator
  87.    --  if it has a declaration of a type to which one of the predefined
  88.    --  operators apply. The existence of this routine is an artifact of
  89.    --  our implementation: a more straightforward but more space-consuming
  90.    --  choice would be to make all inherited operators explicit in the
  91.    --  symbol table.
  92.  
  93.    procedure Initialize;
  94.    --  Initializes data structures used for visibility analysis. Must be
  95.    --  called before analyzing each new main source program.
  96.  
  97.    function In_Open_Scopes (S : Entity_Id) return Boolean;
  98.    --  S is the entity of a scope. This function determines if this scope
  99.    --  is currently open (i.e. it appears somewhere in the scope stack).
  100.  
  101.    function Is_Appropriate_For_Record (T : Entity_Id) return Boolean;
  102.    --  Prefix is appropriate for record if it is of a record type, or
  103.    --  an access to such.
  104.  
  105.    function Is_Appropriate_For_Entry_Prefix (T : Entity_Id) return Boolean;
  106.    --  True if it is of a task type, a protected type,  or else
  107.    --  an access to such.
  108.  
  109.    procedure New_Scope (S : Entity_Id);
  110.    --  Make new scope stack entry, pushing S, the entity for a scope
  111.    --  onto the top of the scope table. The current setting of the scope
  112.    --  suppress flags is saved for restoration on exit.
  113.  
  114.    procedure Pop_Scope;
  115.    --  Remove top entry from scope stack, restoring the saved setting
  116.    --  of the scope suppress flags.
  117.  
  118.    procedure Restore_Scope_Stack;
  119.    procedure Save_Scope_Stack;
  120.    --  These two procedures are called from Semantics, when a unit U1 is
  121.    --  to be compiled in the course of the compilation of another unit U2.
  122.    --  This happens whenever Rtsfind is called. U1, the unit retrieved by
  123.    --  Rtsfind, must be compiled in its own context, and the current scope
  124.    --  stack containing U2 and local scopes must be made unreachable. On
  125.    --  return, the contents of the scope stack must be made accessible again.
  126.  
  127.    procedure Set_Use (L : List_Id);
  128.    --  Find use clauses that are declarative items in a package declaration
  129.    --  and  set the potentially use-visible flags of imported entities before
  130.    --  analyzing the corresponding package body.
  131.  
  132. end Sem_Ch8;
  133.