ГОСТ 27831-88
Язык программирования АДА
| Обозначение: | ГОСТ 27831-88 |
| Обозначение англ: | GOST 27831-88 |
| Статус: | введен впервые |
| Название рус.: | Язык программирования АДА |
| Название англ.: | Programming language Ada |
| Дата добавления в базу: | 01.09.2013 |
| Дата актуализации: | 01.01.2021 |
| Дата введения: | 01.07.1989 |
| Область применения: | Стандарт устанавливает базовое описание языка программирования АДА, применяемого для разработки программ различного назначения, в том числе работающих в реальном масштабе времени, а также средств компиляции, тестирования и отладки программ. В процессе принятия решений при проведении испытаний и приемке систем программирования и программ на языке АДА стандарт является основанием для определения их полного соответствия языку АДА только при наличии и применении систем тестов, согласованных в установленном порядке. |
| Оглавление: | 1. Общие положения 1.1. Область действия стандарта 1.1.1. Содержание стандарта 1.1.2. Согласованность реализации со стандартом 1.2. Структура стандарта 1.3. Цели и источники разработки 1.4. Обзор свойств языка 1.5. Метод описания и синтаксические обозначения 1.6. Классификация ошибок 2. Лексика 2.1. Набор символов 2.2. Лексемы, разделители и ограничители 2.3. Идентификаторы 2.4. Числовые литералы 2.4.1. Десятичные литералы 2.4.2. Литералы с основанием 2.5. Символьные литералы 2.6. Строковые литералы 2.7 Комментарии 2.8. Прагмы 2.9. Зарезервированные слова 2.10. Допустимые замены символов 3. Описания и типы 3.1. Описания 3.2. Объекты и именованные числа 3.2.1. Описания объектов 3.2.2. Описание чисел 3.3. Типы и подтипы 3.3.1. Описания типов 3.3.2. Описания подтипов 3.3.3. Классификация операций 3.4. Производные типы 3.5. Скалярные типы 3.5.1. Перечислимые типы 3.5.2. Символьные типы 3.5.3. Логические типы 3.5.4. Целые типы 3.5.5. Операции над дискретными типами 3.5.6. Вещественные типы 3.5.7. Плавающие типы 3.5.8. Операции над плавающими типами 3.5.9. Фиксированные типы 3.5.10. Операции над фиксированными типами 3.6. Индексируемые типы 3.6.1. Ограничения индекса и дискретные диапазоны 3.6.2. Операции над индексируемыми типами 3.6.3. Строковый тип 3.7. Именуемые типы 3.7.1. Дискриминанты 3.7.2. Ограничения дискриминантов 3.7.3. Разделы вариантов 3.7.4. Операции над именуемыми типами 3.8. Ссылочные типы 3.8.1. Неполные описания типов 3.8.2. Операции над ссылочными типами 3.9. Разделы описаний 4. Имена и выражения 4.1. Имена 4.1.1. Индексируемые компоненты 4.1.2. Отрезки 4.1.3. Именуемые компоненты 4.1.4. Атрибуты 4.2. Литералы 4.3. Агрегаты 4.3.1. Агрегаты записей 4.3.2. Агрегаты массивов 4.4. Выражения 4.5. Операции и вычисление выражения 4.5.1. Логические операции и формы управления промежуточной проверкой 4.5.2. Операции отношения и проверки принадлежности 4.5.3. Бинарные аддитивные операции 4.5.4. Унарные аддитивные операции 4.5.5. Мультипликативные операции 4.5.6. Операции высшего приоритета 4.5.7. Точность операций с вещественными операндами 4.6. Преобразование типа 4.7. Квалифицированные выражений 4.8. Генераторы 4.9. Статические выражения и статические подтипы 4.10. Универсальные выражения 5. Операторы 5.1. Простые и составные операторы. Последовательности операторов 5.2. Операторы присваивания 5 2.1. Присваивания массивов 5.3. Условные операторы 5.4. Операторы выбора 5.5. Операторы цикла 5.6. Операторы блока 5.7. Операторы выхода 5.8. Операторы возврата 5.9. Операторы перехода 6. Подпрограммы 6.1. Описание подпрограммы 6.2. Виды формальных параметров 6.3. Тела подпрограмм 6.3.1. Правила согласования 6.3.2. Подстановка подпрограмм 6.4. Вызовы подпрограмм 6.4.1. Сопоставления параметров 6.4.2. Опущенные параметры 6.5. Функции 6.6. Профиль типов параметров и результатов. Совмещение подпрограмм 6.7. Совмещение операций 7. Пакеты 7.1. Структура пакета 7.2. Спецификации и описания пакетов 7.3. Тела пакетов 7.4. Описания личных типов и субконстант 7.4.1. Личные типы 7.4.2. Операции над личным типом 7.4.3. Субконстанты 7.4.4. Лимитируемые типы 7.5. Пример пакета работы с таблицами 7.6. Пример пакета обработки текстов 8. Правила видимости 8.1. Зона описания 8.2. Области действия описаний 8.3. Видимость 8.4. Спецификаторы использования 8.5. Описание переименования 8.6. Стандартный пакет 8.7. Контекст разрешения совмещения 9. Задачи 9.1. Спецификации задач и тела задач 9.2. Задачные типы и задачные объекты 9.3. Выполнение и активизация задачи 9.4. Зависимость и завершение задач 9.5. Входы, вызовы входов и операторы принятия 9.6. Операторы задержки, длительность и время 9.7. Операторы отбора 9.7.1. Отбор с ожиданием 9.7.2. Условные вызовы входов 9.7.3. Временные вызовы входов 9.8. Приоритеты 9.9. Атрибуты задач и входов 9.10. Операторы прекращения 9.11. Разделяемые переменные 9.12. Пример использования задачи 10. Структура программы и результат компиляции 10.1. Компилируемые модули. Библиотечные модули 10.1.1. Спецификаторы контекста. Спецификаторы совместности 10.1.2. Примеры компилируемых модулей 10.2. Субмодули компилируемых модулей 10.2.1. Примеры субмодулей 10.3. Порядок компиляции 10.4. Программная библиотека 10.5. Предвыполнение библиотечных модулей 10.6. Оптимизация программы 11. Исключения 11.1. Описания исключений 11.2. Обработчики исключений 11.3. Операторы возбуждения 11.4. Обработка исключения 11.4.1. Исключения, возбуждаемые при выполнении операторов 11.4.2. Исключения, возбуждаемые при предвыполнении описаний 11.5. Исключения, возбуждаемые при взаимодействии задач 11.6. Исключения и оптимизация 11.7. Подавление, проверок 12. Настраиваемые модули 12.1. Описание настройки 12.1.1. Формальные объекты настройки 12.1.2. Формальные типы настройки 12.1.3. Формальные подпрограммы настройки 12.2. Настраиваемые тела 12.3. Конкретизация настройки 12.3.1. Правила сопоставления для формальных объектов 12.3.2. Правила сопоставления для формальных личных типов 12.3.3. Правила сопоставления для формальных скалярных типов 12.3.4. Правила сопоставления для формальных индексируемых типов 12.3.5. Правила сопоставления для формальных ссылочных типов 12.3.6. Правила сопоставления для формальных подпрограмм 12.4. Пример настраиваемого пакета 13. Спецификаторы представления и особенности, зависящие от реализации 13.1. Спецификаторы представления 13.2. Спецификаторы длины 13.3. Спецификаторы представления перечисления 13.4. Спецификаторы представления записей 13.5. Спецификаторы адреса 13.5.1. Прерывания 13.6. Изменение представления 13.7. Системный пакет 13.7.1. Зависящие от системы именованные числа 13.7.2. Атрибуты представления 13.7.3. Атрибуты представления вещественных типов 13.8. Вставки машинных кодов 13.9. Связь с другими языками 13.10. Неконтролируемое программирование 13.10.1. Неконтролируемое освобождение памяти 13.10.2. Неконтролируемое преобразование типов 14. Ввод-вывод 14.1. Внешние файлы и файловые объекты 14.2. Файлы последовательного и прямого доступа 14.2.1. Управление файлами 14.2.2. Последовательный ввод-вывод 14.2.3. Спецификация пакета последовательного ввода-вывода 14.2.4. Прямой ввод-вывод 14.2.5. Спецификация пакета прямого ввода-вывода 14.3. Ввод-вывод текстов 14.3.1. Управление файлами 14.3.2. Файлы ввода и вывода по умолчанию 14.3.3. Спецификации длин строчек и страниц 14.3.4. Операции над столбцами, строчками и страницами 14.3.5. Процедуры обмена 14.3.6. Ввод-вывод символов и строк 14.3.7. Ввод-вывод для целых типов 14.3.8. Ввод-вывод для вещественных типов 14.3.9. Ввод-вывод для перечислимых типов 14.3.10. Спецификация пакета ввода-вывода текста 14.4. Исключения при вводе-выводе 14.5. Спецификация пакета исключений ввода-вывода 14.6. Ввод-вывод низкого уровня 14.7. Пример ввода-вывода Приложение 1. Атрибуты, предопределенные в языке Приложение 2. Прагмы, предопределенные в языке Приложение 3. Предопределенное окружение языка Приложение 4. Характеристики, зависящие от реализации Приложение 5. Термины и определения Приложение 6. Сводка синтаксиса Информационные данные |
| Утверждён: | 22.09.1988 Государственный комитет СССР по стандартам (USSR National Committee on Standards 3217) |
| Издан: | Издательство стандартов (1989 г. ) |
| Расположен в: | |
| Нормативные ссылки: |
ГОСТ 27465-87 «Системы обработки информации. Символы. Классификация, наименование и обозначение»
