blob: a5d5fc595142c8a4eb5b14cb4f51b446dd09a33e (
plain)
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
|
with
Ada.Text_IO,
Packrat,
Ratnest.Tests;
use
Ada.Text_IO,
Ratnest,
Ratnest.Tests;
procedure Test_Main is
type My_Labels is (A, B, C);
package My_Tokens is new Packrat.Tokens (My_Labels, Character, String);
Err : Packrat.Errors.Error_Message := Packrat.Errors.Encode ("A", 1);
Tok : My_Tokens.Token := My_Tokens.Create (A, 1, "abc");
begin
Put_Line ("Running tests for Packrat.Errors...");
Run_Tests (Errors.Tests);
New_Line;
Put_Line ("Displaying Error_Message debug string output example:");
Put (Packrat.Errors.Debug_String (Err));
New_Line;
Put_Line ("Running tests for Packrat.Tokens...");
Run_Tests (Tokens.Tests);
New_Line;
Put_Line ("Displaying Token debug string output example:");
Put (My_Tokens.Debug_String (Tok));
New_Line;
Put_Line ("Running tests for Packrat.Lexer combinators...");
Run_Tests (Lexer.Combinator_Tests);
New_Line;
Put_Line ("Running tests for Packrat.Lexer lexing...");
Run_Tests (Lexer.Lexer_Tests);
New_Line;
Put_Line ("Running tests for Packrat.Graphs...");
Run_Tests (Graphs.Graph_Tests);
New_Line;
Put_Line ("Running tests for Packrat.Util...");
Put_Line ("Testing set predicates...");
Run_Tests (Util.Set_Predicate_Tests);
Put_Line ("Testing ordinary predicates...");
Run_Tests (Util.Predicate_Tests);
end Test_Main;
|