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 / frontend.adb < prev    next >
Text File  |  1996-09-28  |  4KB  |  124 lines
  1. ------------------------------------------------------------------------------
  2. --                                                                          --
  3. --                         GNAT COMPILER COMPONENTS                         --
  4. --                                                                          --
  5. --                             F R O N T E N D                              --
  6. --                                                                          --
  7. --                                 B o d y                                  --
  8. --                                                                          --
  9. --                            $Revision: 1.28 $                             --
  10. --                                                                          --
  11. --        Copyright (c) 1992,1993,1994,1995 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 Atree;
  26. with Elists;
  27. with Errout;
  28. with Inline;   use Inline;
  29. with Lib;      use Lib;
  30. with Lib.Load;
  31. with Namet;    use Namet;
  32. with Nlists;
  33. with Opt;      use Opt;
  34. with Output;   use Output;
  35. with Par;
  36. with Rtsfind;
  37. with Sprint;
  38. with Scn;      use Scn;
  39. with Sem;      use Sem;
  40. with Sem_Ch8;  use Sem_Ch8;
  41. with Sinput;   use Sinput;
  42. with CStand;
  43. with Treepr;
  44. with Types;    use Types;
  45. with Usage;
  46.  
  47. procedure Frontend is
  48. begin
  49.    --  Carry out package initializations. These are initializations which
  50.    --  might logically be performed at elaboration time, were it not for
  51.    --  the fact that we may be doing things more than once in the big loop
  52.    --  over files. Like elaboration, the order in which these calls are
  53.    --  made is in some cases important. For example, Lib cannot be
  54.    --  initialized until Namet, since it uses names table entries.
  55.  
  56.    Rtsfind.Initialize;
  57.    Atree.Initialize;
  58.    Nlists.Initialize;
  59.    Elists.Initialize;
  60.    Lib.Load.Initialize;
  61.    Sem_Ch8.Initialize;
  62.  
  63.    --  Create package Standard
  64.  
  65.    CStand.Create_Standard;
  66.  
  67.    --  Initialize the scanner. Note that we do this after the call to
  68.    --  Create_Standard, which uses the scanner in its processing of
  69.    --  floating-point bounds.
  70.  
  71.    Initialize_Scanner (Main_Unit);
  72.  
  73.    --  Output header if in verbose mode or full list mode
  74.  
  75.    if Verbose_Mode or Full_List then
  76.       Write_Eol;
  77.  
  78.       if Operating_Mode = Generate_Code then
  79.          Write_Str ("Compiling: ");
  80.       else
  81.          Write_Str ("Checking: ");
  82.       end if;
  83.  
  84.       Write_Name (Full_File_Name (Current_Source_File));
  85.       Write_Str ("  last modified at ");
  86.       Write_Time_Stamp (Current_Source_File);
  87.       Write_Str (" GMT.");
  88.       Write_Eol;
  89.    end if;
  90.  
  91.    --  Here we call the parser to parse the compilation unit (or units in
  92.    --  the check syntax mode, but in that case we won't go on to the
  93.    --  semantics in any case).
  94.  
  95.    Par;
  96.  
  97.    --  The main unit is now loaded, and subunits of it can be loaded,
  98.    --  without reporting spurious loading circularities.
  99.  
  100.    Set_Loading (Main_Unit, False);
  101.  
  102.    --  Now on to the semantics. We skip the semantics if we are in syntax
  103.    --  only mode, or if we encountered a fatal error during the parsing.
  104.  
  105.    if Operating_Mode /= Check_Syntax
  106.      and then not Fatal_Error (Main_Unit)
  107.    then
  108.       Semantics (Cunit (Main_Unit));
  109.       Instantiate_Bodies;
  110.  
  111.       if Inline_Active then
  112.          Analyze_Inlined_Bodies;
  113.       end if;
  114.  
  115.       if List_Units then
  116.          Lib.List;
  117.       end if;
  118.    end if;
  119.  
  120.    Treepr.Tree_Dump;
  121.    Sprint.Source_Dump;
  122.  
  123. end Frontend;
  124.