AdaCL.Assert.Vectors

Assertions for vectors

Entities

Record types

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.

Vector_Type^[source]

38	subtype Vector_Type is Vectors_Package.Vector;

Equal^[source]

48	procedure Equal
49	(Actual : Vector_Type;
50	Expected : Vector_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.Vectors.Vector_Type: Actual value
Expected of type AdaCL.Assert.Vectors.Vector_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 : Vector_Type;
65	Expected : Ada.Containers.Count_Type;
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.Vectors.Vector_Type: Actual value
Expected of type Count_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