То, что вы показываете там, должно работать. Тем не менее, блок «объявления» совершенно не нужен, если только вы не хотите перехватывать исключения диапазона в объявлении переменной массива или что-то в этом роде. Я бы изменил это, чтобы прочитать:
procedure Print_Graph(Min, Max, Height, Width: in Integer) is
Graph: Graph_Box(0..Height, 0..Width);
begin
Do_Stuf(Graph);
end Print_Graph;
(мне также не нравится иметь зарезервированные слова в заглавных буквах.)
Еще одна вещь, которую я должен упомянуть: массивы Ada не имеют , чтобы быть на основе 0, как в языках Cish. Они могут быть, но вы также можете заставить их начинаться с 1, или -200, или как хотите.
Причина, по которой я привел это, заключается в том, что я вижу, как вы определили Graph_Box, он на самом деле имеет высоту + 1 высоту и ширину + 1 ширину. Вы, вероятно, не хотите этого, так как это может запутать кого-то позже (возможно, даже вас).
Моя типичная идиома - начинать индексы моего массива с 1, если у меня нет веских причин не делать этого.