СПРАВОЧНОЕ РУКОВОДСТВО ПО ЯЗЫКУ АДА 83

Содержание

ПРЕДИСЛОВИЕ РЕДАКТОРА ПЕРЕВОДА

ПРЕДИСЛОВИЕ

1. ВВЕДЕНИЕ

1.1. ОБЛАСТЬ ДЕЙСТВИЯ СТАНДАРТА

1.2. СТРУКТУРА СПРАВОЧНОГО РУКОВОДСТВА

1.3. ЦЕЛИ И ИСТОЧНИКИ РАЗРАБОТКИ

1.4. ОБЗОР СВОЙСТВ ЯЗЫКА

1.5. МЕТОД ОПИСАНИЯ И СИНТАКСИЧЕСКИЕ ОБОЗНАЧЕНИЯ

1.6. КЛАССИФИКАЦИЯ ОШИБОК

2. ЛЕКСИКА

2.1. НАБОР СИМВОЛОВ

2.2. ЛЕКСЕМЫ, РАЗДЕЛИТЕЛИ И ОГРАНИЧИТЕЛИ

2.3. ИДЕНТИФИКАТОРЫ

2.4. ЧИСЛОВЫЕ ЛИТЕРАЛЫ

2.5. СИМВОЛЬНЫЕ ЛИТЕРАЛЫ

2.6. СТРОКОВЫЕ ЛИТЕРАЛЫ

2.7. КОММЕНТАРИИ

2.8. ПРАГМЫ

2.9. ЗАРЕЗЕРВИРОВАННЫЕ СЛОВА

2.10. ДОПУСТИМЫЕ ЗАМЕНЫ СИМВОЛОВ

3. ОПИСАНИЯ И ТИПЫ

3.1. ОПИСАНИЯ

3.2. ОБЪЕКТЫ И ИМЕНОВАННЫЕ ЧИСЛА

3.3. ТИПЫ И ПОДТИПЫ

3.4. ПРОИЗВОДНЫЕ ТИПЫ

3.5. СКАЛЯРНЫЕ ТИПЫ

3.6. ИНДЕКСИРУЕМЫЕ ТИПЫ

3.7. ИМЕНУЕМЫЕ ТИПЫ

3.8. ССЫЛОЧНЫЕ ТИПЫ

3.9. РАЗДЕЛЫ ОПИСАНИЙ

4. ИМЕНА И ВЫРАЖЕНИЯ

4.1. ИМЕНА

4.2. ЛИТЕРАЛЫ

4.3. АГРЕГАТЫ

4.4. ВЫРАЖЕНИЯ

4.5. ОПЕРАЦИИ И ВЫЧИСЛЕНИЕ ВЫРАЖЕНИЯ

4.6. ПРЕОБРАЗОВАНИЕ ТИПА

4.7. КВАЛИФИЦИРОВАННЫЕ ВЫРАЖЕНИЯ

4.8. ГЕНЕРАТОРЫ

4.9. СТАТИЧЕСКИЕ ВЫРАЖЕНИЯ И СТАТИЧЕСКИЕ ПОДТИПЫ

4.10. УНИВЕРСАЛЬНЫЕ ВЫРАЖЕНИЯ

5. ОПЕРАТОРЫ

5.1. ПРОСТЫЕ И СОСТАВНЫЕ ОПЕРАТОРЫ. ПОСЛЕДОВАТЕЛЬНОСТИ ОПЕРАТОРОВ

5.2. ОПЕРАТОРЫ ПРИСВАИВАНИЯ

5.3. УСЛОВНЫЕ ОПЕРАТОРЫ

5.4. ОПЕРАТОРЫ ВЫБОРА

5.5. ОПЕРАТОРЫ ЦИКЛА

5.6. ОПЕРАТОРЫ БЛОКА

5.7. ОПЕРАТОРЫ ВЫХОДА

5.8. ОПЕРАТОРЫ ВОЗВРАТА

