Subversion Repositories openrisc

------------------------------------------------------------------------------

--                                                                          --

--                         GNAT COMPILER COMPONENTS                         --

--                                                                          --

--                              S Y M B O L S                               --

--                                                                          --

--                                 S p e c                                  --

--                                                                          --

--          Copyright (C) 2003-2007, 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 3,  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 COPYING3.  If not, go to --

-- http://www.gnu.org/licenses for a complete copy of the license.          --

--                                                                          --

-- GNAT was originally developed  by the GNAT team at  New York University. --

-- Extensive contributions were provided by Ada Core Technologies Inc.      --

--                                                                          --

------------------------------------------------------------------------------

--  This package allows the creation of symbol files to be used for linking

--  libraries. The format of symbol files depends on the platform, so there is

--  several implementations of the body.

with GNAT.Dynamic_Tables;

with System.OS_Lib; use System.OS_Lib;

package Symbols is

   type Policy is

   --  Symbol policy

     (Autonomous,

      --  Create a symbol file without considering any reference

      Compliant,

      --  Either create a symbol file with the same major and minor IDs if

      --  all symbols are already found in the reference file or with an

      --  incremented minor ID, if not.

      Controlled,

      --  Fail if symbols are not the same as those in the reference file

      Restricted,

      --  Restrict the symbols to those in the symbol file. Fail if some

      --  symbols in the symbol file are not exported from the object files.

      Direct);

      --  The reference symbol file is copied to the symbol file

   type Symbol_Kind is (Data, Proc);

   --  To distinguish between the different kinds of symbols

   type Symbol_Data is record

      Name    : String_Access;

      Kind    : Symbol_Kind := Data;

      Present : Boolean := True;

   end record;

   --  Data (name and kind) for each of the symbols

   package Symbol_Table is new GNAT.Dynamic_Tables

     (Table_Component_Type => Symbol_Data,

      Table_Index_Type     => Natural,

      Table_Low_Bound      => 0,

      Table_Initial        => 100,

      Table_Increment      => 100);

   --  The symbol tables

   Original_Symbols : Symbol_Table.Instance;

   --  The symbols, if any, found in the reference symbol table

   Complete_Symbols : Symbol_Table.Instance;

   --  The symbols, if any, found in the objects files

   procedure Initialize

     (Symbol_File   : String;

      Reference     : String;

      Symbol_Policy : Policy;

      Quiet         : Boolean;

      Version       : String;

      Success       : out Boolean);

   --  Initialize a symbol file. This procedure must be called before

   --  Processing any object file. Depending on the platforms and the

   --  circumstances, additional messages may be issued if Quiet is False.

   package Processing is

   --  This package, containing a single visible procedure Process, exists so

   --  that it can be a subunits, for some platforms (such as VMS Alpha and

   --  IA64), the body of package Symbols is common, while the subunit

   --  Processing is not.

      procedure Process

        (Object_File : String;

         Success     : out Boolean);

      --  Get the symbols from an object file. Success is set to True if the

      --  object file exists and has the expected format.

   end Processing;

   procedure Finalize

     (Quiet   : Boolean;

      Success : out Boolean);

   --  Finalize the symbol file. This procedure should be called after

   --  Initialize (once) and Process (one or more times). If Success is

   --  True, the symbol file is written and closed, ready to be used for

   --  linking the library. Depending on the platforms and the circumstances,

   --  additional messages may be issued if Quiet is False.

end Symbols;