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

⟦855b93421⟧ Ada Source

    Length: 7168 (0x1c00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, generic, package Frame_Bak, seg_0115bc

Derivation

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

with Class, Slot, Instance, Collection;
generic  
    Size : in Positive := 250;
    Name : in String;
    type Attributes is (<>);
package Frame_Bak is
    Const_Class : constant Class.Reference := Class.Create (Name);
    subtype Object is Instance.Reference (Kind => Frame.Const_Class);

--    subtype Object is Instance.Reference;

    type Values is array (Attributes) of Slot.Object;
    type Values_List is array (Positive range <>) of Values;

    function Value_Of (The_Object : Object; Attribute : Attributes)
                      return Slot.Object;  
    function Get (The_Object : Object; Attribute : Attributes)
                 return Slot.Object;
    procedure Change (The_Object : Object;
                      Attribute : Attributes;
                      To : Slot.Object);
    procedure Add (With_Values : Values);
    procedure Add (With_Values_List : Values_List);
    procedure Delete (The_Object : Object);
    procedure Clear;
    function Instances return Collection.Object;
    function Cardinality return Natural;
    type Operators is (Greater, Less, Equal, Greater_Equal,
                       Less_Equal, Not_Equal);

    type Condition is
        record
            Attribute : Attributes;
            Operator : Operators;
            Value : Slot.Object;
        end record;
    type Conditions is array (Positive range <>) of Condition;

    function Exist (Attribute : Attributes;
                    Between : Slot.Object;
                    And_Size : Slot.Object) return Boolean;

    function Exist (With_Conditions : Conditions) return Boolean;

    function Exist (Attribute : Attributes;
                    Operator : Operators;
                    Value : Slot.Object) return Boolean;

    function Find (Attribute : Attributes;
                   Operator : Operators;
                   Value : Slot.Object) return Frame.Object;  
    function Exist (Attribute : Attributes;
                    Operator : Operators;
                    Value : Slot.Object;
                    Attribute2 : Attributes;
                    Operator2 : Operators;
                    Value2 : Slot.Object) return Boolean;

    function Exist (Attribute : Attributes;
                    Operator : Operators;
                    Value : Slot.Object;
                    Attribute2 : Attributes;
                    Operator2 : Operators;
                    Value2 : Slot.Object;
                    Attribute3 : Attributes;
                    Operator3 : Operators;
                    Value3 : Slot.Object) return Boolean;
    function Find (With_Conditions : Conditions) return Frame.Object;

    function Find (Attribute : Attributes;
                   Operator : Operators;
                   Value : Slot.Object) return Collection.Object;

    function Find (With_Conditions : Conditions) return Collection.Object;

    function Minimize (The_Attribute : Attributes) return Frame.Object;

    function Maximize (The_Attribute : Attributes) return Frame.Object;

    generic
        with function Predicate
                         (Satisfied_By : Frame.Object) return Boolean is <>;
    function Generic_Exist return Boolean;


    generic
        with function Predicate
                         (Satisfied_By : Frame.Object) return Boolean is <>;
    function Generic_Find return Frame.Object;
end Frame_Bak;

    nblk1=6
    nid=0
    hdr6=c
        [0x00] rec0=1b rec1=00 rec2=01 rec3=016
        [0x01] rec0=00 rec1=00 rec2=02 rec3=006
        [0x02] rec0=1b rec1=00 rec2=06 rec3=00a
        [0x03] rec0=04 rec1=00 rec2=04 rec3=06e
        [0x04] rec0=19 rec1=00 rec2=05 rec3=090
        [0x05] rec0=09 rec1=00 rec2=03 rec3=000
    tail 0x2150c854a823783abfd3b 0x42a00088462060003