assertions for access types.
More...| Equal | |
| Is_Null | |
| Not_Equal | |
| Not_Null |
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.
| 43 | procedure Equal |
|---|---|
| 44 | (Actual : Element_Access; |
| 45 | Expected : Element_Access; |
| 46 | Name : String; |
| 47 | Source : String := GNAT.Source_Info.File; |
| 48 | Line : Natural := GNAT.Source_Info.Line); |
Assert that a access is equal a given value
Actual value
Expected value
Name of variable or function restlt.
Source code
Line number
| 72 | procedure Is_Null |
|---|---|
| 73 | (Actual : Element_Access; |
| 74 | Name : String; |
| 75 | Source : String := GNAT.Source_Info.File; |
| 76 | Line : Natural := GNAT.Source_Info.Line); |
Assert that access is null
Actual value
Name of variable or function restlt.
Source code
Line number
| 58 | procedure Not_Equal |
|---|---|
| 59 | (Actual : Element_Access; |
| 60 | Expected : Element_Access; |
| 61 | Name : String; |
| 62 | Source : String := GNAT.Source_Info.File; |
| 63 | Line : Natural := GNAT.Source_Info.Line); |
Assert that a access is not equal a given value
Actual value
Expected value
Name of variable or function result.
Source code
Line number
| 85 | procedure Not_Null |
|---|---|
| 86 | (Actual : Element_Access; |
| 87 | Name : String; |
| 88 | Source : String := GNAT.Source_Info.File; |
| 89 | Line : Natural := GNAT.Source_Info.Line); |
Assert that access is not null
Actual value
Name of variable or function restlt.
Source code
Line number