DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦3b8486d07⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, generic, package Listes, seg_041d17

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 

E3 Source Code



with Types_Numeriques;
use Types_Numeriques;

generic

    Taille : in Naturel := 100;
    type Item is private;
    with function "<" (X, Y : Item) return Boolean is <>;
    with function Egalite (X, Y : Item) return Boolean is "=";

package Listes is

    type Liste is private;

    function Debut_Iteration (L : in Liste) return Naturel;
    function Fin_Iteration (L : in Liste; Iter : in Naturel) return Boolean;
    function Elt_Suivant (L : in Liste; Iter : in Naturel) return Naturel;
    function Elt_Courant (L : in Liste; Iter : in Naturel) return Item;

    function Longueur (L : in Liste) return Naturel;
    function Est_Vide (L : in Liste) return Boolean;
    function Est_Pleine (L : in Liste) return Boolean;

    procedure Insertion (L : in out Liste; I : in Item);
    function Recherche (L : in Liste; I : in Item; Clef : Boolean := False)
                       return Naturel;
    procedure Modification (L : in out Liste; I : in Item; Iter : Naturel);

    procedure Tri (L : in out Liste);

private
    type Tableau_Item is array (1 .. Taille) of Item;

    type Liste is
        record
            Element : Tableau_Item;
            Nb_Elts : Naturel := 0;
        end record;

end Listes;

E3 Meta Data

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=1c rec1=00 rec2=01 rec3=07a
        [0x01] rec0=0e rec1=00 rec2=02 rec3=001
    tail 0x2153cc1f686284be4cc97 0x42a00088462060003