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 - metrics - download

⟦b27d2c00b⟧ Ada Source

    Length: 4096 (0x1000)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Plage_Horaire, seg_04ccac, seg_04cd8e

Derivation

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

with Text_Io;
package body Plage_Horaire is

    Acces_Zone_Taille_Error : exception;

    function Set (Nom_De_Zone : String;
                  Numero_Plage : Natural;
                  Une_Plage : Plage.Object) return Object is
        Une_Plage_Horaire : Object;
        Dernier_Car_Zone : Natural;
    begin
        Dernier_Car_Zone := Nom_De_Zone'Length;
        if (Dernier_Car_Zone > 30) then
            raise Acces_Zone_Taille_Error;
        end if;
        Une_Plage_Horaire.Numero_Plage := Numero_Plage;
        Une_Plage_Horaire.Dernier_Car_Zone := Dernier_Car_Zone;
        Une_Plage_Horaire.Nom_De_Zone (1 .. Dernier_Car_Zone) :=
           Nom_De_Zone (1 .. Dernier_Car_Zone);
        Une_Plage_Horaire.Une_Plage := Une_Plage;
        return Une_Plage_Horaire;
    exception
        when Acces_Zone_Taille_Error =>
            Text_Io.Put_Line
               ("Taille Maximum du nom de la Zone : 30 Caracteres");
            return Une_Plage_Horaire;
    end Set;


    function Image (Une_Plage_Horaire : Object) return String is
    begin
        return String'("PLAGE HORAIRE : " & " Numero de la plage_horaire : " &
                       Natural'Image (Une_Plage_Horaire.Numero_Plage) &
                       "; Nom de la Zone : " &
                       Une_Plage_Horaire.Nom_De_Zone
                          (1 .. Une_Plage_Horaire.Dernier_Car_Zone) & " " &
                       Plage.Image (Une_Plage_Horaire.Une_Plage));
    end Image;


    function Numero_Plage_Horaire (Une_Plage_Horaire : Object) return Natural is
    begin
        return Une_Plage_Horaire.Numero_Plage;
    end Numero_Plage_Horaire;

    function Longueur_Name_Zone (Une_Plage_Horaire : Object) return Natural is
    begin
        return Une_Plage_Horaire.Dernier_Car_Zone;
    end Longueur_Name_Zone;



    function Name_Zone (Une_Plage_Horaire : Object) return String is
    begin
        return Une_Plage_Horaire.Nom_De_Zone
                  (1 .. Une_Plage_Horaire.Dernier_Car_Zone);
    end Name_Zone;


    function Get_Plage (Une_Plage_Horaire : Object) return Plage.Object is
    begin
        return Une_Plage_Horaire.Une_Plage;
    end Get_Plage;

end Plage_Horaire;

    nblk1=3
    nid=0
    hdr6=6
        [0x00] rec0=1b rec1=00 rec2=01 rec3=048
        [0x01] rec0=1d rec1=00 rec2=02 rec3=04a
        [0x02] rec0=0b rec1=00 rec2=03 rec3=000
    tail 0x217540cfe874f6e783b3c 0x42a00088462060003