[Ada] Add contracts to Ada.Strings.Fixed
authorJoffrey Huguet <huguet@adacore.com>
Thu, 12 Nov 2020 09:40:16 +0000 (10:40 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 16 Dec 2020 13:01:04 +0000 (08:01 -0500)
commit571d3fb1f40fa85c769a7dbefd84da6c6e99665d
tree87abf93fe1d3f06c3a4b7e51e6c320e4e184a071
parentd1d0c4c80058923fbf681d1d80ff90eeb7883949
[Ada] Add contracts to Ada.Strings.Fixed

gcc/ada/

* libgnat/a-strfix.ads: Add postconditions and contract cases to
subprograms.
gcc/ada/libgnat/a-strfix.ads