-- GNAT.Spitbol.Table Example
--
-- Example of how to create a String to Object map
with GNAT.Spitbol;
package GSTable is
subtype Inches is Positive range 1 .. 144;
type Object is
record
ID : Natural;
Height : Inches := 1;
end record;
Null_Object : constant Object := (ID => 0, Height => 1);
function To_String (This : in Object) return String;
function "=" (A, B : in Object) return Boolean;
package String_To_Obj_Map is new GNAT.Spitbol.Table(Value_Type => Object,
Null_Value => Null_Object,
end GSTable;
package body GSTable is
function To_String (This : in Object) return String is
begin
return "ID =" & Natural'Image(This.ID) &
" Height =" & Inches'Image(This.Height);
end To_String;
function "=" (A, B : in Object) return Boolean is
begin
return A.ID = B.ID;
end "=";
end GSTable;
with GSTable;
with GNAT.Spitbol;
procedure String_Map is
use GSTable.String_To_Obj_Map;
Test_Map : Table(10);
begin
Set(Test_Map, "Bob",
(ID => 401, Height=> 65));
Set(Test_Map, "Sue",
(ID => 123, Height=> 62));
Set(Test_Map, "Marvin",
(ID => 321, Height=> 76));
Set(Test_Map, "George",
(ID => 555, Height=> 68));
declare
use GNAT.Spitbol;
Test_Array : Table_Array := Convert_To_Array(Test_Map);
begin
for N in Test_Array'First .. Test_Array'Last loop
Put_Line(S(Test_Array(N).Name));
-- Note the use of the GNAT.Spitbol."&" functions
-- to convert integer types to strings
Put_Line("ID = " & Test_Array(N).Value.ID);
Put_Line("Height = " & Test_Array(N).Value.Height);
end loop;
end;
end String_Map;
|
