1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146 | -- Abstract :
--
-- Run all WisiToken AUnit tests; see Makefile for other tests.
--
-- Copyright (C) 2009, 2010, 2012 - 2015, 2017 - 2022 Stephen Leake. All Rights Reserved.
--
-- This library is free software; you can redistribute it and/or
-- modify it under terms of the GNU General Public License as
-- published by the Free Software Foundation; either version 3, or (at
-- your option) any later version. This library is distributed in the
-- hope that it will be useful, but WITHOUT ANY WARRANTY; without even
-- the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
-- PURPOSE. See the GNU General Public License for more details. You
-- should have received a copy of the GNU General Public License
-- distributed with this program; see file COPYING. If not, write to
-- the Free Software Foundation, 59 Temple Place - Suite 330, Boston,
-- MA 02111-1307, USA.
pragma License (GPL);
with AUnit.Options;
with AUnit.Reporter.Text;
with AUnit.Test_Cases; use AUnit.Test_Cases;
with AUnit.Test_Filters.Verbose;
with AUnit.Test_Results;
with AUnit.Test_Suites; use AUnit.Test_Suites;
with Ada.Command_Line;
with Ada.Environment_Variables;
with Ada.Exceptions;
with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
with Ada.Text_IO;
with Association_Grammar_Test;
with Dragon_4_43_LR1_Test;
with Dragon_4_43_Packrat_Gen;
with Dragon_4_45_LALR_Test;
with GNAT.Traceback.Symbolic;
with Grune_9_30;
with Name_Grammar_Test;
with Test_Accept_State;
with Test_BNF_Suite;
with Test_Follow;
with Test_Incremental;
with Test_LR_Expecting_Terminal_Sequence;
with Test_McKenzie_Recover;
with Test_Partial_Parse;
with Test_Skip_To;
with Test_Syntax_Trees;
with Trivial_Productions_Test;
with Warth_Left_Recurse_Expr_1;
with WisiToken.BNF;
procedure Test_All_Harness
is
Usage : constant String :=
-- command line arguments (all optional, order matters):
"test_name routine_name trace_config";
-- 1 2 3
-- trace_config is passed to Wisitoken.Enable_Trace
--
-- test_name, routine_name can be '' to set trace for all routines.
Filter : aliased AUnit.Test_Filters.Verbose.Filter;
Options : constant AUnit.Options.AUnit_Options :=
(Global_Timer => False,
Test_Case_Timer => False,
Report_Successes => True,
Filter => Filter'Unchecked_Access);
Suite : constant Access_Test_Suite := Test_BNF_Suite;
Reporter : AUnit.Reporter.Text.Text_Reporter;
Result : AUnit.Test_Results.Result;
Status : AUnit.Status;
begin
begin
if Ada.Environment_Variables.Value ("Standard_Common_Build") = "Debug" then
WisiToken.Debug_Mode := True;
end if;
exception
when others => null;
end;
declare
use Ada.Command_Line;
begin
Filter.Verbose := Argument_Count > 0 and then Argument (1) = "1";
case Argument_Count is
when 0 =>
null;
when 1 =>
Filter.Test_Name := To_Unbounded_String (Argument (1)); -- test name only
when 2 | 3 =>
Filter.Test_Name := To_Unbounded_String (Argument (1));
Filter.Routine_Name := To_Unbounded_String (Argument (2));
if Argument_Count = 3 then
WisiToken.Enable_Trace (Argument (3));
end if;
when others =>
raise Constraint_Error with Usage;
end case;
end;
Filter.Verbose := WisiToken.Trace_Tests > 0;
-- Test cases; test package alphabetical order, unless otherwise noted.
Add_Test (Suite, Test_Case_Access'(new Association_Grammar_Test.Test_Case));
Add_Test (Suite, Test_Case_Access'(new Dragon_4_43_LR1_Test.Test_Case));
Add_Test (Suite, Test_Case_Access'(new Dragon_4_45_LALR_Test.Test_Case));
Add_Test (Suite, Test_Case_Access'(new Dragon_4_43_Packrat_Gen.Test_Case));
Add_Test (Suite, Test_Case_Access'(new Grune_9_30.Test_Case));
Add_Test (Suite, Test_Case_Access'(new Name_Grammar_Test.Test_Case));
Add_Test (Suite, Test_Case_Access'(new Test_Accept_State.Test_Case));
Add_Test (Suite, Test_Case_Access'(new Test_Follow.Test_Case (Debug => False)));
Add_Test (Suite, Test_Case_Access'(new Test_Incremental.Test_Case (null)));
Add_Test (Suite, Test_Case_Access'(new Test_LR_Expecting_Terminal_Sequence.Test_Case));
Add_Test (Suite, Test_Case_Access'(new Test_McKenzie_Recover.Test_Case (WisiToken.BNF.LALR, null)));
Add_Test (Suite, Test_Case_Access'(new Test_McKenzie_Recover.Test_Case (WisiToken.BNF.LR1, null)));
Add_Test (Suite, Test_Case_Access'(new Test_Partial_Parse.Test_Case));
Add_Test (Suite, Test_Case_Access'(new Test_Skip_To.Test_Case));
Add_Test (Suite, Test_Case_Access'(new Test_Syntax_Trees.Test_Case));
Add_Test (Suite, Test_Case_Access'(new Trivial_Productions_Test.Test_Case));
Add_Test (Suite, Test_Case_Access'(new Warth_Left_Recurse_Expr_1.Test_Case));
-- end test cases
Run (Suite, Options, Result, Status);
AUnit.Reporter.Text.Report (Reporter, Result);
case Status is
when AUnit.Success =>
Ada.Command_Line.Set_Exit_Status (Ada.Command_Line.Success);
when AUnit.Failure =>
Ada.Command_Line.Set_Exit_Status (Ada.Command_Line.Failure);
end case;
exception
when E : others =>
Ada.Command_Line.Set_Exit_Status (Ada.Command_Line.Failure);
Ada.Text_IO.Put_Line (Ada.Exceptions.Exception_Name (E) & ": " & Ada.Exceptions.Exception_Message (E));
Ada.Text_IO.Put_Line (GNAT.Traceback.Symbolic.Symbolic_Traceback (E));
end Test_All_Harness;
|