Языки программирования. Практический сравнительный анализ


Языки программирования. Практический сравнительный анализ - стр. 246


     причина__прерывания at 0 * слово range 16 .. 31 ;

     код_длины_команды at 1 * слово range 0 .. 1 ;

     признак_результата at 1 * слово range 2 .. 3 ;                       

     маска_программы at 1 * слово range 4 .. 7 ;                  

     адрес_команды at 1 * слово range 8 .. 31 ;     

   end record ;

 

Здесь применено так называемое УКАЗАНИЕ ПРЕДСТАВЛЕНИЯ ЗАПИСИ. Запись типа слово_состояние_программы располагается в двойном слове, т.е. по адресам, кратным 8, причем для каждого поля указано точное расположение относительно начала записи.

На этом закончим знакомство с управлением представлением, а одновременно и с системой типов в Аде. В следующем разделе сопоставим ее с нашей исходной классификацией данных.

 

4.17. Классификация данных и система типов Ады (прогнозирование-контроль поведения объектов в Аде)

Рассматривая данные как одну из основных абстракций программирования, мы выделили шесть факторов их классификации. Опираясь на нашу классификацию, дадим теперь краткий обзор средств управления данными в Аде. Напомним, что классификация эта возникла из анализа технологических потребностей (прежде всего, из потребностей прогнозирования и контроля, обеспечивающих надежность программирования). Так что по сути дела нас будет интересовать, в какой степени рассматриваемые понятия и конструкты Ады обслуживают эти потребности.

1. Содержательные роли данных. На первый взгляд возможность явно отражать в программе содержательные роли данных так, чтобы можно было автоматически контролировать связывания, кажется почти фантастической. А идея очень проста. Во-первых, нужно, чтобы содержательная роль объекта получила имя, отличающее ее от других ролей. Во-вторых, проектируя объект данных, нужно связывать с ним имя той роли, в которой он должен выступать при выполнении программы. Имя роли естественно указывать при объявлении объекта. В-третьих, проектируя (объявляя) содержательные действия, нужно явно учитывать (указывать при объявлении действий) имена ролей объектов, участвующих в этих действиях.




- Начало -  - Назад -  - Вперед -