Содержание

КРАТКОЕ    СОДЕРЖАНИЕ

ПРЕДИСЛОВИЕ   ...........  7

Глава 1. Лексика ................   ....    8

Глава 2. Типы   ............   ........   .14

Глава 3. Предопределённые типы  ..........   .29

Глава 4. Типы, определяемые пользователем   .....  34

Глава 5. Операторы ............   ...... 42

Глава 6. Программные модули   ............    51

Глава 7. Подпрограммы    ...............    60

Глава 8. Пакеты ....................   71

Глава 9. Задачи.  ............   ........ 82

Глава 10. Исключения   .   ...............   Ю5

Глава 11. Настраиваемые модули ...........   Пб

Глава 12. Защищённые модули   ............   134

Глава 13. Структура программы и

раздельная компиляция.  ..........    147

Глава 14. Правила видимости   ............    169

Глава 15. Ввод-вывод ............   .....   181

Глава 16. Объектно-ориентированное

программирование .............    196

Приложения .....................    218

Словарь терминов. ..................    238

Список литературы .................. 240

СОДЕРЖАНИЕ

ПРЕДИСЛОВИЕ.   .....................       7

Глава 1. Лексика ...................    8

1.1 Набор символов.   ...................     8

1.2 Лексемы, разделители, ограничители ..........       8

1.3 Идентификаторы ...................      7

1.4 Литералы    ..................    ....    11

1.5 Операции   ..................    ....    12

1.6 Прагмы       ..................    ....   12

Глава 2. Типы   .................   ...      14

2.1 Атрибуты и дискриминанты   .............    .    15

2.2 Простые типы .   .................   ...   17

2.2.1 Ссылочные типы    .................   17

2.2.2 Скалярные типы     .................   20

2.3 Составные тип   ..................    .    .21

2.3.1 Массивы.   .................    .   .    .21

2.3.2Записи.   .................    ....   24

2.4 Дополнительные типы .................    25

2.5 Примеры.   ................   ......    26

Глава 3. Предопределённые типы ............    29

3.1 Предопределённый логический тип.   ...........   29

3.2 Предопределённый символьный тип.   ........... 29

3.3 Предопределённый целый тип.   .............    31

3.4 Предопределённый плавающий тип.   ........... 32

Глава 4. Типы, определяемые пользователем....... 34

4.1 Подтипы   .................    .....    34

4.2 Производные типы и производные классы ......    .   .   35

4.3 Эквивалентность типов.   ................   36

4.4 Целые типы.   .................    .... 37

4.5.Вещественные типы.   .................    38

4.5.1 Плавающий тип   .................   38

4.5.2 Фиксированный тип    ............... 39

4.6 Примеры.   ................    ......   40

Глава5. Операторы. .................   . .42

5.1 Пустой оператор.   ..................    .   . 43

Ада 95. Введение в программирование

Содержание

5.2 Операторы присваивания.   ...............    43

5.3 Условные операторы ..................   45

5.4 Операторы выбора .................    .    46

5.5 Операторы цикла.   .................    .   . 47

5.6 Операторы перехода.   .................     49

5.7 Операторы блока.   ..................     49

Глава 6. Программные модули   .............   51

6.1 Абстракции.   .................    ....   51

6.2 Реализация абстракций.   ................    54

6.3 Примеры.   .................    .....   56

Глава 7. Подпрограммы.  .............   ...    60

7.1 Спецификация подпрограммы.   .............   60

7.2 Тело подпрограммы.   .................    63

7.3 Вызов подпрограммы и согласование параметров .....   64

7.4 Процедуры.   .................    ....   66

7.5 Функции.   .................    .....   67

7.6 Примеры.   ................   ......   69

Глава 8.   Пакеты ..................   . .    71

8.1 Спецификация пакета.   .................   71

8.2 Приватные типы  и приватные расширения.   .......   73

8.3 Лимитируемые типы ..................   75

8.4 Тело пакета.   .................    ....   76

8.5 Контролируемые типы   .................   78

8.6 Примеры .................    ......   79

Глава 9. Задачи ..................   ...   82

9.1 Спецификация задачи.   .................   82

9.2 Тело задачи...................    .... 85

