diff options
Diffstat (limited to 'gcc/ada/alfa.ads')
| -rw-r--r-- | gcc/ada/alfa.ads | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/gcc/ada/alfa.ads b/gcc/ada/alfa.ads index cf0e43d..8601a32 100644 --- a/gcc/ada/alfa.ads +++ b/gcc/ada/alfa.ads @@ -89,7 +89,7 @@ package ALFA is -- reading of the ALFA information, and means that the ALFA information -- can stand on its own without needing other parts of the ALI file. - -- FS . scope line type col entity + -- FS . scope line type col entity (-> spec-file . spec-scope)? -- scope is the ones-origin scope number for the current file (e.g. 2 = -- reference to the second FS line in this FD block). @@ -113,6 +113,9 @@ package ALFA is -- entity is the name of the scope entity, with casing in the canonical -- casing for the source file where it is defined. + -- spec-file and spec-scope are respectively the file and scope for the + -- spec corresponding to the current body scope, when they differ. + -- ------------------ -- -- Xref Section -- -- ------------------ @@ -234,6 +237,14 @@ package ALFA is Scope_Num : Nat; -- Set to the scope number for the scope + Spec_File_Num : Nat; + -- Set to the file dependency number for the scope corresponding to the + -- spec of the current scope entity, if different, or else 0. + + Spec_Scope_Num : Nat; + -- 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 |