mirror of
https://github.com/autc04/Retro68.git
synced 2024-06-27 04:29:39 +00:00
82 lines
3.0 KiB
Ada
82 lines
3.0 KiB
Ada
------------------------------------------------------------------------------
|
|
-- --
|
|
-- GNAT COMPILER COMPONENTS --
|
|
-- --
|
|
-- S P A R K _ X R E F S --
|
|
-- --
|
|
-- B o d y --
|
|
-- --
|
|
-- Copyright (C) 2011-2019, 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. --
|
|
-- --
|
|
------------------------------------------------------------------------------
|
|
|
|
with Lib.Xref;
|
|
with Output; use Output;
|
|
with Sem_Util; use Sem_Util;
|
|
|
|
package body SPARK_Xrefs is
|
|
|
|
------------
|
|
-- dspark --
|
|
------------
|
|
|
|
procedure dspark is
|
|
|
|
procedure Dump (Index : Nat; AXR : SPARK_Xref_Record);
|
|
|
|
procedure Dump_SPARK_Xrefs is new
|
|
Lib.Xref.SPARK_Specific.Iterate_SPARK_Xrefs (Dump);
|
|
|
|
----------
|
|
-- Dump --
|
|
----------
|
|
|
|
procedure Dump (Index : Nat; AXR : SPARK_Xref_Record) is
|
|
begin
|
|
Write_Str (" ");
|
|
Write_Int (Index);
|
|
Write_Char ('.');
|
|
|
|
Write_Str (" Entity = " & Unique_Name (AXR.Entity));
|
|
Write_Str (" (");
|
|
Write_Int (Nat (AXR.Entity));
|
|
Write_Str (")");
|
|
|
|
Write_Str (" Scope = " & Unique_Name (AXR.Ref_Scope));
|
|
Write_Str (" (");
|
|
Write_Int (Nat (AXR.Ref_Scope));
|
|
Write_Str (")");
|
|
|
|
Write_Str (" Ref_Type = '" & AXR.Rtype & "'");
|
|
|
|
Write_Eol;
|
|
end Dump;
|
|
|
|
-- Start of processing for dspark
|
|
|
|
begin
|
|
-- Dump SPARK cross-reference table
|
|
|
|
Write_Eol;
|
|
Write_Line ("SPARK Xref Table");
|
|
Write_Line ("----------------");
|
|
|
|
Dump_SPARK_Xrefs;
|
|
|
|
end dspark;
|
|
|
|
end SPARK_Xrefs;
|