Arrays 是Ada中最大的数组

如何检查某个值是否是数组中最大的元素？这是Ada语言。我有一个查找最大元素的函数，它很有效。。现在我想运行一个post条件，检查该值是否为最大值。

在数组中循环，如果找到一个较大的元素或没有找到相等的元素，则会失败

函数检查\u最大（数组中：数组类型；值：元素类型）
返回布尔值
是
匹配：布尔：=False；
开始
对于在数组的范围循环中的J
如果在_数组中（J）>值，则
返回False；
elsif In_数组（J）=然后的值
匹配：=真；
如果结束；
端环；
返回匹配；
结束检查；

在《美国残疾人法》颁布后的2020年重新审视这一点，一对量词可能会起作用；请参见最大成员的后置条件：

程序
带火花点火模式
是
Arr类型是自然的数组（正范围）；
函数最大的_成员（_数组的：Arr）返回自然值
具有
Pre=>的_数组长度>0，
Post=>
（对于所有E of_Array=>E F，我将遍历数组并验证找到的值是否为数组中的最大值。重复？最大值与最大值有何不同？