Совокупность - спецификация
Cтраница 2
 |
Соответствие классов и типов параметров. [16] |
В этом описании совокупность спецификаций записана во второй строке. [17]
По способу записи совокупность спецификаций аналогична описаниям. Отличие заключается в том, что для массивов не приводится список граничных пар, а для процедур не указываются формальные параметры. [18]
Из того, что совокупность спецификаций подпрограммы может включать в себя операторы процедур и указатели функций, следует, что при обращении к подпрограмме может быть указана некоторая, в частности та же самая, подпрограмма. [19]
Заголовок процедуры включает в себя совокупность спецификаций, которая дает информацию о классах и типах всех формальных параметров. В эту совокупность ни один параметр не может войти более чем один раз. [20]
В списке значений и в совокупности спецификаций могут быть только идентификаторы, указанные в списке формальных параметров. [21]
Рассмотрим сначала назначение и правило использования совокупности спецификаций. [22]
Каждый формальный параметр процедуры должен входить в совокупность спецификации и притом один раз. [23]
В ато число входят массивы из описаний и из совокупностей спецификаций. [24]
В нашем языке каждый формальный параметр процедуры должен входить в совокупность спецификаций и притом не более одного раза. [25]
Любой переключатель, использованный в теле процедуры, может быть упомянут в совокупности спецификаций. Отметим, что процедура может использовать некоторую функцию: в совокупности формальных параметров эта функция указывается только своим идентификатором процедуры, или наименованием переменной; в совокупности спецификаций, однако, перечисляются тип и указатель функции. [26]
Формальные параметры не имеют числовых значений, и поэтому они нигде не описываются, кроме как в совокупности спецификаций в заголовке процедуры. Наоборот, фактические параметры - есть переменные или другие элементы языка, используемые в программе, где описана процедура. Отсюда следует, что фактические параметры должны быть обязательно описаны в начале блока, где используется данная процедура. [27]
На рис. 129, 130 и 131 приведены заголовки процедур из предыдущих примеров с указанием списка значений и совокупности спецификаций. [29]
Можно говорить об иерархических уровнях не только спецификаций, но и проектирования, понимая под каждым из них совокупность спецификаций некоторого иерархического уровня совместно с постановками задач, методами получения описаний и решения возникающих проектных задач. [30]
Страницы: 1 2 3 4