Skip to content

Commit 9cb5ede

Browse files
elierichaeliericha
committed
Track test files in the gnattest integration testsuite
1 parent 7d97764 commit 9cb5ede

13 files changed

+371
-7
lines changed

‎integration/vscode/ada/test/workspaces/gnattest/obj/gnattest/tests/speed1-controller_test_data-controller_tests.adb

Lines changed: 126 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,126 @@
1+
-- This package has been generated automatically by GNATtest.
2+
-- You are allowed to add your code to the bodies of test routines.
3+
-- Such changes will be kept during further regeneration of this file.
4+
-- All code placed outside of test routine bodies will be lost. The
5+
-- code intended to set up and tear down the test environment should be
6+
-- placed into Speed1.Controller_Test_Data.
7+
8+
with AUnit.Assertions; use AUnit.Assertions;
9+
with System.Assertions;
10+
11+
-- begin read only
12+
-- id:2.2/00/
13+
--
14+
-- This section can be used to add with clauses if necessary.
15+
--
16+
-- end read only
17+
18+
-- begin read only
19+
-- end read only
20+
package body Speed1.Controller_Test_Data.Controller_Tests is
21+
22+
-- begin read only
23+
-- id:2.2/01/
24+
--
25+
-- This section can be used to add global variables and other elements.
26+
--
27+
-- end read only
28+
29+
-- begin read only
30+
-- end read only
31+
32+
-- begin read only
33+
procedure Test_Speed (Gnattest_T : in out Test_Controller);
34+
procedure Test_Speed_bdc804 (Gnattest_T : in out Test_Controller) renames Test_Speed;
35+
-- id:2.2/bdc8045e732efa1b/Speed/1/0/
36+
procedure Test_Speed (Gnattest_T : in out Test_Controller) is
37+
-- speed1.ads:12:4:Speed
38+
-- end read only
39+
40+
pragma Unreferenced (Gnattest_T);
41+
42+
begin
43+
44+
null;
45+
-- AUnit.Assertions.Assert
46+
-- (Gnattest_Generated.Default_Assert_Value,
47+
-- "Test not implemented.");
48+
49+
-- begin read only
50+
end Test_Speed;
51+
-- end read only
52+
53+
54+
-- begin read only
55+
procedure Test_Adjust_Speed (Gnattest_T : in out Test_Controller);
56+
procedure Test_Adjust_Speed_6fd48f (Gnattest_T : in out Test_Controller) renames Test_Adjust_Speed;
57+
-- id:2.2/6fd48ff933c1edff/Adjust_Speed/1/0/
58+
procedure Test_Adjust_Speed (Gnattest_T : in out Test_Controller) is
59+
-- speed1.ads:13:4:Adjust_Speed
60+
-- end read only
61+
62+
pragma Unreferenced (Gnattest_T);
63+
64+
begin
65+
66+
null;
67+
-- delay 5.0;
68+
-- AUnit.Assertions.Assert
69+
-- (Adjust_Speed (),
70+
-- "Test not implemented.");
71+
72+
-- begin read only
73+
end Test_Adjust_Speed;
74+
-- end read only
75+
76+
77+
-- begin read only
78+
-- procedure Test_Adjust_Speed (Gnattest_T : in out Test_Controller);
79+
-- procedure Test_Adjust_Speed_cea401 (Gnattest_T : in out Test_Controller) renames Test_Adjust_Speed;
80+
-- id:2.2/cea4013b78a4a615/Adjust_Speed/0/1/
81+
-- procedure Test_Adjust_Speed (Gnattest_T : in out Test_Controller) is
82+
-- end read only
83+
--
84+
-- pragma Unreferenced (Gnattest_T);
85+
--
86+
-- begin
87+
--
88+
-- AUnit.Assertions.Assert
89+
-- (Gnattest_Generated.Default_Assert_Value,
90+
-- "Test not implemented.");
91+
--
92+
-- begin read only
93+
-- end Test_Adjust_Speed;
94+
-- end read only
95+
96+
97+
-- begin read only
98+
-- procedure Test_Adjust_Speed (Gnattest_T : in out Test_Controller);
99+
-- procedure Test_Adjust_Speed_d4219e (Gnattest_T : in out Test_Controller) renames Test_Adjust_Speed;
100+
-- id:2.2/d4219e26c5c99d2c/Adjust_Speed/0/1/
101+
-- procedure Test_Adjust_Speed (Gnattest_T : in out Test_Controller) is
102+
-- end read only
103+
--
104+
-- pragma Unreferenced (Gnattest_T);
105+
--
106+
-- begin
107+
--
108+
-- AUnit.Assertions.Assert
109+
-- (Gnattest_Generated.Default_Assert_Value,
110+
-- "Test not implemented.");
111+
--
112+
-- begin read only
113+
-- end Test_Adjust_Speed;
114+
-- end read only
115+
116+
-- begin read only
117+
-- id:2.2/02/
118+
--
119+
-- This section can be used to add elaboration code for the global state.
120+
--
121+
begin
122+
-- end read only
123+
null;
124+
-- begin read only
125+
-- end read only
126+
end Speed1.Controller_Test_Data.Controller_Tests;

