DataMuseum.dk

top - download

    Length: 1294 (0x50e)
    Types: TextFile
    Names: »V«

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─ ⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Parameter;
package Signature is

    type Object is private;

    subtype Position is Positive range 1 .. 10;

    function Create return Signature.Object;


    procedure Reset (Signature : in out Standard.Signature.Object);


    procedure Add (To_Signature : in out Signature.Object;
                   The_Parameter : Parameter.Object;
                   At_Position : Position);


    function Image (Of_Signature : Signature.Object) return String;

    function Value (Of_String : String) return Signature.Object;


    type Iterator is private;

    procedure Init (Iter : in out Iterator;
                    Signature : Standard.Signature.Object);

    procedure Next (Iter : in out Iterator);

    function Is_Done (Iter : Iterator) return Boolean;

    function Value (Iter : Iterator) return Parameter.Object;

    function Is_Equal (Left, Right : Signature.Object) return Boolean;

    function Is_Compatible (Left, Right : Signature.Object) return Boolean;

private
    type Object is array (Position) of Parameter.Object;

    type Iterator_Range is
       new Positive range Position'First .. Position'Last + 1;

    type Iterator is
        record
            Position : Iterator_Range;
            Signature : Standard.Signature.Object;
        end record;
end Signature;