DataMuseum.dk

top - download

    Length: 3350 (0xd16)
    Types: TextFile
    Names: »V«

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

TextFile

with Class, Slot, Instance, Collection;
generic  
    Size : in Positive := 250;
    Name : in String;
    type Attributes is (<>);
package Frame_Bak is
    Const_Class : constant Class.Reference := Class.Create (Name);
    subtype Object is Instance.Reference (Kind => Frame.Const_Class);

--    subtype Object is Instance.Reference;

    type Values is array (Attributes) of Slot.Object;
    type Values_List is array (Positive range <>) of Values;

    function Value_Of (The_Object : Object; Attribute : Attributes)
                      return Slot.Object;  
    function Get (The_Object : Object; Attribute : Attributes)
                 return Slot.Object;
    procedure Change (The_Object : Object;
                      Attribute : Attributes;
                      To : Slot.Object);
    procedure Add (With_Values : Values);
    procedure Add (With_Values_List : Values_List);
    procedure Delete (The_Object : Object);
    procedure Clear;
    function Instances return Collection.Object;
    function Cardinality return Natural;
    type Operators is (Greater, Less, Equal, Greater_Equal,
                       Less_Equal, Not_Equal);

    type Condition is
        record
            Attribute : Attributes;
            Operator : Operators;
            Value : Slot.Object;
        end record;
    type Conditions is array (Positive range <>) of Condition;

    function Exist (Attribute : Attributes;
                    Between : Slot.Object;
                    And_Size : Slot.Object) return Boolean;

    function Exist (With_Conditions : Conditions) return Boolean;

    function Exist (Attribute : Attributes;
                    Operator : Operators;
                    Value : Slot.Object) return Boolean;

    function Find (Attribute : Attributes;
                   Operator : Operators;
                   Value : Slot.Object) return Frame.Object;  
    function Exist (Attribute : Attributes;
                    Operator : Operators;
                    Value : Slot.Object;
                    Attribute2 : Attributes;
                    Operator2 : Operators;
                    Value2 : Slot.Object) return Boolean;

    function Exist (Attribute : Attributes;
                    Operator : Operators;
                    Value : Slot.Object;
                    Attribute2 : Attributes;
                    Operator2 : Operators;
                    Value2 : Slot.Object;
                    Attribute3 : Attributes;
                    Operator3 : Operators;
                    Value3 : Slot.Object) return Boolean;
    function Find (With_Conditions : Conditions) return Frame.Object;

    function Find (Attribute : Attributes;
                   Operator : Operators;
                   Value : Slot.Object) return Collection.Object;

    function Find (With_Conditions : Conditions) return Collection.Object;

    function Minimize (The_Attribute : Attributes) return Frame.Object;

    function Maximize (The_Attribute : Attributes) return Frame.Object;

    generic
        with function Predicate
                         (Satisfied_By : Frame.Object) return Boolean is <>;
    function Generic_Exist return Boolean;


    generic
        with function Predicate
                         (Satisfied_By : Frame.Object) return Boolean is <>;
    function Generic_Find return Frame.Object;
end Frame_Bak;