9.3 Взаимодействие задач. Механизм рандеву.   ........   86

9.4 Входы задач и операторы принятия.   ...........   88

9.5 Оператор перенаправления очереди .   ........... 91

9.6 Операторы задержки.   .................    92

9.7 Оператор прекращения        ...............   92

9.8 Операторы отбора.   .................    .   93

9.8.1 Селективный отбор .   ................ 93

9.8.2 Таймированный вызов входа ............    94

9.8.3 Условный вызов входа ...............   95

9.8.4 Асинхронная передача управления .........     96

9.9 Выполнение и зависимость задач.   ............    97

9.10 Атрибуты задач.   .................    .   .   99

9.11 Разделяемые переменные .   .    ..............   99

9.12 Приоритеты задач.   .................    .101

9.13 Примеры.   ................    ...... 103

Глава 10. Исключения .................    105

10.1 Описание исключений.   ................ 106

10.2 Возбуждение исключений ...............   107

10.3 Обработчики исключений.   ..............   107

10.4 Подавление проверок .   ................   110

10.5 Пакет Ada.Exceptions.   ................. Ill

Глава 11. Настраиваемые модули . ........... 116

11.1 Спецификация настройки и тела.   ............ 116

11.2 Конкретизация настраиваемых модулей   ....    ....   119

11.3 Формальные параметры настройки.   ..........   120

11.3.1 Формальные обьекты ............... 120

11.3.2 Формальные типы .   ...............    121

11.3.3 Формальные подпрограммы .   ........... 123

11.3.4 Формальные пакеты ...............    124

11.4 Правила сопоставления параметров.   .......... 126

11.5 Примеры.   ................    ...... 128

Глава 12. Защищённые модули............. 134

12.1 Спецификация и тело защищенного модуля.   .   .   .   .   .   .   . 136

12.2 Применение защищенных модулей.   ..........   139

12.3 Примеры.   .................    ....    143

Глава 13. Структура программы и раздельная

компиляция.  .................   .147

13.1 Библиотечные модули и раздельная компиляция.   ....     148

13.1.1 Спецификаторы контекста.   ............ 150

13.1.2Субмодули.   .................    .    152

13.2 Порядок компиляции .    ...............    . 154

13.3 Выполнение программы ................ 158

164

13.4 Иерархические библиотеки.   .............. 161

13.5 Приватные дочерние модули.

-    ._   _   j- —— _ ___       т ,          ^                           ^

13.6Предопределенная библиотека.   ...........             167

Глава 14. Правила видимости  .............        169

14.1 Зона  и область действия описания .   ..........     169

14.2 Видимость.   .................    ...      171

14.3 Спецификаторы использования. ............             173

14.4 Описания переименования .   .............  175

14.5 Примеры ..................    ....          178

1   Г   А

Предисловие

Ада 95. Введение в программир

181

182

184

Глава 15. Ввод-вывод.   ...............

15.1 Пакет   SequentialJO.   ..............

15.2 Пакет  DirectJO.   .................    .    юч

15.3 Пакет   StorageJO. .   .................     187

188

189

. 190

192

. 193

. 195

196

197

199

200

15.4 Пакет  TextJO .................

15.4.1 Ввод - вывод целых типов.   ..........

15.4.2 Ввод - вывод вещественных типов.   ......

15.4.3 Ввод - вывод перечисляемых типов.   ......

15.5 Исключения при вводе - выводе.   .........

15.6 Примеры.   ................    ...

Глава 16. Объектно-ориентированное

программирование.   ............

16.1 Тэговые типы.   .................

16.2 Расширение типа   ................

16.3 Типы широкого класса ..............

16.4 Операции над тэговыми типами.   ...........    203

16.5 Абстрактные типы и подпрограммы    .........   205

16.6 Множественная реализация и множественное

208

213

218

218

222

224

236

238

240

наследование..................

16.7 Примеры....................

Приложения ..................   ...

Приложение 1. Пакет   STANDARD ..........

Приложение 2. Пакет   SYSTEM ...........

Приложение 3. Пакет   ТЕХТ_Ю  ...........

Приложение 4. Прагмы, определенные в языке  ....

Словарь терминов  ..................

Список литературы. .............