DataMuseum.dk

top - download

    Length: 4587 (0x11eb)
    Types: TextFile
    Names: »V«

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─ ⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─ ⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─ ⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Class, Slot, Instance, Collection, Date;
generic  
    Name : in String := "NO_NAME";
    Is_Dated : in Boolean := False;
    Date_Mode : in Date.Overflow_Mode := Date.Error_Mode;
    type Attributes is (<>);
package Frame is
    Const_Class : constant Class.Reference :=
       Class.Create (With_Name => Name, Is_Dated => Is_Dated);
    subtype Object is Instance.Reference (Kind => Frame.Const_Class);

    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;  
    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 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;
                    Attribute4 : Attributes;
                    Operator4 : Operators;
                    Value4 : 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 Exist (Attribute : Attributes;
                    Operator : Operators;
                    Value : Slot.Object;
                    Attribute2 : Attributes;
                    Operator2 : Operators;
                    Value2 : Slot.Object;
                    Attribute3 : Attributes;
                    Operator3 : Operators;
                    Value3 : Slot.Object;
                    Attribute4 : Attributes;
                    Operator4 : Operators;
                    Value4 : Slot.Object;
                    Attribute5 : Attributes;
                    Operator5 : Operators;
                    Value5 : 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;

    procedure Mask (The_Reference : Instance.Reference);
    procedure Mask_All;
    procedure Unmask (The_Reference : Instance.Reference);
    procedure Unmask_All;
    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;  
    Attribute_Value_Match_Error : exception;
end Frame;