DataMuseum.dk

top - download

    Length: 5123 (0x1403)
    Types: TextFile
    Names: »V«

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


package Collection is


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



    function Null_Object return Collection.Object;


    generic
        with function Predicate
                         (With_Reference : Instance.Reference) return Boolean;
    function Restrict (The_Collection : Collection.Object;
                       For_Quantity   : Natural := Instance.Any)
                      return Collection.Object;

    generic
        with function Predicate
                         (With_Reference : Instance.Reference) return Boolean;
    function Find_One (The_Collection : Collection.Object)
                      return Instance.Reference;


    generic
        with function Predicate
                         (With_Reference : Instance.Reference) return Boolean;
    function Exist (The_Collection : Collection.Object) return Boolean;


    generic
        with function Predicate (The_Best  : Instance.Reference;
                                 Any_Other : Instance.Reference) return Boolean;
    function The_Most (Of_Collection : Collection.Object)
                      return Instance.Reference;


    function Cardinality (Of_Collection : Collection.Object)  return Natural;
    function Is_Null     (The_Collection : Collection.Object) return Boolean;


    function Add (In_Collection : Collection.Object;
                  The_Reference : Instance.Reference) return Collection.Object;

    function Remove (In_Collection : Collection.Object;
                     The_Reference : Instance.Reference)
                    return Collection.Object;


    procedure Clear (The_Collection : in out Collection.Object);


    function Union (Collection1 : Collection.Object;
                    Collection2 : Collection.Object) return Collection.Object;
    function "+"   (Collection1 : Collection.Object;
                    Collection2 : Collection.Object) return Collection.Object
        renames Union;

    function Intersection (Collection1 : Collection.Object;
                           Collection2 : Collection.Object)
                          return Collection.Object;
    function "*" (Collection1 : Collection.Object;
                  Collection2 : Collection.Object) return Collection.Object
        renames Intersection;

    function Difference (Collection1 : Collection.Object;
                         Collection2 : Collection.Object)
                        return Collection.Object;
    function "-" (Collection1 : Collection.Object;
                  Collection2 : Collection.Object) return Collection.Object
        renames Difference;

    function Is_Member (Of_Collection : Collection.Object;
                        The_Reference : Instance.Reference) return Boolean;

    function Is_Include (Collection1 : Collection.Object;
                         Collection2 : Collection.Object) return Boolean;
    function "<"        (Collection1 : Collection.Object;
                         Collection2 : Collection.Object) return Boolean
        renames Is_Include;

    function "<=" (Collection1 : Collection.Object;
                   Collection2 : Collection.Object) return Boolean
        renames Is_Include;

    function ">"  (Collection1 : Collection.Object;
                   Collection2 : Collection.Object) return Boolean;
    function ">=" (Collection1 : Collection.Object;
                   Collection2 : Collection.Object) return Boolean renames ">";


    function Object_To_Collection
                (The_Reference : Instance.Reference) return Collection.Object;



    function Get (In_Collection : Collection.Object;
                  The_Position  : Positive := 1) return Instance.Reference;

    function Get (In_Collection : Collection.Object;
                  From_Position : Positive := 1;
                  To_Position   : Positive)  
                 return Collection.Object;

    function First (Of_Collection : Collection.Object)
                   return Instance.Reference;

    function Rest (Of_Collection : Collection.Object) return Collection.Object;



    generic
        with procedure Action (For_Reference : Instance.Reference);
    procedure Do_For_All (The_Collection : Collection.Object);

    generic
        with function "<" (Left_Reference, Right_Reference : Instance.Reference)
                          return Boolean;
    procedure Sort (The_Collection : in out Collection.Object);


    Bad_Class : exception;



    package Iterator is
        Illegal_Access : exception;

        type Iterator is private;

        function Open   (The_Collection : Collection.Object) return Iterator;
        function Get    (Of_Collection : Collection.Object;
                         The_Iterator  : Iterator) return Instance.Reference;
        function Next   (Of_Collection : Collection.Object;
                         With_Iterator : Iterator) return Iterator;
        function At_End (Of_Collection : Collection.Object;
                         With_Iterator : Iterator) return Boolean;

    private
        type Iterator is range Natural'First .. Natural'Last;
    end Iterator;



end Collection;