⟦7bc136731⟧

E3 Source Code



generic  
    type Element is private;
    Max_Element_Number : Natural := 100;
    Null_Element : Element;
    with procedure Show_Element (Item : Element);
    with function Get_Key (Item : Element) return String;
package Generic_String_Sort_Array is

    type Object is private;
    subtype Element_Index is Natural range 0 .. Max_Element_Number;

    procedure Put (Collection : in out Object;
                   Item : in Element;
                   Ok : out Boolean);
    procedure Put (Collection : in out Object; Item : in Element);
    --  procedure Put (Collection : in out Object;
    ---               Item : in Element;
    --            Index : in Positive;
    --          Ok : out Boolean);
    procedure Get (Collection : in Object;
                   Item : out Element;
                   Key : in String;
                   Ok : out Boolean);
    procedure Get (Collection : in Object;
                   Item : out Element;
                   Key : in Element_Index;
                   Ok : out Boolean);
    procedure Show (Collection : in Object);
    function Is_Empty (Collection : in Object) return Boolean;
    function Index (Collection : in Object; Key : in String)
                   return Element_Index;
    function Belong (Collection : in Object; Key : in String) return Boolean;
    function Number_Of (Collection : in Object) return Element_Index;

    type Iterator is private;

    procedure Init (Collection : in Object; An_Iterator : in out Iterator);
    function Done (An_Iterator : in Iterator) return Boolean;
    function Value (An_Iterator : in Iterator) return Element;
--    function Index (An_Iterator : in Iterator) return Natural;
    procedure Next (An_Iterator : in out Iterator);

    Null_Iterator : constant Iterator;
    Null_Object : constant Object;
private

    type Unconstraint_Array is array (Element_Index range <>) of Element;

    Null_Unconstraint_Array : constant Unconstraint_Array (1 .. 0) :=
       (others => Null_Element);

    type Variable_Array (Length : Element_Index := 0) is
        record
            Inner : Unconstraint_Array (1 .. Length);
        end record;

    type Object is
        record
            Object : Variable_Array;  
        end record;

    type Iterator is
        record
            Collection : Object := Null_Object;
            Index : Element_Index := 0;
        end record;

    Null_Object : constant Object :=
       (Object => (Length => 0, Inner => Null_Unconstraint_Array));

    Null_Iterator : constant Iterator :=
       (Collection => Null_Object, Index => 0);

end Generic_String_Sort_Array;
DataMuseum.dk

Rational R1000/400

⟦7bc136731⟧ Ada Source

Derivation

E3 Source Code

E3 Meta Data
