libadalang_tools_22.0.0_c9028428/testsuite/tests/laltools/T318-086_Suppress_Separate_0/test-bar.adb

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
-- Test package has the with and the use
with Ada.Text_IO; use Ada.Text_IO;
-- Test package has the with but not the use
with Ada.Numerics.Elementary_Functions; use Ada.Numerics.Elementary_Functions;
-- Test package does not have the with
with Ada.Assertions;
-- Test package does not have the with not the use
with Ada.Characters.Conversions; use Ada.Characters.Conversions;

separate (Test) procedure Bar is
   B : Boolean;
begin
   Put_Line ("Separate_Do_Nothing");
   Put_Line (Ada.Numerics.Elementary_Functions.Log (10.0)'Image);
   Ada.Assertions.Assert (1 = 1);
   Ada.Assertions.Assert (Is_Character (Wide_Character'('a')));
   B := Baz (2);
end Bar;