Natools

natools-static_hash_maps-s_expressions-command_maps-test.adb at [e3eb7b3d2d]
Login

File src/natools-static_hash_maps-s_expressions-command_maps-test.adb artifact c33313b3c2 part of check-in e3eb7b3d2d


--  Generated at 2014-05-29 18:32:55 +0000 by Natools.Static_Hash_Maps
--  from natools-static_hash_maps-s_expressions-hash_maps.sx

with Natools.Static_Hash_Maps.S_Expressions.Command_Pkg;
with Natools.Static_Hash_Maps.S_Expressions.Command_Map;
function Natools.Static_Hash_Maps.S_Expressions.Command_Maps.Test
  return Boolean is
begin
   for I in Map_1_Keys'Range loop
      if Natools.Static_Hash_Maps.S_Expressions.Command_Pkg.Hash
           (Map_1_Keys (I).all) /= I
      then
         return False;
      end if;
   end loop;

   for I in Map_2_Keys'Range loop
      if Natools.Static_Hash_Maps.S_Expressions.Command_Map.Hash
           (Map_2_Keys (I).all) /= I
      then
         return False;
      end if;
   end loop;

   return True;
end Natools.Static_Hash_Maps.S_Expressions.Command_Maps.Test;