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

⟦17e4d42bb⟧ Ada Source

    Length: 9216 (0x2400)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, generic, package Frame, seg_011f00

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, Date;
generic  
    Name : in String := "NO_NAME";
    Is_Dated : in Boolean := False;
    Date_Mode : in Date.Overflow_Mode := Date.Error_Mode;
    type Attributes is (<>);
package Frame is
    Const_Class : constant Class.Reference :=
       Class.Create (With_Name => Name, Is_Dated => Is_Dated);
    subtype Object is Instance.Reference (Kind => Frame.Const_Class);

    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;  
    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 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;
                    Attribute4 : Attributes;
                    Operator4 : Operators;
                    Value4 : 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 Exist (Attribute : Attributes;
                    Operator : Operators;
                    Value : Slot.Object;
                    Attribute2 : Attributes;
                    Operator2 : Operators;
                    Value2 : Slot.Object;
                    Attribute3 : Attributes;
                    Operator3 : Operators;
                    Value3 : Slot.Object;
                    Attribute4 : Attributes;
                    Operator4 : Operators;
                    Value4 : Slot.Object;
                    Attribute5 : Attributes;
                    Operator5 : Operators;
                    Value5 : 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;

    procedure Mask (The_Reference : Instance.Reference);
    procedure Mask_All;
    procedure Unmask (The_Reference : Instance.Reference);
    procedure Unmask_All;
    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;  
    Attribute_Value_Match_Error : exception;
end Frame;

    nblk1=8
    nid=8
    hdr6=c
        [0x00] rec0=19 rec1=00 rec2=01 rec3=050
        [0x01] rec0=01 rec1=00 rec2=05 rec3=01a
        [0x02] rec0=1c rec1=00 rec2=06 rec3=034
        [0x03] rec0=17 rec1=00 rec2=04 rec3=004
        [0x04] rec0=1a rec1=00 rec2=02 rec3=006
        [0x05] rec0=14 rec1=00 rec2=03 rec3=000
        [0x06] rec0=1a rec1=00 rec2=05 rec3=05c
        [0x07] rec0=03 rec1=00 rec2=03 rec3=000
    tail 0x2150d39b0824672a19eee 0x42a00088462060003
Free Block Chain:
  0x8: 0000  00 07 01 a9 80 01 3b 01 00 2b 20 20 20 20 20 20  ┆      ;  +      ┆
  0x7: 0000  00 00 03 fc 80 26 20 20 20 20 20 20 20 20 20 20  ┆     &          ┆