32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
package Natools.S_Expressions.Test_Tools is
pragma Preelaborate (Test_Tools);
package NT renames Natools.Tests;
procedure Dump_Atom
(Report : in out NT.Reporter'Class;
Data : in Atom;
Label : in String := "");
-- Dump contents on Data as info in Report
procedure Test_Atom
(Report : in out NT.Reporter'Class;
Test_Name : in String;
Expected : in Atom;
Found : in Atom);
-- Report success when Found is equal to Expected, and failure
-- with diagnostics otherwise.
type Memory_Stream is new Ada.Streams.Root_Stream_Type with private;
overriding procedure Read
|
>
>
>
>
>
>
>
>
|
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
|
package Natools.S_Expressions.Test_Tools is
pragma Preelaborate (Test_Tools);
package NT renames Natools.Tests;
procedure Dump_Atom
(Report : in out NT.Reporter'Class;
Data : in Atom;
Label : in String := "");
procedure Dump_Atom
(Test : in out NT.Test;
Data : in Atom;
Label : in String := "");
-- Dump contents on Data as info in Report
procedure Test_Atom
(Report : in out NT.Reporter'Class;
Test_Name : in String;
Expected : in Atom;
Found : in Atom);
procedure Test_Atom
(Test : in out NT.Test;
Expected : in Atom;
Found : in Atom);
-- Report success when Found is equal to Expected, and failure
-- with diagnostics otherwise.
type Memory_Stream is new Ada.Streams.Root_Stream_Type with private;
overriding procedure Read
|