1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 2003-2014, Free Software Foundation, Inc. --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING3. If not, go to --
19 -- http://www.gnu.org/licenses for a complete copy of the license. --
21 -- GNAT was originally developed by the GNAT team at New York University. --
22 -- Extensive contributions were provided by Ada Core Technologies Inc. --
24 ------------------------------------------------------------------------------
26 -- This package allows the creation of symbol files to be used for linking
27 -- libraries. The format of symbol files depends on the platform, so there is
28 -- several implementations of the body.
30 with GNAT.Dynamic_Tables;
32 with System.OS_Lib; use System.OS_Lib;
40 -- Create a symbol file without considering any reference
43 -- Either create a symbol file with the same major and minor IDs if
44 -- all symbols are already found in the reference file or with an
45 -- incremented minor ID, if not.
48 -- Fail if symbols are not the same as those in the reference file
51 -- Restrict the symbols to those in the symbol file. Fail if some
52 -- symbols in the symbol file are not exported from the object files.
55 -- The reference symbol file is copied to the symbol file
57 type Symbol_Kind is (Data, Proc);
58 -- To distinguish between the different kinds of symbols
60 type Symbol_Data is record
62 Kind : Symbol_Kind := Data;
63 Present : Boolean := True;
65 -- Data (name and kind) for each of the symbols
67 package Symbol_Table is new GNAT.Dynamic_Tables
68 (Table_Component_Type => Symbol_Data,
69 Table_Index_Type => Natural,
72 Table_Increment => 100);
75 Original_Symbols : Symbol_Table.Instance;
76 -- The symbols, if any, found in the reference symbol table
78 Complete_Symbols : Symbol_Table.Instance;
79 -- The symbols, if any, found in the objects files
82 (Symbol_File : String;
84 Symbol_Policy : Policy;
87 Success : out Boolean);
88 -- Initialize a symbol file. This procedure must be called before
89 -- Processing any object file. Depending on the platforms and the
90 -- circumstances, additional messages may be issued if Quiet is False.
94 -- This package, containing a single visible procedure Process, exists
95 -- so that it can be a subunits, for some platforms, the body of package
96 -- Symbols is common, while the subunit Processing is not.
99 (Object_File : String;
100 Success : out Boolean);
101 -- Get the symbols from an object file. Success is set to True if the
102 -- object file exists and has the expected format.
108 Success : out Boolean);
109 -- Finalize the symbol file. This procedure should be called after
110 -- Initialize (once) and Process (one or more times). If Success is
111 -- True, the symbol file is written and closed, ready to be used for
112 -- linking the library. Depending on the platforms and the circumstances,
113 -- additional messages may be issued if Quiet is False.