[Ada] Add contracts to Ada.Strings.Maps
authorJoffrey Huguet <huguet@adacore.com>
Fri, 9 Oct 2020 09:48:12 +0000 (11:48 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 26 Nov 2020 08:39:41 +0000 (03:39 -0500)
commit21d66365ad62c6d807dd5245101e30c67d563922
tree4e1e8cbeaa5e699cb9deac3851a612abf0259c32
parent0dd6aab195175ca58b58e05d23acfd42c378f51b
[Ada] Add contracts to Ada.Strings.Maps

gcc/ada/

* libgnat/a-strmap.ads: Add preconditions and postconditions to
all subprograms.
gcc/ada/libgnat/a-strmap.ads