DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

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

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - metrics - download

⟦154b14c91⟧ Ada Source

    Length: 5120 (0x1400)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Bench_Actions, seg_0117c2

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧

E3 Source Code



with Text_Io;
with Tuple;

with Etat, Nombre, Point;

package body Bench_Actions is

    Max_Point : constant := 30;
    Max_Iter  : constant := 100;

------------------------------------------------------------------------------
    procedure Creation_Objets_Action (The_Tuple : Tuple.Object) is
        Un_Etat   : Etat.Object;
        Un_Nombre : Nombre.Object;
        Un_Point  : Point.Object;
    begin  
        Tuple.Split (The_Tuple, Un_Etat, Un_Nombre);
        Nombre.Change (Un_Nombre, With_Value => Nombre.Value (Un_Nombre) + 1);
        Un_Point := Point.Add (With_X => Nombre.Value (Un_Nombre),
                               With_Y => Nombre.Value (Un_Nombre) * 2);
    end Creation_Objets_Action;


------------------------------------------------------------------------------
    procedure Fin_Creation_Action (The_Tuple : Tuple.Object) is
        Un_Etat : Etat.Object;
    begin
        Tuple.Split (The_Tuple, Un_Etat);
        Etat.Change (Un_Etat, With_Value => 1);
    end Fin_Creation_Action;


------------------------------------------------------------------------------
    procedure Recherche_Objet_Action (The_Tuple : Tuple.Object) is
        Un_Etat   : Etat.Object;
        Un_Nombre : Nombre.Object;
        Un_Point  : Point.Object;
    begin
        Tuple.Split (The_Tuple, Un_Etat, Un_Nombre, Un_Point);
        Nombre.Change (Un_Nombre, With_Value => Nombre.Value (Un_Nombre) - 1);
        -- Text_Io.Put_Line ("Rule RECHERCHE_OBJET  : point x = " &
        --                 Natural'Image (Point.X (Un_Point)) & " / y = " &
        --                 Natural'Image (Point.Y (Un_Point)));
    end Recherche_Objet_Action;


------------------------------------------------------------------------------
    procedure Iteration_Action (The_Tuple : Tuple.Object) is
        Un_Etat   : Etat.Object;
        Un_Nombre : Nombre.Object;
    begin
        Tuple.Split (The_Tuple, Un_Etat, Un_Nombre);
        Nombre.Change (Un_Nombre, With_Value => Max_Point);
        Etat.Change (Un_Etat, With_Value => Etat.Value (Un_Etat) + 1);
        -- Text_Io.Put_Line ("Rule ITERATION  : FIN   etat = " &
        --                  Natural'Image (Etat.Value (Un_Etat)));
    end Iteration_Action;

end Bench_Actions;

E3 Meta Data

    nblk1=4
    nid=4
    hdr6=6
        [0x00] rec0=1e rec1=00 rec2=01 rec3=020
        [0x01] rec0=17 rec1=00 rec2=02 rec3=060
        [0x02] rec0=08 rec1=00 rec2=03 rec3=000
        [0x03] rec0=08 rec1=00 rec2=04 rec3=000
    tail 0x2170d7ada82396723c745 0x42a00088462063c03
Free Block Chain:
  0x4: 0000  00 00 01 51 80 07 6f 6d 62 72 65 29 3b 07 00 3b  ┆   Q  ombre);  ;┆