diff options
| author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 16:31:39 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 16:31:39 +0000 |
| commit | 2cf8eabd48500b8d2480301020bd2aa82cf6556d (patch) | |
| tree | c2dbb61ab4220dd6fa0227fb21a70be00dfc9bed /gcc/ada/spark_xrefs.adb | |
| parent | 45a6947d0f40ca6bfebd430969087e0595c47cb8 (diff) | |
| download | gcc-2cf8eabd48500b8d2480301020bd2aa82cf6556d.zip gcc-2cf8eabd48500b8d2480301020bd2aa82cf6556d.tar.gz gcc-2cf8eabd48500b8d2480301020bd2aa82cf6556d.tar.bz2 | |
[multiple changes]
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
* spark_xrefs.ads (SPARK_Xref_Record): Replace file and scope indices
with Entity_Id of the reference.
* spark_xrefs.adb (dspark): Adapt pretty-printing routine.
* lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Store Entity_Id of the
reference, not the file and scope indices.
2017-11-08 Arnaud Charlet <charlet@adacore.com>
* errout.ads (Current_Node): New.
* errout.adb (Error_Msg): Use Current_Node.
* par-ch6.adb, par-ch7.adb, par-ch9.adb, par-util.adb: Set Current_Node
when relevant.
* style.adb: Call Error_Msg_N when possible.
From-SVN: r254543
Diffstat (limited to 'gcc/ada/spark_xrefs.adb')
| -rw-r--r-- | gcc/ada/spark_xrefs.adb | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/gcc/ada/spark_xrefs.adb b/gcc/ada/spark_xrefs.adb index 6c7dc0c..48b8b58 100644 --- a/gcc/ada/spark_xrefs.adb +++ b/gcc/ada/spark_xrefs.adb @@ -104,10 +104,9 @@ package body SPARK_Xrefs is Write_Str (Unique_Name (AXR.Entity)); Write_Char ('"'); - Write_Str (" File_Num = "); - Write_Int (Int (AXR.File_Num)); - Write_Str (" Scope_Num = "); - Write_Int (Int (AXR.Scope_Num)); + Write_Str (" Reference_Scope = "); + Write_Str (Unique_Name (AXR.Ref_Scope)); + Write_Char ('"'); Write_Str (" Type = "); Write_Char (AXR.Rtype); Write_Eol; |