diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2016-06-22 10:31:47 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-06-22 12:31:47 +0200 |
| commit | 7ffbef99665102871af334c1e6d2c8f1e77fd6b7 (patch) | |
| tree | 49362ba0c5da270c0b28861ed83db581ae76eb3e /gcc/ada/spark_xrefs.ads | |
| parent | 71b235999de097baad9739568b21f7d2714a306a (diff) | |
| download | gcc-7ffbef99665102871af334c1e6d2c8f1e77fd6b7.zip gcc-7ffbef99665102871af334c1e6d2c8f1e77fd6b7.tar.gz gcc-7ffbef99665102871af334c1e6d2c8f1e77fd6b7.tar.bz2 | |
spark_xrefs.ads (Scope_Num): type refined to positive integers.
2016-06-22 Arnaud Charlet <charlet@adacore.com>
* spark_xrefs.ads (Scope_Num): type refined to positive integers.
* lib-xref-spark_specific.adb (Detect_And_Add_SPARK_Scope):
moved into scope of Collect_SPARK_Xrefs.
(Add_SPARK_Scope): moved into scope of Collect_SPARK_Xrefs;
now uses Dspec and Scope_Id from Collect_SPARK_Xrefs.
(Collect_SPARK_Xrefs): refactored to avoid retraversing the list
of scopes.
(Traverse_Compilation_Unit): refactored as a generic procedure.
* types.ads (Unit_Number_Type): range refined.
From-SVN: r237690
Diffstat (limited to 'gcc/ada/spark_xrefs.ads')
| -rw-r--r-- | gcc/ada/spark_xrefs.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/spark_xrefs.ads b/gcc/ada/spark_xrefs.ads index fa958cf..704b1ea 100644 --- a/gcc/ada/spark_xrefs.ads +++ b/gcc/ada/spark_xrefs.ads @@ -285,7 +285,7 @@ package SPARK_Xrefs is File_Num : Nat; -- Set to the file dependency number for the scope - Scope_Num : Nat; + Scope_Num : Pos; -- Set to the scope number for the scope Spec_File_Num : Nat; |