23
24
25
26
27
28
29
30
31
32
33
34
|
with Natools.Tests;
package Natools.S_Expressions.Lockable.Tests is
pragma Preelaborate (Tests);
package NT renames Natools.Tests;
procedure All_Tests (Report : in out NT.Reporter'Class);
procedure Test_Stack (Report : in out NT.Reporter'Class);
end Natools.S_Expressions.Lockable.Tests;
|
>
>
>
>
>
>
>
|
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;
|