DataMuseum.dk

top - download

    Length: 1371 (0x55b)
    Types: TextFile
    Names: »V«

└─⟦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 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 Strip_Values (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;