Differences From Artifact [f578c376f2]:
- File tests/natools-s_expressions-lockable-tests.ads — part of check-in [0bbab0a171] at 2014-03-01 11:25:26 on branch trunk — s_expressions-lockable-tests: new package with a test suite for lock level stack (user: nat, size: 1888) [annotate] [blame] [check-ins using]
To Artifact [730be3fd9a]:
- File tests/natools-s_expressions-lockable-tests.ads — part of check-in [5fce88a981] at 2014-03-02 17:03:06 on branch trunk — s_expressions-lockable-tests: add a test suite for Loackable.Descriptor objects and use it to tester Wrapper (user: nat, size: 2179) [annotate] [blame] [check-ins using]
| ︙ | |||
23 24 25 26 27 28 29 30 31 32 33 34 | 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 | + + + + + + + |
with Natools.Tests;
package Natools.S_Expressions.Lockable.Tests is
pragma Preelaborate (Tests);
package NT renames Natools.Tests;
function Test_Expression return Atom;
procedure Test_Interface
(Test : in out NT.Test;
Object : in out Lockable.Descriptor'Class);
procedure All_Tests (Report : in out NT.Reporter'Class);
procedure Test_Stack (Report : in out NT.Reporter'Class);
procedure Test_Wrapper_Extra (Report : in out NT.Reporter'Class);
procedure Test_Wrapper_Interface (Report : in out NT.Reporter'Class);
end Natools.S_Expressions.Lockable.Tests;
|