DataMuseum.dk

top - download

    Length: 2293 (0x8f5)
    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⟧ 

TextFile

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;