ada-libraries
/
gnatbdd
mirror of https://github.com/briot/gnatbdd
1
0
Fork 0
Code Issues Releases Wiki Activity

Minor renamings

This commit is contained in:
Emmanuel Briot 2016-01-27 09:43:15 +01:00
parent b1f55e8e5a
commit 2b6d74f802
3 changed files with 18 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/bdd/bdd-asserts.ads
View File

@ -49,12 +49,12 @@ package BDD.Asserts is
package Integers is new BAG.Asserts_Simple (Integer, Integer'Image);
procedure Assert
procedure Assert_Equal
(Val1, Val2 : Integer;
Msg : String := "";
Location : String := GNAT.Source_Info.Source_Location;
Entity : String := GNAT.Source_Info.Enclosing_Entity)
renames Integers.Assert;
renames Integers.Assert_Equal;
procedure Assert_Not_Equal
(Val1, Val2 : Integer;
Msg : String := "";
@ -92,12 +92,12 @@ package BDD.Asserts is
package Floats is new BAG.Asserts_Simple (Float, Float'Image);
procedure Assert
procedure Assert_Equal
(Val1, Val2 : Float;
Msg : String := "";
Location : String := GNAT.Source_Info.Source_Location;
Entity : String := GNAT.Source_Info.Enclosing_Entity)
renames Floats.Assert;
renames Floats.Assert_Equal;
procedure Assert_Not_Equal
(Val1, Val2 : Float;
Msg : String := "";
@ -136,12 +136,12 @@ package BDD.Asserts is
function Identity (Str : String) return String is (Str);
package Strings is new BAG.Asserts_Simple (String, Identity);
procedure Assert
procedure Assert_Equal
(Val1, Val2 : String;
Msg : String := "";
Location : String := GNAT.Source_Info.Source_Location;
Entity : String := GNAT.Source_Info.Enclosing_Entity)
renames Strings.Assert;
renames Strings.Assert_Equal;
procedure Assert_Not_Equal
(Val1, Val2 : String;
Msg : String := "";

20
src/bdd/bdd-asserts_generic.adb
View File

@ -166,11 +166,11 @@ package body BDD.Asserts_Generic is
package body Asserts is
------------
-- Assert --
------------
------------------
-- Assert_Equal --
------------------
procedure Assert
procedure Assert_Equal
(Val1, Val2 : T;
Msg : String := "";
Location : String := GNAT.Source_Info.Source_Location;
@ -185,7 +185,7 @@ package body BDD.Asserts_Generic is
Location => Location,
Entity => Entity);
end if;
end Assert;
end Assert_Equal;
end Asserts;
--------------------
@ -194,11 +194,11 @@ package body BDD.Asserts_Generic is
package body Asserts_Simple is
------------
-- Assert --
------------
------------------
-- Assert_Equal --
------------------
procedure Assert
procedure Assert_Equal
(Val1, Val2 : T;
Msg : String := "";
Location : String := GNAT.Source_Info.Source_Location;
@ -212,7 +212,7 @@ package body BDD.Asserts_Generic is
Location => Location,
Entity => Entity);
end if;
end Assert;
end Assert_Equal;
----------------------
-- Assert_Not_Equal --

4
src/bdd/bdd-asserts_generic.ads
View File

@ -135,7 +135,7 @@ package BDD.Asserts_Generic is
Not_Operator_Image : String;
package Asserts is
procedure Assert
procedure Assert_Equal
(Val1, Val2 : T;
Msg : String := "";
Location : String := GNAT.Source_Info.Source_Location;
@ -156,7 +156,7 @@ package BDD.Asserts_Generic is
with function "<" (V1, V2 : T) return Boolean is <>;
with function "<=" (V1, V2 : T) return Boolean is <>;
package Asserts_Simple is
procedure Assert
procedure Assert_Equal
(Val1, Val2 : T;
Msg : String := "";
Location : String := GNAT.Source_Info.Source_Location;