|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - download
Length: 5120 (0x1400) Types: Ada Source Notes: 03_class, FILE, R1k_Segment, e3_tag, procedure Ma_Banque, seg_02729a
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─⟦cfc2e13cd⟧ »Space Info Vol 2« └─⟦this⟧
with Banque; with Text_Io; procedure Ma_Banque is Compte : Banque.Clef; Somme : Banque.Argent; begin Somme := 1000; Banque.Ouvrir_Compte (Compte, Somme); Text_Io.Put_Line ("Apres ouverture compte = " & Integer'Image (Banque.Releve (Compte)) & " clef " & Boolean'Image (Banque.Valable (Compte))); Text_Io.New_Line; Banque.Cloturer_Compte (Compte, Somme); Text_Io.Put_Line ("Apres fermeture la somme retiree est " & Integer'Image (Somme)); Text_Io.New_Line; Somme := 10_000; Banque.Ouvrir_Compte (Compte, Somme); Text_Io.Put_Line ("Apres ouverture compte = " & Integer'Image (Banque.Releve (Compte)) & " clef " & Boolean'Image (Banque.Valable (Compte))); Text_Io.New_Line; Banque.Deposer (Compte, 5_000); Text_Io.Put_Line ("Apres depot de 5_000 compte = " & Integer'Image (Banque.Releve (Compte)) & " clef " & Boolean'Image (Banque.Valable (Compte))); Text_Io.New_Line; Somme := 10_000; Banque.Retirer (Compte, Somme); Text_Io.Put_Line ("Apres retrait de 10_000 compte = " & Integer'Image (Banque.Releve (Compte)) & " clef " & Boolean'Image (Banque.Valable (Compte)) & " valeur retiree " & Integer'Image (Somme)); Text_Io.New_Line; Banque.Retirer (Compte, Somme); Text_Io.Put_Line ("Apres retrait de 10_000 compte = " & Integer'Image (Banque.Releve (Compte)) & " clef " & Boolean'Image (Banque.Valable (Compte)) & " valeur retiree " & Integer'Image (Somme)); Text_Io.New_Line; exception when Banque.Alarme => Text_Io.Put_Line ("La valeur de cle est illegale"); end Ma_Banque;
nblk1=4 nid=2 hdr6=4 [0x00] rec0=1a rec1=00 rec2=01 rec3=050 [0x01] rec0=14 rec1=00 rec2=03 rec3=000 [0x02] rec0=01 rec1=00 rec2=02 rec3=000 [0x03] rec0=02 rec1=0b rec2=19 rec3=742 tail 0x21721783283ab7eb3ec96 0x42a00088462060003 Free Block Chain: 0x2: 0000 00 04 00 03 00 00 00 6f 73 65 72 20 28 43 6f 6d ┆ oser (Com┆ 0x4: 0000 00 00 00 27 80 10 28 43 6f 6d 70 74 65 2c 20 35 ┆ ' (Compte, 5┆