2013-04-24 Yannick Moy <moy@adacore.com>

	* adabkend.adb, ali-util.adb, ali.adb, debug.adb,
	errout.adb, errout.ads, erroutc.adb, exp_ch3.adb, exp_ch4.adb,
	exp_ch6.adb, exp_ch7.adb, exp_dbug.adb, exp_util.adb,
	expander.adb, freeze.adb, gnat1drv.adb, lib-writ.adb,
	lib-writ.ads, lib-xref.adb, lib-xref.ads, opt.adb, opt.ads,
	restrict.adb, sem_aggr.adb, sem_attr.adb, sem_ch3.adb,
	sem_ch4.adb, sem_ch5.adb, sem_ch6.adb, sem_eval.adb, sem_prag.adb,
	sem_res.adb, sem_util.adb: Everything with name
	'Alfa' renamed in 'SPARK'. Update comments.
	Renaming of units with name 'Alfa', renamed with 'SPARK' instead.
	* exp_alfa.adb: renamed exp_spark.adb.
	* exp_alfa.ads: renamed exp_spark.ads.
	* get_alfa.adb: renamed get_spark_xrefs.adb.
	* get_alfa.ads: renamed get_spark_xrefs.ads.
	* lib-xref-alfa.adb: renamed lib-xref-spark_specific.adb.
	* put_alfa.adb: renamed put_spark_xrefs.adb.
	* put_alfa.ads: renamed put_spark_xrefs.ads.
	* alfa.adb: renamed spark_xrefs.adb.
	* alfa.ads: renamed spark_xrefs.ads.
	* alfa_test.adb: renamed spark_xrefs_test.adb.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198234 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 21 insertions, 19 deletions

diff --git a/gcc/ada/lib-xref.ads b/gcc/ada/lib-xref.ads
index 00d72c12a05..cfb43d8b1dc 100644
--- a/gcc/ada/lib-xref.ads
+++ b/gcc/ada/lib-xref.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1998-2012, Free Software Foundation, Inc.         --
+--          Copyright (C) 1998-2013, 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- --
@@ -26,9 +26,9 @@
 --  This package contains for collecting and outputting cross-reference
 --  information.
 
-with Einfo;    use Einfo;
-with Lib.Util; use Lib.Util;
-with Put_Alfa;
+with Einfo;           use Einfo;
+with Lib.Util;        use Lib.Util;
+with Put_SPARK_Xrefs;
 
 package Lib.Xref is
 
@@ -599,14 +599,14 @@ package Lib.Xref is
    --  Export at line 4, that its body is exported to C, and that the link name
    --  as given in the pragma is "here".
 
-   ----------------------
-   -- Alfa Information --
-   ----------------------
+   -----------------------------
+   -- SPARK Xrefs Information --
+   -----------------------------
 
-   --  This package defines procedures for collecting Alfa information and
-   --  printing in ALI files.
+   --  This package defines procedures for collecting SPARK cross-reference
+   --  information and printing in ALI files.
 
-   package Alfa is
+   package SPARK_Specific is
 
       function Enclosing_Subprogram_Or_Package (N : Node_Id) return Entity_Id;
       --  Return the closest enclosing subprogram of package
@@ -631,17 +631,19 @@ package Lib.Xref is
       --  Call Process on all declarations through all compilation units.
       --  Generic declarations are ignored.
 
-      procedure Collect_Alfa (Sdep_Table : Unit_Ref_Table; Num_Sdep : Nat);
-      --  Collect Alfa information from library units (for files and scopes)
-      --  and from cross-references. Fill in the tables in library package
-      --  called Alfa.
+      procedure Collect_SPARK_Xrefs
+        (Sdep_Table : Unit_Ref_Table;
+         Num_Sdep   : Nat);
+      --  Collect SPARK cross-reference information from library units (for
+      --  files and scopes) and from shared cross-references. Fill in the
+      --  tables in library package called SPARK_Xrefs.
 
-      procedure Output_Alfa is new Put_Alfa;
-      --  Output Alfa information to the ALI files, based on the information
-      --  collected in the tables in library package called Alfa, and using
-      --  routines in Lib.Util.
+      procedure Output_SPARK_Xrefs is new Put_SPARK_Xrefs;
+      --  Output SPARK cross-reference information to the ALI files, based on
+      --  the information collected in the tables in library package called
+      --  SPARK_Xrefs, and using routines in Lib.Util.
 
-   end Alfa;
+   end SPARK_Specific;
 
    -----------------
    -- Subprograms --