DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

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 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - download
Index: ┃ T V ┃

⟦5db9179ba⟧ TextFile

    Length: 14312 (0x37e8)
    Types: TextFile
    Names: »V«

Derivation

└─⟦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 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;