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

⟦6e26d9d1d⟧ Ada Source

    Length: 25600 (0x6400)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, generic, package Tuple_Collection, seg_011fd2

Derivation

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

with Collection;
with Instance;
with Tuple;

package Tuple_Collection is


    type Object is array (Positive range <>) of Tuple.Object;


    function Null_Object return Tuple_Collection.Object;

    function Add (In_Tuple_Collection : Tuple_Collection.Object;
                  The_Tuple : Tuple.Object) return Tuple_Collection.Object;


    function Cardinality  
                (Of_Tuple_Collection : Tuple_Collection.Object)  return Natural;
    function Is_Null
                (The_Tuple_Collection : Tuple_Collection.Object) return Boolean;
    function Is_Not_Null
                (The_Tuple_Collection : Tuple_Collection.Object) return Boolean;


    procedure Clear (The_Tuple_Collection : in out Tuple_Collection.Object);


    function Get (In_Tuple_Collection : Tuple_Collection.Object;
                  The_Item            : Positive) return Tuple.Object;

    function First (Of_Tuple_Collection : Tuple_Collection.Object)
                   return Tuple.Object;

    function Get (The_Tuple_Collection : Tuple_Collection.Object;
                  From_Pos             : Positive;
                  To_Pos               : Positive)  
                 return Tuple_Collection.Object;



    generic
        with function Predicate
                         (The_Best : Tuple.Object; Any_Other : Tuple.Object)
                         return Boolean;
    function The_Most (Of_Tuple_Collection : Tuple_Collection.Object)
                      return Tuple.Object;

    generic
        with function Predicate (With_Tuple : Tuple.Object) return Boolean;
    function Find_One (In_Tuple_Collection : Tuple_Collection.Object)
                      return Tuple.Object;


    generic
        with procedure Action (The_Reference : Instance.Reference);
    procedure For_All (The_Tuple_Collection : Tuple_Collection.Object);




    generic
        With_Quantity : Natural := 1;
        with function Collection_1 return Collection.Object;
        with function Restrict_1 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Match      (R1 : Instance.Reference) return Boolean;
    function Join_1 return Tuple_Collection.Object;

    generic
        With_Quantity : Natural := 1;
        with function Collection_1 return Collection.Object;
        with function Restrict_1 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_2 return Collection.Object;
        with function Restrict_2 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Match      (R1, R2 : Instance.Reference) return Boolean;
    function Join_2 return Tuple_Collection.Object;

    generic
        With_Quantity : Natural := 1;
        with function Collection_1 return Collection.Object;
        with function Restrict_1 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_2 return Collection.Object;
        with function Restrict_2 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_3 return Collection.Object;
        with function Restrict_3 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Match (R1, R2, R3 : Instance.Reference) return Boolean;
    function Join_3 return Tuple_Collection.Object;


    generic
        With_Quantity : Natural := 1;
        with function Collection_1 return Collection.Object;
        with function Restrict_1 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_2 return Collection.Object;
        with function Restrict_2 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_3 return Collection.Object;
        with function Restrict_3 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_4 return Collection.Object;
        with function Restrict_4 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Match
                         (R1, R2, R3, R4 : Instance.Reference) return Boolean;
    function Join_4 return Tuple_Collection.Object;

    generic
        With_Quantity : Natural := 1;
        with function Collection_1 return Collection.Object;
        with function Restrict_1 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_2 return Collection.Object;
        with function Restrict_2 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_3 return Collection.Object;
        with function Restrict_3 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_4 return Collection.Object;
        with function Restrict_4 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_5 return Collection.Object;
        with function Restrict_5 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Match      (R1, R2, R3, R4, R5 : Instance.Reference)
                            return Boolean;
    function Join_5 return Tuple_Collection.Object;

    generic
        With_Quantity : Natural := 1;
        with function Collection_1 return Collection.Object;
        with function Restrict_1 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_2 return Collection.Object;
        with function Restrict_2 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_3 return Collection.Object;
        with function Restrict_3 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_4 return Collection.Object;
        with function Restrict_4 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_5 return Collection.Object;
        with function Restrict_5 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_6 return Collection.Object;
        with function Restrict_6 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Match      (R1, R2, R3, R4, R5, R6 : Instance.Reference)
                            return Boolean;
    function Join_6 return Tuple_Collection.Object;

    generic
        With_Quantity : Natural := 1;
        with function Collection_1 return Collection.Object;
        with function Restrict_1 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_2 return Collection.Object;
        with function Restrict_2 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_3 return Collection.Object;
        with function Restrict_3 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_4 return Collection.Object;
        with function Restrict_4 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_5 return Collection.Object;
        with function Restrict_5 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_6 return Collection.Object;
        with function Restrict_6 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_7 return Collection.Object;
        with function Restrict_7 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Match (R1, R2, R3, R4, R5, R6, R7 : Instance.Reference)
                            return Boolean;
    function Join_7 return Tuple_Collection.Object;

    generic
        With_Quantity : Natural := 1;
        with function Collection_1 return Collection.Object;
        with function Restrict_1 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_2 return Collection.Object;
        with function Restrict_2 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_3 return Collection.Object;
        with function Restrict_3 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_4 return Collection.Object;
        with function Restrict_4 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_5 return Collection.Object;
        with function Restrict_5 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_6 return Collection.Object;
        with function Restrict_6 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_7 return Collection.Object;
        with function Restrict_7 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_8 return Collection.Object;
        with function Restrict_8 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Match
                         (R1, R2, R3, R4, R5, R6, R7, R8 : Instance.Reference)
                         return Boolean;
    function Join_8 return Tuple_Collection.Object;

    generic
        With_Quantity : Natural := 1;
        with function Collection_1 return Collection.Object;
        with function Restrict_1 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_2 return Collection.Object;
        with function Restrict_2 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_3 return Collection.Object;
        with function Restrict_3 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_4 return Collection.Object;
        with function Restrict_4 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_5 return Collection.Object;
        with function Restrict_5 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_6 return Collection.Object;
        with function Restrict_6 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_7 return Collection.Object;
        with function Restrict_7 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_8 return Collection.Object;
        with function Restrict_8 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_9 return Collection.Object;
        with function Restrict_9 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Match      (R1, R2, R3, R4, R5, R6, R7, R8, R9 :
                                     Instance.Reference) return Boolean;
    function Join_9 return Tuple_Collection.Object;

    generic
        With_Quantity : Natural := 1;
        with function Collection_1 return Collection.Object;
        with function Restrict_1  (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_2 return Collection.Object;
        with function Restrict_2  (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_3 return Collection.Object;
        with function Restrict_3  (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_4 return Collection.Object;
        with function Restrict_4  (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_5 return Collection.Object;
        with function Restrict_5  (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_6 return Collection.Object;
        with function Restrict_6  (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_7 return Collection.Object;
        with function Restrict_7  (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_8 return Collection.Object;
        with function Restrict_8  (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_9 return Collection.Object;
        with function Restrict_9  (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Collection_10 return Collection.Object;
        with function Restrict_10 (R : Instance.Reference) return Boolean is
           Instance.No_Restriction;
        with function Match       (R1, R2, R3, R4, R5, R6, R7, R8, R9, R10 :
                                      Instance.Reference) return Boolean;
    function Join_10 return Tuple_Collection.Object;





    package Iterator is
        Illegal_Access : exception;

        type Iterator is private;

        function Open   (The_Tuple_Collection : Tuple_Collection.Object)
                      return Iterator;
        function Get    (Of_Tuple_Collection : Tuple_Collection.Object;
                         With_Iterator       : Iterator) return Tuple.Object;
        function Next   (Of_Tuple_Collection : Tuple_Collection.Object;
                         The_Iterator        : Iterator) return Iterator;
        function At_End (Of_Tuple_Collection : Tuple_Collection.Object;
                         With_Iterator       : Iterator) return Boolean;
    private
        type Iterator is range Natural'First .. Natural'Last;
    end Iterator;


end Tuple_Collection;

    nblk1=18
    nid=8
    hdr6=28
        [0x00] rec0=21 rec1=00 rec2=01 rec3=016
        [0x01] rec0=1f rec1=00 rec2=0a rec3=024
        [0x02] rec0=14 rec1=00 rec2=0f rec3=06e
        [0x03] rec0=00 rec1=00 rec2=0e rec3=014
        [0x04] rec0=14 rec1=00 rec2=11 rec3=070
        [0x05] rec0=13 rec1=00 rec2=0b rec3=090
        [0x06] rec0=14 rec1=00 rec2=18 rec3=02e
        [0x07] rec0=00 rec1=00 rec2=06 rec3=00a
        [0x08] rec0=13 rec1=00 rec2=12 rec3=038
        [0x09] rec0=00 rec1=00 rec2=17 rec3=00a
        [0x0a] rec0=11 rec1=00 rec2=14 rec3=04e
        [0x0b] rec0=13 rec1=00 rec2=04 rec3=050
        [0x0c] rec0=13 rec1=00 rec2=16 rec3=016
        [0x0d] rec0=12 rec1=00 rec2=03 rec3=026
        [0x0e] rec0=12 rec1=00 rec2=05 rec3=07a
        [0x0f] rec0=00 rec1=00 rec2=02 rec3=016
        [0x10] rec0=12 rec1=00 rec2=13 rec3=012
        [0x11] rec0=00 rec1=00 rec2=15 rec3=00a
        [0x12] rec0=18 rec1=00 rec2=07 rec3=054
        [0x13] rec0=0f rec1=00 rec2=09 rec3=000
        [0x14] rec0=18 rec1=00 rec2=17 rec3=02a
        [0x15] rec0=09 rec1=00 rec2=12 rec3=000
        [0x16] rec0=18 rec1=00 rec2=17 rec3=02a
        [0x17] rec0=09 rec1=00 rec2=12 rec3=000
    tail 0x2150d4620824851ecaef0 0x42a00088462063c03
Free Block Chain:
  0x8: 0000  00 10 00 08 80 05 20 4e 61 74 75 05 6e 20 52 65  ┆       Natu n Re┆
  0x10: 0000  00 0c 02 0f 80 08 2e 4f 62 6a 65 63 74 3b 08 00  ┆      .Object;  ┆
  0xc: 0000  00 0d 00 3d 80 1c 20 20 20 20 20 43 6f 6c 6c 65  ┆   =       Colle┆
  0xd: 0000  00 00 00 20 80 03 20 69 73 03 00 17 20 20 20 20  ┆       is       ┆