DataMuseum.dk

top - download

    Length: 1247 (0x4df)
    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 Class;
with Collection;
with Date;
with Instance;

generic

    type Element is private;

    With_Name : in String := "NO_NAME";

    With_Dates : in Boolean := False;

    With_Date_Mode : in Date.Overflow_Mode := Date.Error_Mode;

    with function Reference_Name
                     (Of_Reference : Instance.Reference) return String is
       Instance.Image;


package Class_Behavior is

    function  Allocate (The_Element : Element) return Instance.Reference;
    procedure Allocate (The_Element : Element);
    procedure Dispose  (The_Reference : Instance.Reference);
    procedure Clear;
    procedure Mask     (The_Reference : Instance.Reference);
    procedure Mask_All;
    procedure Unmask   (The_Reference : Instance.Reference);
    procedure Unmask_All;

    function Instances return Collection.Object;
    function All_Instances return Collection.Object;
    function Cardinality return Natural;
    function Name return String;
    function Name (The_Reference : Instance.Reference) return String;

    function  Get (The_Reference : Instance.Reference) return Element;
    procedure Set (The_Reference : Instance.Reference; With_Value : Element);

    Bad_Class, Bad_Reference, Class_Full : exception;


end Class_Behavior;