diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2017-11-08 15:48:46 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 15:48:46 +0000 |
| commit | 013e9958f80bbba91f14dba7f1fa83ac9809ad7d (patch) | |
| tree | b7d6351d17b56b3ae43f992d8e2a090ff681c10f /gcc/ada/spark_xrefs.adb | |
| parent | 388f3a645405a384eab6a20bad15a3264025c019 (diff) | |
| download | gcc-013e9958f80bbba91f14dba7f1fa83ac9809ad7d.zip gcc-013e9958f80bbba91f14dba7f1fa83ac9809ad7d.tar.gz gcc-013e9958f80bbba91f14dba7f1fa83ac9809ad7d.tar.bz2 | |
spark_xrefs.ads (SPARK_Xref_Record): Remove inessential components.
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
* spark_xrefs.ads (SPARK_Xref_Record): Remove inessential components.
(SPARK_Scope_Record): Remove inessential components.
* spark_xrefs.adb (dspark): Remove pretty-printing of removed record
components.
* lib-xref-spark_specific.adb (Add_SPARK_Scope): Remove setting of
removed record components.
(Add_SPARK_Xrefs): Remove setting of removed record components.
From-SVN: r254538
Diffstat (limited to 'gcc/ada/spark_xrefs.adb')
| -rw-r--r-- | gcc/ada/spark_xrefs.adb | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/gcc/ada/spark_xrefs.adb b/gcc/ada/spark_xrefs.adb index ca4e69d..ebec6c4 100644 --- a/gcc/ada/spark_xrefs.adb +++ b/gcc/ada/spark_xrefs.adb @@ -86,12 +86,6 @@ package body SPARK_Xrefs is end if; Write_Char ('"'); - Write_Str (" Line = "); - Write_Int (Int (ASR.Line)); - Write_Str (" Col = "); - Write_Int (Int (ASR.Col)); - Write_Str (" Type = "); - Write_Char (ASR.Stype); Write_Str (" From = "); Write_Int (Int (ASR.From_Xref)); Write_Str (" To = "); @@ -122,18 +116,10 @@ package body SPARK_Xrefs is end if; Write_Char ('"'); - Write_Str (" Entity_Line = "); - Write_Int (Int (AXR.Entity_Line)); - Write_Str (" Entity_Col = "); - Write_Int (Int (AXR.Entity_Col)); Write_Str (" File_Num = "); Write_Int (Int (AXR.File_Num)); Write_Str (" Scope_Num = "); Write_Int (Int (AXR.Scope_Num)); - Write_Str (" Line = "); - Write_Int (Int (AXR.Line)); - Write_Str (" Col = "); - Write_Int (Int (AXR.Col)); Write_Str (" Type = "); Write_Char (AXR.Rtype); Write_Eol; |