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.ads | |
| 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.ads')
| -rw-r--r-- | gcc/ada/spark_xrefs.ads | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/gcc/ada/spark_xrefs.ads b/gcc/ada/spark_xrefs.ads index 7fb2939..962b7af 100644 --- a/gcc/ada/spark_xrefs.ads +++ b/gcc/ada/spark_xrefs.ads @@ -69,19 +69,6 @@ package SPARK_Xrefs is Entity_Name : String_Ptr; -- Pointer to entity name in ALI file - Entity_Line : Nat; - -- Line number for the entity referenced - - Etype : Character; - -- Indicates type of entity, using code used in ALI file: - -- > = IN parameter - -- < = OUT parameter - -- = = IN OUT parameter - -- * = all other cases - - Entity_Col : Nat; - -- Column number for the entity referenced - 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 @@ -92,18 +79,12 @@ package SPARK_Xrefs is -- present explicitly, this is just a copy of the reference for the -- current cross-reference section. - Line : Nat; - -- Line number for the reference - Rtype : Character; -- Indicates type of the reference, using code used in ALI file: -- r = reference -- c = reference to constant object -- m = modification -- s = call - - Col : Nat; - -- Column number for the reference end record; package SPARK_Xref_Table is new Table.Table ( @@ -145,20 +126,6 @@ package SPARK_Xrefs is -- Set to the scope number for the scope corresponding to the spec of -- the current scope entity, if different, or else 0. - Line : Nat; - -- Line number for the scope - - Stype : Character; - -- Indicates type of scope, using code used in ALI file: - -- K = package - -- T = task - -- U = procedure - -- V = function - -- Y = entry - - Col : Nat; - -- Column number for the scope - From_Xref : Xref_Index; -- Starting index in Xref table for this scope |