‎integration/vscode/ada/test/workspaces/gnattest/obj/gnattest/tests/speed1-controller_test_data-controller_tests.ads

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
-- This package has been generated automatically by GNATtest.
2+
-- Do not edit any part of it, see GNATtest documentation for more details.
3+
4+
-- begin read only
5+
with GNATtest_Generated;
6+
7+
package Speed1.Controller_Test_Data.Controller_Tests is
8+
9+
type Test_Controller is new
10+
GNATtest_Generated.GNATtest_Standard.Speed1.Controller_Test_Data.Test_Controller with null record;
11+
12+
procedure Test_Speed_bdc804 (Gnattest_T : in out Test_Controller);
13+
-- speed1.ads:12:4:Speed
14+
15+
procedure Test_Adjust_Speed_6fd48f (Gnattest_T : in out Test_Controller);
16+
-- speed1.ads:13:4:Adjust_Speed
17+
18+
end Speed1.Controller_Test_Data.Controller_Tests;
19+
-- end read only

‎integration/vscode/ada/test/workspaces/gnattest/obj/gnattest/tests/speed1-controller_test_data.adb

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
-- This package is intended to set up and tear down the test environment.
2+
-- Once created by GNATtest, this package will never be overwritten
3+
-- automatically. Contents of this package can be modified in any way
4+
-- except for sections surrounded by a 'read only' marker.
5+
6+
package body Speed1.Controller_Test_Data is
7+
8+
Local_Controller : aliased GNATtest_Generated.GNATtest_Standard.Speed1.Controller;
9+
procedure Set_Up (Gnattest_T : in out Test_Controller) is
10+
begin
11+
Gnattest_T.Fixture := Local_Controller'Access;
12+
end Set_Up;
13+
14+
procedure Tear_Down (Gnattest_T : in out Test_Controller) is
15+
begin
16+
null;
17+
end Tear_Down;
18+
19+
end Speed1.Controller_Test_Data;

‎integration/vscode/ada/test/workspaces/gnattest/obj/gnattest/tests/speed1-controller_test_data.ads

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
-- This package is intended to set up and tear down the test environment.
2+
-- Once created by GNATtest, this package will never be overwritten
3+
-- automatically. Contents of this package can be modified in any way
4+
-- except for sections surrounded by a 'read only' marker.
5+
6+
7+
with AUnit.Test_Fixtures;
8+
9+
with GNATtest_Generated;
10+
11+
package Speed1.Controller_Test_Data is
12+
13+
type Controller_Access is access all GNATtest_Generated.GNATtest_Standard.Speed1.Controller'Class;
14+
15+
-- begin read only
16+
type Test_Controller is new AUnit.Test_Fixtures.Test_Fixture
17+
-- end read only
18+
with record
19+
Fixture : Controller_Access;
20+
end record;
21+
22+
procedure Set_Up (Gnattest_T : in out Test_Controller);
23+
procedure Tear_Down (Gnattest_T : in out Test_Controller);
24+
25+
end Speed1.Controller_Test_Data;

‎integration/vscode/ada/test/workspaces/gnattest/obj/gnattest/tests/speed1-test_data-tests.ads

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
package Speed1.Test_Data.Tests is
2+
end Speed1.Test_Data.Tests;

‎integration/vscode/ada/test/workspaces/gnattest/obj/gnattest/tests/speed1-test_data.ads

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
package Speed1.Test_Data is
2+
end Speed1.Test_Data;

