blob: 24a516255ee078dc2d75bd514f865c55fc7f35d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
with
Ada.Strings.Unbounded;
package Ratnest is
type Test_Result is (Fail, Pass);
type Test_Function is access function return Test_Result;
type Test is record
Name : Ada.Strings.Unbounded.Unbounded_String;
Func : Test_Function;
end record;
type Test_Array is array (Positive range <>) of Test;
procedure Run_Tests
(To_Run : in Test_Array);
function "+"
(S : in String)
return Ada.Strings.Unbounded.Unbounded_String
renames Ada.Strings.Unbounded.To_Unbounded_String;
function "-"
(US : in Ada.Strings.Unbounded.Unbounded_String)
return String
renames Ada.Strings.Unbounded.To_String;
private
end Ratnest;
|