|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - downloadIndex: ┃ B T ┃
Length: 1596 (0x63c)
Types: TextFile
Names: »B«
└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
└─ ⟦124ff5788⟧ »DATA«
└─⟦this⟧
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
└─ ⟦6f12a12be⟧ »DATA«
└─⟦this⟧
with Etat_D, Nombre_D, Point_D;
use Etat_D, Nombre_D, Point_D;
package body Bench_Tests_D is
Max_Point_D : constant := 10;
Max_Iter : constant := 100;
------------------------------------------------------------------------------
function Creation_Objets_Test
(E : Etat_D.Object; N : Nombre_D.Object) return Boolean is
begin
return Etat_D.Value (E) = 0 and then Nombre_D.Value (N) < Max_Point_D;
end Creation_Objets_Test;
------------------------------------------------------------------------------
function Fin_Creation_Test (E : Etat_D.Object; N : Nombre_D.Object)
return Boolean is
begin
return Etat_D.Value (E) = 0 and then Nombre_D.Value (N) = Max_Point_D;
end Fin_Creation_Test;
------------------------------------------------------------------------------
function Recherche_Objet_Test
(E : Etat_D.Object; N : Nombre_D.Object; P : Point_D.Object)
return Boolean is
Ok : Boolean;
begin
return Etat_D.Value (E) > 0 and then
Etat_D.Value (E) <= Max_Iter and then
Point_D.X (P) = Nombre_D.Value (N);
end Recherche_Objet_Test;
------------------------------------------------------------------------------
function Iteration_Test
(E : Etat_D.Object; N : Nombre_D.Object) return Boolean is
begin
return Etat_D.Value (E) > 0 and then
Etat_D.Value (E) <= Max_Iter and then Nombre_D.Value (N) = 0;
end Iteration_Test;
end Bench_Tests_D;