|
|
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┆