‎integration/vscode/ada/test/workspaces/gnattest/obj/gnattest/tests/speed2-auto_controller_test_data-auto_controller_tests.adb

Lines changed: 109 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,109 @@
1+
-- This package has been generated automatically by GNATtest.
2+
-- You are allowed to add your code to the bodies of test routines.
3+
-- Such changes will be kept during further regeneration of this file.
4+
-- All code placed outside of test routine bodies will be lost. The
5+
-- code intended to set up and tear down the test environment should be
6+
-- placed into Speed2.Auto_Controller_Test_Data.
7+
8+
with AUnit.Assertions; use AUnit.Assertions;
9+
with System.Assertions;
10+
11+
-- begin read only
12+
-- id:2.2/00/
13+
--
14+
-- This section can be used to add with clauses if necessary.
15+
--
16+
-- end read only
17+
18+
-- begin read only
19+
-- end read only
20+
package body Speed2.Auto_Controller_Test_Data.Auto_Controller_Tests is
21+
22+
-- begin read only
23+
-- id:2.2/01/
24+
--
25+
-- This section can be used to add global variables and other elements.
26+
--
27+
-- end read only
28+
29+
-- begin read only
30+
-- end read only
31+
32+
-- begin read only
33+
procedure Test_Desired_Speed (Gnattest_T : in out Test_Auto_Controller);
34+
procedure Test_Desired_Speed_3a9813 (Gnattest_T : in out Test_Auto_Controller) renames Test_Desired_Speed;
35+
-- id:2.2/3a98136ae8d1ca89/Desired_Speed/1/0/
36+
procedure Test_Desired_Speed (Gnattest_T : in out Test_Auto_Controller) is
37+
-- speed2.ads:10:4:Desired_Speed
38+
-- end read only
39+
40+
pragma Unreferenced (Gnattest_T);
41+
42+
begin
43+
44+
null;
45+
-- delay 10.0;
46+
AUnit.Assertions.Assert
47+
(Gnattest_Generated.Default_Assert_Value,
48+
"Test not implemented.");
49+
50+
-- begin read only
51+
end Test_Desired_Speed;
52+
-- end read only
53+
54+
55+
-- begin read only
56+
procedure Test_Set_Desired_Speed (Gnattest_T : in out Test_Auto_Controller);
57+
procedure Test_Set_Desired_Speed_42cd33 (Gnattest_T : in out Test_Auto_Controller) renames Test_Set_Desired_Speed;
58+
-- id:2.2/42cd33c8ea29e2bf/Set_Desired_Speed/1/0/
59+
procedure Test_Set_Desired_Speed (Gnattest_T : in out Test_Auto_Controller) is
60+
-- speed2.ads:12:4:Set_Desired_Speed
61+
-- end read only
62+
63+
pragma Unreferenced (Gnattest_T);
64+
65+
begin
66+
67+
null;
68+
-- delay 4.0;
69+
-- AUnit.Assertions.Assert
70+
-- (Gnattest_Generated.Default_Assert_Value,
71+
-- "Test not implemented.");
72+
73+
-- begin read only
74+
end Test_Set_Desired_Speed;
75+
-- end read only
76+
77+
78+
-- begin read only
79+
procedure Test_Adjust_Speed (Gnattest_T : in out Test_Auto_Controller);
80+
procedure Test_Adjust_Speed_6fd48f (Gnattest_T : in out Test_Auto_Controller) renames Test_Adjust_Speed;
81+
-- id:2.2/6fd48ff933c1edff/Adjust_Speed/1/0/
82+
procedure Test_Adjust_Speed (Gnattest_T : in out Test_Auto_Controller) is
83+
-- speed2.ads:16:4:Adjust_Speed
84+
-- end read only
85+
86+
pragma Unreferenced (Gnattest_T);
87+
88+
begin
89+
90+
null;
91+
-- AUnit.Assertions.Assert
92+
-- (Gnattest_Generated.Default_Assert_Value,
93+
-- "Test not implemented.");
94+
95+
-- begin read only
96+
end Test_Adjust_Speed;
97+
-- end read only
98+
99+
-- begin read only
100+
-- id:2.2/02/
101+
--
102+
-- This section can be used to add elaboration code for the global state.
103+
--
104+
begin
105+
-- end read only
106+
null;
107+
-- begin read only
108+
-- end read only
109+
end Speed2.Auto_Controller_Test_Data.Auto_Controller_Tests;