5.9. ОПЕРАТОРЫ ПЕРЕХОДА

6. ПОДПРОГРАММЫ

6.1. ОПИСАНИЕ ПОДПРОГРАММЫ

6.2. ВИДЫ ФОРМАЛЬНЫХ ПАРАМЕТРОВ

6.3. ТЕЛА ПОДПРОГРАММ

6.4. ВЫЗОВЫ ПОДПРОГРАММ

6.5. ФУНКЦИИ

6.6. ПРОФИЛЬ ТИПА ПАРАМЕТРОВ ИРЕЗУЛЬТАТА. СОВМЕЩЕНИЕ ПОДПРОГРАММ

6.7. СОВМЕЩЕНИЕ ОПЕРАЦИЙ

7. ПАКЕТЫ

7.1. СТРУКТУРА ПАКЕТА

7.2. СПЕЦИФИКАЦИИ И ОПИСАНИЯ ПАКЕТОВ

7.3. ТЕЛА ПАКЕТОВ

7.4. ОПИСАНИЯ ЛИЧНЫХ ТИПОВ И СУБКОНСТАНТ

7.5. ПРИМЕР ПАКЕТА РАБОТЫ С ТАБЛИЦАМИ

7.6. ПРИМЕР ПАКЕТА ОБРАБОТКИ ТЕКСТОВ

8. ПРАВИЛА ВИДИМОСТИ

8.1. ЗОНА ОПИСАНИЯ

8.2. ОБЛАСТИ ДЕЙСТВИЯ ОПИСАНИЙ

8.3. ВИДИМОСТЬ

8.5. ОПИСАНИЯ ПЕРЕИМЕНОВАНИЯ

8.6. СТАНДАРТНЫЙ ПАКЕТ

8.7. КОНТЕКСТ РАЗРЕШЕНИЯ СОВМЕЩЕНИЯ

9. ЗАДАЧИ

9.1. СПЕЦИФИКАЦИИ ЗАДАЧ И ТЕЛА ЗАДАЧ

9.2. ЗАДАННЫЕ ТИПЫ И ЗАДАЧНЫЕ ОБЪЕКТЫ

9.3. ВЫПОЛНЕНИЕ И АКТИВИЗАЦИЯ ЗАДАЧИ

9.4. ЗАВИСИМОСТЬ ЗАДАЧ. ЗАВЕРШЕНИЕ ЗАДАЧ

9.5. ВХОДЫ, ВЫЗОВЫ ВХОДОВ И ОПЕРАТОРЫ ПРИНЯТИЯ

9.6. ОПЕРАТОРЫ ЗАДЕРЖКИ, ДЛИТЕЛЬНОСТЬ И ВРЕМЯ

9.7. ОПЕРАТОРЫ ОТБОРА

9.7.2. УСЛОВНЫЕ ВЫЗОВЫ ВХОДОВ

9.8. ПРИОРИТЕТЫ

9.9. АТРИБУТЫ ЗАДАЧ И ВХОДОВ

9.10. ОПЕРАТОРЫ ПРЕКРАЩЕНИЯ

9.11. РАЗДЕЛЯЕМЫЕ ПЕРЕМЕННЫЕ

9.12. ПРИМЕР ИСПОЛЬЗОВАНИЯ ЗАДАЧИ

10. СТРУКТУРА ПРОГРАММЫ И РЕЗУЛЬТАТ КОМПИЛЯЦИИ

10.1. КОМПИЛИРУЕМЫЕ МОДУЛИ. БИБЛИОТЕЧНЫЕ МОДУЛИ

10.2. СУБМОДУЛИ КОМПИЛИРУЕМЫХ МОДУЛЕЙ

10.3. ПОРЯДОК КОМПИЛЯЦИИ

10.4. ПРОГРАММНАЯ БИБЛИОТЕКА

