|
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: 1515 (0x5eb)
Types: TextFile
Names: »B«
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
└─ ⟦6f12a12be⟧ »DATA«
└─⟦this⟧
with Etat, Nombre, Point;
use Etat, Nombre, Point;
package body Bench_Tests is
Max_Point : constant := 250;
Max_Iter : constant := 250;
------------------------------------------------------------------------------
function Creation_Objets_Test
(E : Etat.Object; N : Nombre.Object) return Boolean is
begin
return Etat.Value (E) = 0 and then Nombre.Value (N) < Max_Point;
end Creation_Objets_Test;
------------------------------------------------------------------------------
function Fin_Creation_Test (E : Etat.Object; N : Nombre.Object)
return Boolean is
begin
return Etat.Value (E) = 0 and then Nombre.Value (N) = Max_Point;
end Fin_Creation_Test;
------------------------------------------------------------------------------
function Recherche_Objet_Test
(E : Etat.Object; N : Nombre.Object; P : Point.Object)
return Boolean is
Ok : Boolean;
begin
return Etat.Value (E) > 0 and then Etat.Value (E) <= Max_Iter and then
Point.X (P) = Nombre.Value (N);
end Recherche_Objet_Test;
------------------------------------------------------------------------------
function Iteration_Test
(E : Etat.Object; N : Nombre.Object) return Boolean is
begin
return Etat.Value (E) > 0 and then
Etat.Value (E) <= Max_Iter and then Nombre.Value (N) = 0;
end Iteration_Test;
end Bench_Tests;