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.ads | |
| 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.ads')
| -rw-r--r-- | gcc/ada/spark_xrefs.ads | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/gcc/ada/spark_xrefs.ads b/gcc/ada/spark_xrefs.ads index c5604fd..79a21b9 100644 --- a/gcc/ada/spark_xrefs.ads +++ b/gcc/ada/spark_xrefs.ads @@ -67,17 +67,10 @@ package SPARK_Xrefs is type SPARK_Xref_Record is record Entity : Entity_Id; - -- Pointer to entity name in ALI file + -- Referenced entity - File_Num : Nat; - -- File dependency number for the cross-reference. Note that if no file - -- entry is present explicitly, this is just a copy of the reference for - -- the current cross-reference section. - - Scope_Num : Nat; - -- Scope number for the cross-reference. Note that if no scope entry is - -- present explicitly, this is just a copy of the reference for the - -- current cross-reference section. + Ref_Scope : Entity_Id; + -- Scope where the reference occurs Rtype : Character; -- Indicates type of the reference, using code used in ALI file: |