[Ada] Add contracts to Ada.Strings.Fixed

Browse source

gcc/ada/

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

...

This commit is contained in:

Joffrey Huguet 2020-11-12 10:40:16 +01:00 • committed by Pierre-Marie de Rodat

parent d1d0c4c800

commit 571d3fb1f4

1 changed files with 848 additions and 46 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show stats Download patch file Download diff file Expand all files Collapse all files

894

gcc/ada/libgnat/a-strfix.ads

View file

File diff suppressed because it is too large Load diff