Commit 784ef0fb by Piotr Trojanek Committed by Pierre-Marie de Rodat

lib-xref.ads, [...] (Traverse_Declarations): Remove Inside_Stubs parameter.

2017-11-08  Piotr Trojanek  <trojanek@adacore.com>

	* lib-xref.ads, lib-xref-spark_specific.adb (Traverse_Declarations):
	Remove Inside_Stubs parameter.

From-SVN: r254540
parent 3e5400f4
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
* lib-xref.ads, lib-xref-spark_specific.adb (Traverse_Declarations):
Remove Inside_Stubs parameter.
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
* spark_xrefs.ads (SPARK_Xref_Record): Referenced object is now
represented by Entity_Id.
(SPARK_Scope_Record): Referenced scope (e.g. subprogram) is now
......
......@@ -230,14 +230,14 @@ package body SPARK_Specific is
return;
end if;
Traverse_Scopes (CU => Cunit (Uspec), Inside_Stubs => True);
Traverse_Scopes (CU => Cunit (Uspec));
-- When two units are present for the same compilation unit, as it
-- happens for library-level instantiations of generics, then add all
-- scopes to the same SPARK file.
if Ubody /= No_Unit then
Traverse_Scopes (CU => Cunit (Ubody), Inside_Stubs => True);
Traverse_Scopes (CU => Cunit (Ubody));
end if;
-- Make entry for new file in file table
......@@ -1156,10 +1156,7 @@ package body SPARK_Specific is
-- Traverse_Compilation_Unit --
-------------------------------
procedure Traverse_Compilation_Unit
(CU : Node_Id;
Inside_Stubs : Boolean)
is
procedure Traverse_Compilation_Unit (CU : Node_Id) is
procedure Traverse_Block (N : Node_Id);
procedure Traverse_Declaration_Or_Statement (N : Node_Id);
procedure Traverse_Declarations_And_HSS (N : Node_Id);
......@@ -1195,7 +1192,7 @@ package body SPARK_Specific is
N_Subprogram_Body_Stub,
N_Task_Body_Stub));
return Inside_Stubs and then Present (Library_Unit (N));
return Present (Library_Unit (N));
end Traverse_Stub;
-- Start of processing for Traverse_Declaration_Or_Statement
......
......@@ -647,12 +647,9 @@ package Lib.Xref is
generic
with procedure Process (N : Node_Id) is <>;
procedure Traverse_Compilation_Unit
(CU : Node_Id;
Inside_Stubs : Boolean);
-- Call Process on all declarations within compilation unit CU. If
-- Inside_Stubs is True, then the body of stubs is also traversed.
-- Generic declarations are ignored.
procedure Traverse_Compilation_Unit (CU : Node_Id);
-- Call Process on all declarations within compilation unit CU. Bodies
-- of stubs are also traversed, but generic declarations are ignored.
end SPARK_Specific;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment