подпрограмма декларативного раздела порядок оценки Ада

Question

С декларативным разделом подпрограмм в Ada, порядок, в котором присваиваются переменные, оценивается в порядке, в котором они объявлены?Например, если я напишу

procedure Foo() is
I: Integer := 4;
J: Integer := I * 2;
begin
--do stuff
end Foo;

, могу ли я с уверенностью сказать, что I всегда будет оцениваться до J?

Answer 1

Мне кажется, что декларативные элементы действительно оцениваются по порядку, в соответствии с ARM 3.11 (7) :

Разработка декларативной_от части состоит из разработкиDeferative_items, если таковые имеются, в том порядке, в котором они указаны в Declarative_part.

---

Отредактировано: Источник ARM