52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
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
(Stream : in out Memory_Stream;
Item : out Ada.Streams.Stream_Element_Array;
Last : out Ada.Streams.Stream_Element_Offset);
|
>
>
>
>
>
>
>
|
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
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.
procedure Test_Atom_Accessors
(Test : in out NT.Test;
Tested : in Descriptor'Class;
Expected : in Atom;
Expected_Level : in Integer := -1);
-- Test all the ways of accessing atom in Tested
type Memory_Stream is new Ada.Streams.Root_Stream_Type with private;
overriding procedure Read
(Stream : in out Memory_Stream;
Item : out Ada.Streams.Stream_Element_Array;
Last : out Ada.Streams.Stream_Element_Offset);
|