Assertions for discreete values
More...| Equal | |
| Greater | |
| Greater_Equal | |
| In_Range | |
| Less | |
| Less_Equal | |
| Not_Equal |
Additional Asserts which produce more detailed diagnostic messages Diagnostics will be reported via the Report_Assertion function. The Report function is passed as a generic ot avoid dependence to AUnit.
| 44 | procedure Equal |
|---|---|
| 45 | (Actual : Discrete_Type; |
| 46 | Expected : Discrete_Type; |
| 47 | Name : String; |
| 48 | Source : String := GNAT.Source_Info.File; |
| 49 | Line : Natural := GNAT.Source_Info.Line); |
Assert that a discrete value is equal a given value
Actual value
Expected value
Name of variable or function restlt.
Source code
Line number
| 74 | procedure Greater |
|---|---|
| 75 | (Actual : Discrete_Type; |
| 76 | Expected : Discrete_Type; |
| 77 | Name : String; |
| 78 | Source : String := GNAT.Source_Info.File; |
| 79 | Line : Natural := GNAT.Source_Info.Line); |
Assert that a discrete value is greater a given value
Actual value
Expected value
Name of variable or function restlt.
Source code
Line number
| 89 | procedure Greater_Equal |
|---|---|
| 90 | (Actual : Discrete_Type; |
| 91 | Expected : Discrete_Type; |
| 92 | Name : String; |
| 93 | Source : String := GNAT.Source_Info.File; |
| 94 | Line : Natural := GNAT.Source_Info.Line); |
Assert that a discrete value is greater or equal a given value
Actual value
Expected value
Name of variable or function restlt.
Source code
Line number
| 135 | procedure In_Range |
|---|---|
| 136 | (Actual : Discrete_Type; |
| 137 | First : Discrete_Type; |
| 138 | Last : Discrete_Type; |
| 139 | Name : String; |
| 140 | Source : String := GNAT.Source_Info.File; |
| 141 | Line : Natural := GNAT.Source_Info.Line); |
Assert that an discrete value is inside range
Actual value
Expected minimum value
Expected maximum value
Name of variable or function restlt.
Source code
Line number
| 104 | procedure Less |
|---|---|
| 105 | (Actual : Discrete_Type; |
| 106 | Expected : Discrete_Type; |
| 107 | Name : String; |
| 108 | Source : String := GNAT.Source_Info.File; |
| 109 | Line : Natural := GNAT.Source_Info.Line); |
Assert that a discrete value is less a given value
Actual value
Expected value
Name of variable or function restlt.
Source code
Line number
| 119 | procedure Less_Equal |
|---|---|
| 120 | (Actual : Discrete_Type; |
| 121 | Expected : Discrete_Type; |
| 122 | Name : String; |
| 123 | Source : String := GNAT.Source_Info.File; |
| 124 | Line : Natural := GNAT.Source_Info.Line); |
Assert that a discrete value is less or equal a given value
Actual value
Expected value
Name of variable or function restlt.
Source code
Line number
| 59 | procedure Not_Equal |
|---|---|
| 60 | (Actual : Discrete_Type; |
| 61 | Expected : Discrete_Type; |
| 62 | Name : String; |
| 63 | Source : String := GNAT.Source_Info.File; |
| 64 | Line : Natural := GNAT.Source_Info.Line); |
Assert that a discrete value is not equal a given value
Actual value
Expected value
Name of variable or function restlt.
Source code
Line number