From b4f636a7eb900df1edf24dbe9e5954b90a51ff36 Mon Sep 17 00:00:00 2001 From: charlet Date: Wed, 24 Apr 2013 14:14:27 +0000 Subject: 2013-04-24 Yannick Moy * 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 --- gcc/ada/lib-xref.ads | 40 +++++++++++++++++++++------------------- 1 file changed, 21 insertions(+), 19 deletions(-) (limited to 'gcc/ada/lib-xref.ads') 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 -- -- cgit v1.2.1