10.5. ПРЕДВЫПОЛНЕНИЕ БИБЛИОТЕЧНЫХ МОДУЛЕЙ

10.6. ОПТИМИЗАЦИЯ ПРОГРАММЫ

11. ИСКЛЮЧЕНИЯ

11.1. ОПИСАНИЯ ИСКЛЮЧЕНИЙ

11.2. ОБРАБОТЧИКИ ИСКЛЮЧЕНИЙ

11.3. ОПЕРАТОРЫ ВОЗБУЖДЕНИЯ

11.4. ОБРАБОТКА ИСКЛЮЧЕНИЙ

11.5. ИСКЛЮЧЕНИЯ, ВОЗБУЖДАЕМЫЕ ПРИ ВЗАИМОДЕЙСТВИИ ЗАДАЧ

11.6. ИСКЛЮЧЕНИЯ И ОПТИМИЗАЦИЯ

11.7. ПОДАВЛЕНИЕ ПРОВЕРОК

12. НАСТРАИВАЕМЫЕ МОДУЛИ

12.1. ОПИСАНИЕ НАСТРОЙКИ

12.2. НАСТРАИВАЕМЫЕ ТЕЛА

12.3. КОНКРЕТИЗАЦИЯ НАСТРОЙКИ

12.4. ПРИМЕР НАСТРАИВАЕМОГО ПАКЕТА

13. СПЕЦИФИКАТОРЫ ПРЕДСТАВЛЕНИЯ И ОСОБЕННОСТИ, ЗАВИСЯЩИЕ ОТ РЕАЛИЗАЦИИ

13.1. СПЕЦИФИКАТОРЫ ПРЕДСТАВЛЕНИЯ

13.2. СПЕЦИФИКАТОРЫ ДЛИНЫ

13.3. СПЕЦИФИКАТОРЫ ПРЕДСТАВЛЕНИЯ ПЕРЕЧИСЛЕНИЯ

13.4. СПЕЦИФИКАТОРЫ ПРЕДСТАВЛЕНИЯ ЗАПИСЕЙ

13.5. СПЕЦИФИКАТОРЫ АДРЕСА

13.6. ИЗМЕНЕНИЕ ПРЕДСТАВЛЕНИЯ

13.7. СИСТЕМНЫЙ ПАКЕТ

13.8. ВСТАВКИ МАШИННЫХ КОДОВ

13.9. СВЯЗЬ С ДРУГИМИ ЯЗЫКАМИ

13.10. НЕКОНТРОЛИРУЕМОЕ ПРОГРАММИРОВАНИЕ

14. ВВОД-ВЫВОД

14.1. ВНЕШНИЕ ФАЙЛЫ И ФАЙЛОВЫЕ ОБЪЕКТЫ

14.2. ФАЙЛЫ ПОСЛЕДОВАТЕЛЬНОГО И ПРЯМОГО ДОСТУПА

14.3. ВВОД-ВЫВОД ТЕКСТОВ

14.4. ИСКЛЮЧЕНИЯ ПРИ ВВОДЕ-ВЫВОДЕ

14.5. СПЕЦИФИКАЦИЯ ПАКЕТА ИСКЛЮЧЕНИЙ ВВОДА-ВЫВОДА

14.6. ВВОД-ВЫВОД НИЗКОГО УРОВНЯ

14.7. ПРИМЕР ВВОДА-ВЫВОДА

A. АТРИБУТЫ, ПРЕДОПРЕДЕЛЕННЫЕ В ЯЗЫКЕ

B. ПРАГМЫ, ПРЕДОПРЕДЕЛЕННЫЕ В ЯЗЫКЕ

C. ПРЕДОПРЕДЕЛЕННОЕ ОКРУЖЕНИЕ ЯЗЫКА

D. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ

E. СВОДКА СИНТАКСИСА

F. ХАРАКТЕРИСТИКИ, ЗАВИСЯЩИЕ ОТ РЕАЛИЗАЦИИ