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 - download

⟦6469708ce⟧ Ada Source

    Length: 12288 (0x3000)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Etat_D, seg_011ee4

Derivation

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

E3 Source Code



with Class_Behavior;
with Collection;
with Instance;

package body Etat_D is

    type Etat_Structure is
        record
            Value : Natural;
        end record;


    package Behavior is new Class_Behavior (Element        => Etat_Structure,
                                            With_Name      => Class_Name,
                                            With_Dates     => Is_Dated,
                                            With_Date_Mode => Date_Mode);

------------------------------------------------------------------------------
    function Value (O : Object) return Natural is
    begin
        return Behavior.Get (O).Value;
    end Value;

------------------------------------------------------------------------------

    function Instances return Collection.Object is
    begin
        return Behavior.Instances;  
    end Instances;

------------------------------------------------------------------------------
    function Exist (With_Value : Natural) return Boolean is
        function Is_Value (O : Object) return Boolean is
        begin
            return Behavior.Get (O).Value = With_Value;
        end Is_Value;  
        function Exist_Value is new Collection.Exist (Is_Value);
    begin
        return Exist_Value (Instances);
    end Exist;


------------------------------------------------------------------------------
    function Add (With_Value : Natural) return Object is
        Un_Etat : Etat_Structure;
    begin
        Un_Etat.Value := With_Value;
        return Behavior.Allocate (The_Element => Un_Etat);
    end Add;


------------------------------------------------------------------------------
    procedure Change (O : Object; With_Value : Natural) is
        Un_Etat : Etat_Structure;
    begin
        Un_Etat       := Behavior.Get (The_Reference => O);
        Un_Etat.Value := With_Value;
        Behavior.Set (The_Reference => O, With_Value => Un_Etat);
    end Change;


------------------------------------------------------------------------------
    procedure Delete (O : Object) is
    begin
        Behavior.Dispose (The_Reference => O);
    end Delete;

------------------------------------------------------------------------------
    procedure Clean is
    begin
        Behavior.Clear;
    end Clean;

end Etat_D;  

E3 Meta Data

    nblk1=b
    nid=3
    hdr6=8
        [0x00] rec0=21 rec1=00 rec2=01 rec3=016
        [0x01] rec0=00 rec1=00 rec2=07 rec3=004
        [0x02] rec0=1a rec1=00 rec2=09 rec3=082
        [0x03] rec0=11 rec1=00 rec2=06 rec3=000
        [0x04] rec0=1b rec1=00 rec2=07 rec3=058
        [0x05] rec0=15 rec1=00 rec2=06 rec3=000
        [0x06] rec0=18 rec1=00 rec2=03 rec3=008
        [0x07] rec0=16 rec1=00 rec2=05 rec3=050
        [0x08] rec0=1c rec1=00 rec2=09 rec3=016
        [0x09] rec0=0d rec1=00 rec2=04 rec3=000
        [0x0a] rec0=16 rec1=90 rec2=00 rec3=000
    tail 0x2170df30e82466ec8a223 0x42a00088462063c03
Free Block Chain:
  0x3: 0000  00 05 00 46 00 43 20 20 20 20 20 20 20 20 20 20  ┆   F C          ┆
  0x5: 0000  00 0a 00 47 80 2a 20 49 73 5f 42 65 74 77 65 65  ┆   G * Is_Betwee┆
  0xa: 0000  00 08 03 fc 80 07 2d 2d 2d 2d 2d 2d 2d 07 00 3a  ┆      -------  :┆
  0x8: 0000  00 0b 00 14 80 0e 6c 6c 5f 50 72 65 64 69 63 61  ┆      ll_Predica┆
  0xb: 0000  00 04 00 0d 80 0a 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ┆      ----------┆
  0x4: 0000  00 02 01 74 80 43 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ┆   t C----------┆
  0x2: 0000  00 00 03 fc 80 14 2e 50 6c 61 63 65 20 3d 20 49  ┆      .Place = I┆