Differences From Artifact [92a8d34147]:
- File tests/natools-s_expressions-test_tools.ads — part of check-in [962add2a19] at 2014-02-17 19:43:39 on branch trunk — s_expressions-test_tools: new helper procedure to test all atom accessors at once (user: nat, size: 4872) [annotate] [blame] [check-ins using]
To Artifact [e24a8f627e]:
- File tests/natools-s_expressions-test_tools.ads — part of check-in [04e35d38a1] at 2014-02-18 20:34:44 on branch trunk — s_expressions-test_tools: new helper procedure to test exception throwing from all atom accessors (user: nat, size: 5042) [annotate] [blame] [check-ins using]
| ︙ | |||
59 60 61 62 63 64 65 66 67 68 69 70 71 72 | 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 | + + + + + |
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
procedure Test_Atom_Accessor_Exceptions
(Test : in out NT.Test;
Tested : in Descriptor'Class);
-- Check that all atom accessors raise Program_Error
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);
|
| ︙ |