‎integration/vscode/ada/test/workspaces/gnattest/obj/gnattest/tests/speed2-auto_controller_test_data-auto_controller_tests.ads

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
-- This package has been generated automatically by GNATtest.
2+
-- Do not edit any part of it, see GNATtest documentation for more details.
3+
4+
-- begin read only
5+
with GNATtest_Generated;
6+
7+
package Speed2.Auto_Controller_Test_Data.Auto_Controller_Tests is
8+
9+
type Test_Auto_Controller is new
10+
GNATtest_Generated.GNATtest_Standard.Speed2.Auto_Controller_Test_Data.Test_Auto_Controller with null record;
11+
12+
procedure Test_Desired_Speed_3a9813 (Gnattest_T : in out Test_Auto_Controller);
13+
-- speed2.ads:10:4:Desired_Speed
14+
15+
procedure Test_Set_Desired_Speed_42cd33 (Gnattest_T : in out Test_Auto_Controller);
16+
-- speed2.ads:12:4:Set_Desired_Speed
17+
18+
procedure Test_Adjust_Speed_6fd48f (Gnattest_T : in out Test_Auto_Controller);
19+
-- speed2.ads:16:4:Adjust_Speed
20+
21+
end Speed2.Auto_Controller_Test_Data.Auto_Controller_Tests;
22+
-- end read only

‎integration/vscode/ada/test/workspaces/gnattest/obj/gnattest/tests/speed2-auto_controller_test_data.adb

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
-- This package is intended to set up and tear down the test environment.
2+
-- Once created by GNATtest, this package will never be overwritten
3+
-- automatically. Contents of this package can be modified in any way
4+
-- except for sections surrounded by a 'read only' marker.
5+
6+
package body Speed2.Auto_Controller_Test_Data is
7+
8+
Local_Auto_Controller : aliased GNATtest_Generated.GNATtest_Standard.Speed2.Auto_Controller;
9+
procedure Set_Up (Gnattest_T : in out Test_Auto_Controller) is
10+
begin
11+
GNATtest_Generated.GNATtest_Standard.Speed1.Controller_Test_Data.Controller_Tests.Set_Up
12+
(GNATtest_Generated.GNATtest_Standard.Speed1.Controller_Test_Data.Controller_Tests.Test_Controller (Gnattest_T));
13+
Gnattest_T.Fixture := Local_Auto_Controller'Access;
14+
end Set_Up;
15+
16+
procedure Tear_Down (Gnattest_T : in out Test_Auto_Controller) is
17+
begin
18+
GNATtest_Generated.GNATtest_Standard.Speed1.Controller_Test_Data.Controller_Tests.Tear_Down
19+
(GNATtest_Generated.GNATtest_Standard.Speed1.Controller_Test_Data.Controller_Tests.Test_Controller (Gnattest_T));
20+
end Tear_Down;
21+
22+
end Speed2.Auto_Controller_Test_Data;

‎integration/vscode/ada/test/workspaces/gnattest/obj/gnattest/tests/speed2-auto_controller_test_data.ads

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
-- This package is intended to set up and tear down the test environment.
2+
-- Once created by GNATtest, this package will never be overwritten
3+
-- automatically. Contents of this package can be modified in any way
4+
-- except for sections surrounded by a 'read only' marker.
5+
6+
with Speed1.Controller_Test_Data.Controller_Tests;
7+
8+
with GNATtest_Generated;
9+
10+
package Speed2.Auto_Controller_Test_Data is
11+
12+
-- begin read only
13+
type Test_Auto_Controller is new
14+
GNATtest_Generated.GNATtest_Standard.Speed1.Controller_Test_Data.Controller_Tests.Test_Controller
15+
-- end read only
16+
with null record;
17+
18+
procedure Set_Up (Gnattest_T : in out Test_Auto_Controller);
19+
procedure Tear_Down (Gnattest_T : in out Test_Auto_Controller);
20+
21+
end Speed2.Auto_Controller_Test_Data;

0 commit comments

Comments
 (0)