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.
| 45 | procedure Equal |
|---|---|
| 46 | (Actual : Float_Type; |
| 47 | Expected : Float_Type; |
| 48 | Name : String; |
| 49 | Source : String := GNAT.Source_Info.File; |
| 50 | 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
| 75 | procedure Greater |
|---|---|
| 76 | (Actual : Float_Type; |
| 77 | Expected : Float_Type; |
| 78 | Name : String; |
| 79 | Source : String := GNAT.Source_Info.File; |
| 80 | 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
| 90 | procedure Greater_Equal |
|---|---|
| 91 | (Actual : Float_Type; |
| 92 | Expected : Float_Type; |
| 93 | Name : String; |
| 94 | Source : String := GNAT.Source_Info.File; |
| 95 | 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
| 136 | procedure In_Range |
|---|---|
| 137 | (Actual : Float_Type; |
| 138 | First : Float_Type; |
| 139 | Last : Float_Type; |
| 140 | Name : String; |
| 141 | Source : String := GNAT.Source_Info.File; |
| 142 | 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
| 105 | procedure Less |
|---|---|
| 106 | (Actual : Float_Type; |
| 107 | Expected : Float_Type; |
| 108 | Name : String; |
| 109 | Source : String := GNAT.Source_Info.File; |
| 110 | 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
| 120 | procedure Less_Equal |
|---|---|
| 121 | (Actual : Float_Type; |
| 122 | Expected : Float_Type; |
| 123 | Name : String; |
| 124 | Source : String := GNAT.Source_Info.File; |
| 125 | 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
| 60 | procedure Not_Equal |
|---|---|
| 61 | (Actual : Float_Type; |
| 62 | Expected : Float_Type; |
| 63 | Name : String; |
| 64 | Source : String := GNAT.Source_Info.File; |
| 65 | 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