AdaCL.Assert.Arrays

Assertions for discreete values

Entities

Subprograms

Equal
Length

Description

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.

Equal^[source]

48	procedure Equal
49	(Actual : Array_Type;
50	Expected : Array_Type;
51	Name : String;
52	Source : String := GNAT.Source_Info.File;
53	Line : Natural := GNAT.Source_Info.Line);

Assert that a array is equal a given value

Actual of type AdaCL.Assert.Arrays.Array_Type: Actual value
Expected of type AdaCL.Assert.Arrays.Array_Type: Expected value
Name of type String: Name of variable or function restlt.
Source of type String: Source code
Line of type Natural: Line number

Length^[source]

63	procedure Length
64	(Actual : Array_Type;
65	Expected : Natural;
66	Name : String;
67	Source : String := GNAT.Source_Info.File;
68	Line : Natural := GNAT.Source_Info.Line);

Assert that a array is of given length

Actual of type AdaCL.Assert.Arrays.Array_Type: Actual value
Expected of type Natural: Expected value
Name of type String: Name of variable or function restlt.
Source of type String: Source code
Line of type Natural: Line number