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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
:mod:`Ahven` -- Package
=======================
.. module:: Ahven
.. moduleauthor:: Tero Koskinen <tero.koskinen@iki.fi>
----------
Exceptions
----------
.. _assertion-error: ahven-assertion_error
**Assertion_Error**
Exception, raised when Assert fails.
------------------------
Procedures and Functions
------------------------
.. _ahven-assert:
Assert
''''''
::
procedure Assert (Condition : Boolean; Message : String);
If Condition is false, Assert raises Assertion_Error
with given Message.
.. _ahven-assert_equal:
Assert_Equal
''''''''''''
.. versionadded:: 1.4
::
generic
type Data_Type is private;
with function Image (Item : Data_Type) return String is <>;
procedure Assert_Equal (Actual : Data_Type; Expected : Data_Type; Message : String);
If Expected /= Actual, Assert raises Assertion_Error
with given Message.
Example::
declare
procedure Assert_Eq_Nat is
new Ahven.Assert_Equal (Data_Type => Natural,
Image => Natural'Image);
begin
Assert_Eq_Nat (Actual => Test_Count,
Expected => 4,
"test count");
end;
.. _ahven-fail:
Fail
''''
::
procedure Fail (Message : String);
Fail always raises Assertion_Error with given Message.
.. _ahven-skip:
Skip
''''
.. versionadded:: 2.0
::
procedure Skip (Message : String);
Skip always raises Test_Skipped_Error with given Message.
|
