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

⟦8f404ea4c⟧ Ada Source

    Length: 5120 (0x1400)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Cl35, seg_04cc77, seg_04cd62

Derivation

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

E3 Source Code



with Carte;
with Date;
with Evenements;
with My_Types;
with Parametres;
with Plage;
with Rapport_Cartes_Valides;
with Rapport_Cartes_Invalides;
with Site;

package Cl35 is

    package Mt renames My_Types;
    package File_Evt renames Evenements.Evt_Queue;
    package Liste_Ok renames Rapport_Cartes_Valides.Liste;
    package Liste_Nok renames Rapport_Cartes_Invalides.Liste;

    Bad_Cmd : exception;
    Max_Addr : constant := 63;
    type Object is private;
    subtype Addr is Mt.Byte range 0 .. Max_Addr;

    procedure Init;
    procedure Beep (Le_Lecteur : Object);
    procedure Mise_Hors_Veille (Le_Lecteur : Object);
    procedure Mise_En_Veille (Le_Lecteur : Object);

    procedure Mise_A_L_Heure (Le_Lecteur : Object;
                              Date_Lecteur : in Date.Object);
    procedure Valide_Carte (Le_Lecteur : Object;
                            La_Carte : in Carte.Object;
                            Pour_La_Plage : in Natural);
    procedure Valide_Carte (Le_Lecteur : Object;
                            De_La_Carte : in Carte.Object;
                            A_La_Carte : in Carte.Object;
                            Pour_La_Plage : in Natural);

    procedure Invalide_Carte (Le_Lecteur : Object;
                              De_La_Carte : in Carte.Object;
                              A_La_Carte : in Carte.Object);
    procedure Invalide_Carte (Le_Lecteur : Object; La_Carte : in Carte.Object);
    procedure Rapport_Horloge (Le_Lecteur : Object;
                               Date_Lecteur : out Date.Object);
    procedure Reglage_Parametres (Le_Lecteur : Object;
                                  Params_Lecteur : in Parametres.Object);
    procedure Rapport_Evenements (Le_Lecteur : Object;
                                  Le_Rapport : in out File_Evt.Queue);
    procedure Rapport_Parametres (Le_Lecteur : Object;
                                  Params_Lecteur : out Parametres.Object);

    procedure Cartes_Valides (Le_Lecteur : Object;
                              De_La_Carte : Carte.Object;
                              A_La_Carte : Carte.Object;
                              Le_Rapport : in out Liste_Ok.List);

    procedure Cartes_Invalides (Le_Lecteur : Object;
                                De_La_Carte : Carte.Object;
                                A_La_Carte : Carte.Object;
                                Le_Rapport : in out Liste_Nok.List);
    procedure Set_Site (Le_Lecteur : Object; Le_Code : in Standard.Site.Object);

    procedure Get_Site (Le_Lecteur : Object; Le_Code : out Site.Object);
    procedure Transmission_Plage
                 (Le_Lecteur : in Object; La_Plage : in Plage.Object);
    procedure Rapport_Plage (Le_Lecteur : in Object;
                             Numero_De_Plage : in Plage.Num_Plage;
                             La_Plage : out Plage.Object);


    function Address (Address : in Addr) return Object;
    function Address (Le_Lecteur : in Object) return Addr;


    function Image (Le_Lecteur : in Object) return String;
private
    type Object is
        record
            Addr_Lecteur : Addr;
        end record;

end Cl35;

E3 Meta Data

    nblk1=4
    nid=0
    hdr6=8
        [0x00] rec0=21 rec1=00 rec2=01 rec3=068
        [0x01] rec0=11 rec1=00 rec2=02 rec3=094
        [0x02] rec0=16 rec1=00 rec2=03 rec3=008
        [0x03] rec0=0b rec1=00 rec2=04 rec3=000
    tail 0x215496b3a874f6e20baf0 0x42a00088462060003