|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: B T
Length: 1191 (0x4a7)
Types: TextFile
Names: »B«
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
└─⟦129cab021⟧ »DATA«
└─⟦this⟧
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
└─⟦129cab021⟧ »DATA«
└─⟦9f61d3d83⟧
└─⟦this⟧
with Text_Io;
with String_Map_Generic;
procedure Test_String_Map is
package Int_Map is new String_Map_Generic (10, Integer);
The_Map : Int_Map.Map := Int_Map.Nil;
I : Integer;
Found : Boolean;
begin
Int_Map.Initialize (The_Map);
Int_Map.Define (The_Map, "un", 1);
Int_Map.Find (The_Map, "un", I, Found);
Text_Io.Put (Integer'Image (I));
Int_Map.Define (The_Map, "deux", 2);
Int_Map.Define (The_Map, "un", 10);
Int_Map.Find (The_Map, "un", I, Found);
Text_Io.Put (Integer'Image (I));
Int_Map.Define (The_Map, "un", 100);
Int_Map.Find (The_Map, "un", I, Found);
Text_Io.Put (Integer'Image (I));
Text_Io.Put (Natural'Image (Int_Map.Cardinality (The_Map)));
Int_Map.Undefine (The_Map, "deux");
Text_Io.Put (Natural'Image (Int_Map.Cardinality (The_Map)));
Int_Map.Find (The_Map, "deux", I, Found);
Text_Io.Put (Boolean'Image (Found));
Text_Io.Put (Integer'Image (I));
exception
when Int_Map.Undefined =>
Text_Io.Put ("undefined");
when Int_Map.Multiply_Defined =>
Text_Io.Put ("multiply_defined");
when Numeric_Error =>
Text_Io.Put ("numeric error");
end Test_String_Map;