AdaCL.Assert

Enhanced assertions

More...

Entities

Subprograms

Equal
Equal
Equal
Equal
Equal
Equal
Equal
Is_False
Is_True
Length
Length
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]

55	procedure Equal
56	(Actual : Ada.Strings.Unbounded.Unbounded_String;
57	Expected : String;
58	Name : String;
59	Source : String := GNAT.Source_Info.File;
60	Line : Natural := GNAT.Source_Info.Line);

Assert that a unbounded string is equal a given value

Actual of type Unbounded_String

Actual value

Expected of type String

Expected value

Name of type String

Name of variable or function restlt.

Source of type String

Source code

Line of type Natural

Line number

Equal ^[source]

70	procedure Equal
71	(Actual : Ada.Strings.Unbounded.Unbounded_String;
72	Expected : Ada.Strings.Unbounded.Unbounded_String;
73	Name : String;
74	Source : String := GNAT.Source_Info.File;
75	Line : Natural := GNAT.Source_Info.Line);

Assert that a unbounded string is equal a given value

Actual of type Unbounded_String

Actual value

Expected of type Unbounded_String

Expected value

Name of type String

Name of variable or function restlt.

Source of type String

Source code

Line of type Natural

Line number

Equal ^[source]

102	procedure Equal
103	(Actual : Ada.Strings.Wide_Unbounded.Unbounded_Wide_String;
104	Expected : Wide_String;
105	Name : String;
106	Source : String := GNAT.Source_Info.File;
107	Line : Natural := GNAT.Source_Info.Line);

Assert that a unbounded string is equal a given value

Actual of type Unbounded_Wide_String

Actual value

Expected of type Wide_String

Expected value

Name of type String

Name of variable or function restlt.

Source of type String

Source code

Line of type Natural

Line number

Equal ^[source]

117	procedure Equal
118	(Actual : Ada.Strings.Wide_Unbounded.Unbounded_Wide_String;
119	Expected : Ada.Strings.Wide_Unbounded.Unbounded_Wide_String;
120	Name : String;
121	Source : String := GNAT.Source_Info.File;
122	Line : Natural := GNAT.Source_Info.Line);

Assert that a unbounded string is equal a given value

Actual of type Unbounded_Wide_String

Actual value

Expected of type Unbounded_Wide_String

Expected value

Name of type String

Name of variable or function restlt.

Source of type String

Source code

Line of type Natural

Line number

Equal ^[source]

149	procedure Equal
150	(Actual : Ada.Strings.Wide_Wide_Unbounded.Unbounded_Wide_Wide_String;
151	Expected : Wide_Wide_String;
152	Name : String;
153	Source : String := GNAT.Source_Info.File;
154	Line : Natural := GNAT.Source_Info.Line);

Assert that a unbounded string is equal a given value

Actual of type Unbounded_Wide_Wide_String

Actual value

Expected of type Wide_Wide_String

Expected value

Name of type String

Name of variable or function restlt.

Source of type String

Source code

Line of type Natural

Line number

Equal ^[source]

164	procedure Equal
165	(Actual : Ada.Strings.Wide_Wide_Unbounded.Unbounded_Wide_Wide_String;
166	Expected : Ada.Strings.Wide_Wide_Unbounded.Unbounded_Wide_Wide_String;
167	Name : String;
168	Source : String := GNAT.Source_Info.File;
169	Line : Natural := GNAT.Source_Info.Line);

Assert that a unbounded string is equal a given value

Actual of type Unbounded_Wide_Wide_String

Actual value

Expected of type Unbounded_Wide_Wide_String

Expected value

Name of type String

Name of variable or function restlt.

Source of type String

Source code

Line of type Natural

Line number

Equal ^[source]

224	procedure Equal
225	(Actual : Ada.Calendar.Time;
226	Expected : Ada.Calendar.Time;
227	Name : String;
228	Source : String := GNAT.Source_Info.File;
229	Line : Natural := GNAT.Source_Info.Line);

Assert that a Time value is equal a given value

Actual of type Time

Actual value

Expected of type Time

Expected value

Name of type String

Name of variable or function restlt.

Source of type String

Source code

Line of type Natural

Line number

Is_False ^[source]

208	procedure Is_False
209	(Actual : Boolean;
210	Name : String;
211	Source : String := GNAT.Source_Info.File;
212	Line : Natural := GNAT.Source_Info.Line);

Assert that Boolean is false

Actual of type Boolean

Actual value

Name of type String

Name of variable or function restlt.

Source of type String

Source code

Line of type Natural

Line number

Is_True ^[source]

195	procedure Is_True
196	(Actual : Boolean;
197	Name : String;
198	Source : String := GNAT.Source_Info.File;
199	Line : Natural := GNAT.Source_Info.Line);

Assert that Boolean is true

Actual of type Boolean

Actual 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]

85	procedure Length
86	(Actual : Ada.Strings.Unbounded.Unbounded_String;
87	Expected : Natural;
88	Name : String;
89	Source : String := GNAT.Source_Info.File;
90	Line : Natural := GNAT.Source_Info.Line);

Assert that a string is of given length

Actual of type Unbounded_String

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

Length ^[source]

132	procedure Length
133	(Actual : Ada.Strings.Wide_Unbounded.Unbounded_Wide_String;
134	Expected : Natural;
135	Name : String;
136	Source : String := GNAT.Source_Info.File;
137	Line : Natural := GNAT.Source_Info.Line);

Assert that a string is of given length

Actual of type Unbounded_Wide_String

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

Length ^[source]

179	procedure Length
180	(Actual : Ada.Strings.Wide_Wide_Unbounded.Unbounded_Wide_Wide_String;
181	Expected : Natural;
182	Name : String;
183	Source : String := GNAT.Source_Info.File;
184	Line : Natural := GNAT.Source_Info.Line);

Assert that a string is of given length

Actual of type Unbounded_Wide_Wide_String

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