DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download
Index: ┃ B T

⟦5ed87bbc0⟧ TextFile

    Length: 1596 (0x63c)
    Types: TextFile
    Names: »B«

Derivation

└─⟦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⟧ 

TextFile

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;