Assertions for Decimal point 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.
| 42 | procedure Equal |
|---|---|
| 43 | (Actual : Decimal_Type; |
| 44 | Expected : Decimal_Type; |
| 45 | Name : String; |
| 46 | Source : String := GNAT.Source_Info.File; |
| 47 | Line : Natural := GNAT.Source_Info.Line); |
Assert that a Float value is equal a given value
Actual value
Expected value
Name of variable or function restlt.
Source code
Line number
| 72 | procedure Greater |
|---|---|
| 73 | (Actual : Decimal_Type; |
| 74 | Expected : Decimal_Type; |
| 75 | Name : String; |
| 76 | Source : String := GNAT.Source_Info.File; |
| 77 | Line : Natural := GNAT.Source_Info.Line); |
Assert that a Float value is greater a given value
Actual value
Expected value
Name of variable or function restlt.
Source code
Line number
| 87 | procedure Greater_Equal |
|---|---|
| 88 | (Actual : Decimal_Type; |
| 89 | Expected : Decimal_Type; |
| 90 | Name : String; |
| 91 | Source : String := GNAT.Source_Info.File; |
| 92 | Line : Natural := GNAT.Source_Info.Line); |
Assert that a Float value is greater or equal a given value
Actual value
Expected value
Name of variable or function restlt.
Source code
Line number
| 133 | procedure In_Range |
|---|---|
| 134 | (Actual : Decimal_Type; |
| 135 | First : Decimal_Type; |
| 136 | Last : Decimal_Type; |
| 137 | Name : String; |
| 138 | Source : String := GNAT.Source_Info.File; |
| 139 | Line : Natural := GNAT.Source_Info.Line); |
Assert that an Float value is inside range
Actual value
Expected minimum value
Expected maximum value
Name of variable or function restlt.
Source code
Line number
| 102 | procedure Less |
|---|---|
| 103 | (Actual : Decimal_Type; |
| 104 | Expected : Decimal_Type; |
| 105 | Name : String; |
| 106 | Source : String := GNAT.Source_Info.File; |
| 107 | Line : Natural := GNAT.Source_Info.Line); |
Assert that a Float value is less a given value
Actual value
Expected value
Name of variable or function restlt.
Source code
Line number
| 117 | procedure Less_Equal |
|---|---|
| 118 | (Actual : Decimal_Type; |
| 119 | Expected : Decimal_Type; |
| 120 | Name : String; |
| 121 | Source : String := GNAT.Source_Info.File; |
| 122 | Line : Natural := GNAT.Source_Info.Line); |
Assert that a Float value is less or equal a given value
Actual value
Expected value
Name of variable or function restlt.
Source code
Line number
| 57 | procedure Not_Equal |
|---|---|
| 58 | (Actual : Decimal_Type; |
| 59 | Expected : Decimal_Type; |
| 60 | Name : String; |
| 61 | Source : String := GNAT.Source_Info.File; |
| 62 | Line : Natural := GNAT.Source_Info.Line); |
Assert that a Float value is not equal a given value
Actual value
Expected value
Name of variable or function restlt.
Source code
Line number