DataMuseum.dk

top - download

    Length: 834 (0x342)
    Types: TextFile
    Names: »V«

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

TextFile

with Class;
with Collection;
with Date;
with Instance;

package Point is

    Class_Name : constant String             := "POINTS";
    Is_Dated   : constant Boolean            := True;
    Date_Mode  : constant Date.Overflow_Mode := Date.Error_Mode;

    Class_Reference : constant Class.Reference :=
       Class.Create (With_Name => Class_Name, Is_Dated => Is_Dated);
    subtype Object is Instance.Reference (Kind => Class_Reference);


    function X (O : Object) return Natural;
    function Y (O : Object) return Natural;

    function Instances return Collection.Object;

    function Exist (With_X, With_Y : Natural) return Boolean;


    function Add (With_X, With_Y : Natural) return Object;

    procedure Change (O : Object; With_X, With_Y : Natural);

    procedure Delete (O : Object);

    procedure Clean;

end Point;