如何檢查Ada中是否存在陣列元素。還有就像Ado的python或php的文檔站點的任何良好的記錄網站,以便我可以搜索所有類型的功能,它的用途。我無法在Google中找到Ada中某些類型功能的更多信息。如何檢查Ada中是否存在陣列元素
soldiers : array (0..max_number_of_soldiers - 1) of soldier_type;
procedure Next (Index: in out Integer; Interval: Positive) is
begin
for I in 1..Interval loop
loop
Index := (Index + 1) mod Number_Of_Soldiers;
exit when Soldiers(Index).Alive;
end loop;
end loop;
end Next;
Soldiers(Index).Alive顯示什麼?什麼是.alive?