DataMuseum.dk

top - download

    Length: 2631 (0xa47)
    Types: TextFile
    Names: »V«

└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─ ⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Collection;
with Instance;

package Ne_Ball is

    subtype Object is Instance.Reference;

    type Colors     is (White, Red, Yellow, Green, Blue);
    type Places     is (Is_On_Heap, Is_In_Box);
    type Existences is (Balls_On_Heap, Balls_In_Box, White_Balls,
                        Red_Balls, Yellow_Balls, Green_Balls,
                        Blue_Balls, Big_Balls, All_Balls);
    type Attributes is (Is_Size, Is_Weight, Is_Color, Is_Place);

    Default_Size   : constant Natural := 10;
    Default_Weight : constant Natural := 10;
    Default_Color  : constant Colors  := White;
    Default_Place  : constant Places  := Is_On_Heap;


    function Size   (O : Object) return Natural;
    function Weight (O : Object) return Natural;
    function Color  (O : Object) return Colors;
    function Place  (O : Object) return Places;

    function Instances return Collection.Object;

    function Instances (Kind : Existences := All_Balls)
                       return Collection.Object;

    function Exist (With_Attributes       : Attributes;
                    Greater_Than          : Natural;
                    In_Kind_Of_Collection : Existences) return Boolean;
    function Exist (With_Attributes       : Attributes;
                    Between               : Natural;
                    And_Value             : Natural;
                    In_Kind_Of_Collection : Existences) return Boolean;

    function Exist (With_Place : Places; In_Kind_Of_Collection : Existences)
                   return Boolean;
    function Exist (With_Color : String; In_Kind_Of_Collection : Existences)
                   return Boolean;


    -- Probleme de surcharge car les types de parametres sont identiques
    ---------------------------------------------------------------------
    -- function Exist (With_Attributes       : Attributes;
    --                    Equal_To : natural) return Boolean;
    -- function Exist (With_Attributes       : Attributes;
    --                    Less_Than : natural) return Boolean;

    function Add (With_Size   : Natural := Default_Size;
                  With_Color  : Colors  := Default_Color;
                  With_Place  : Places  := Default_Place;
                  With_Weight : Natural := Default_Weight) return Object;

    procedure Change (O           : Object;
                      With_Size   : Natural;
                      With_Color  : Colors;
                      With_Place  : Places;
                      With_Weight : Natural);

    procedure Change (O : Object; With_Place : Places);

    procedure Delete (O : Object);

    procedure Clean;

end Ne_Ball;